Publications

Entries sorted by: 1. Author,Editor - 1. by Individual - 2. A..Z Index

Login to this database

Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)

Show entries starting with: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

#		Year	Author(s) [non member]	Editor(s) [non member]		Title	Type
15	Nonnengart, Andreas
		2001	Nonnengart, Andreas			Strong Skolemization	Unpublished/Draft
		2001	Nonnengart, Andreas [Ohlbach, Hans Jürgen] [Gabbay, Dov M.]	Robinson, Alan Voronkov, Andrei		Encoding two-valued non-classical logics in classic logic In: Handbook of Automated Reasoning, 1403-1486	Part of a Book
		2001	Nonnengart, Andreas [Ohlbach, Hans Jürgen] [Szalas, Andrzej]			Quantifier Elimination for Second-Order Predicate Logic	Unpublished/Draft
		2001	Nonnengart, Andreas Weidenbach, Christoph	[Robinson, Alan] [Voronkov, Andrei]		Computing small clause normal forms In: Handbook of Automated Reasoning, 335-367	Part of a Book
		1999	Nonnengart, Andreas [Szalas, Andrzej]	[Orlowska, Ewa]		A Fixpoint Approach to Second-Order Quantifier Elimination with Applications to Correspondence Theory In: Logic at Work: Essays Dedicated to the Memory of Helena Rasiowa, 18	Part of a Book
		1998	Nonnengart, Andreas			Modal Frame Characterization by Way of Auxiliary Modalities In: Logic Journal of the IGPL [6], 875-899	Journal Article
		1998	Nonnengart, Andreas [Rock, Georg] Weidenbach, Christoph	[Kirchner, Claude] [Kirchner, Hélène]		On Generating Small Clause Normal Forms In: Proceedings of the 15th International Conference on Automated Deduction (CADE-98), 397-411	Proceedings Article
		1996	Nonnengart, Andreas	[McRobbie, M. A.] [Slaney, J. K.]		Resolution-Based Calculi for Modal and Temporal Logics In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), 598-612	Proceedings Article
		1995	Nonnengart, Andreas			A Resolution-Based Calculus for Temporal Logics Universität des Saarlandes	Thesis - PhD thesis
		1994	Fehrer, Detlef Hustadt, Ullrich Jaeger, Manfred Nonnengart, Andreas Ohlbach, Hans Jürgen Schmidt, Renate A. Weidenbach, Christoph Weydert, Emil	[Baader, Franz] [Lenzerini, Maurizio] [Nutt, Werner] [Patel-Schneider, Peter F.]		Description Logics for Natural Language Processing In: International Workshop on Description Logics '94, 80-84	Proceedings Article
		1994	Nonnengart, Andreas	[MacNish, Craig] [Pearce, David] [Pereira, Luís Moniz]		How to Use Modalities and Sorts in Prolog In: Logics in Artificial Intelligence: Proceedings of the JELIA'94, 365-378	Proceedings Article
		1993	Hustadt, Ullrich Nonnengart, Andreas	[Rowles, C.] [Liu, H.] [Foo, N.]		Modalities in Knowledge Representation In: Proc. of the 6th Australian Joint Conference on Artificial Intelligence (AI '93), 249-254	Proceedings Article
		1993	Nonnengart, Andreas	[Bajcsy, R.]		First-Order Modal Logic Theorem Proving and Functional Simulation In: Proc.~13th Intern.~Joint Conference on Artificial Intelligence (IJCAI '93), 80-85	Proceedings Article
		1992	[Eisinger, Norbert] Nonnengart, Andreas [Präcklein, Axel]	[Bläsius, K.H.] [Bürckert, Hans-Jürgen]		Termersetzungssysteme In: Deduktionssysteme -- Automatisierung des logischen Denkens, 126-149	Part of a Book
		1992	Nonnengart, Andreas Ohlbach, Hans Jürgen	[Bläsius, K. H.] [Bürckert, Hans-Jürgen]		Modal- und Temporallogik In: Deduktionssysteme - Automatisierung des logischen Denkens, 239-284	Part of a Book
2	Nonnengart, Andreas (ed.)
1	Nuettgens, Markus (ed.)
1	Nüttgens, Markus (ed.)
3	Nutt, Werner (ed.)
1	O'Leary, John (ed.)
1	Oevel, Walter
29	Ohlbach, Hans Jürgen
5	Ohlbach, Hans Jürgen (ed.)
1	Ohori, Atsushi (ed.)
1	Okada, M. (ed.)
1	Olbrich, Sebastian
1	Oliveras, Albert
1	Ong, Luke (ed.)
1	Orejas, Fernando

Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)