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
1	O'Leary, John (ed.)
1	Oevel, Walter
29	Ohlbach, Hans Jürgen
5	Ohlbach, Hans Jürgen (ed.)
		1997		[Gabbay, Dov M.] [Kruse, Rudolf] Nonnengart, Andreas Ohlbach, Hans Jürgen		Qualitative and Quantitative Practical Reasoning	Book
		1996	Weydert, Emil	[Gabbay, Dov] [Ohlbach, Hans Jürgen]		System J - Revision Entailment: Default Reasoning through Ranking Measure Updates In: Practical Reasoning - International Conference on Formal and Applied Practical Reasoning, FAPR'96, 637-649	Proceedings Article
		1994		Gabbay, Dov M. Ohlbach, Hans Jürgen		Temporal Logic: Proceedings of the 1st International Conference on Temporal Logic	Proceedings
		1993	Schmidt, Renate A.	Ohlbach, Hans Jürgen		Terminological Representation, Natural Language \& Relation Algebra In: GWAI-92: Advances in Artificial Intelligence: Proc.~16th German Workshop on Artificial Intelligence, 357-371	Proceedings Article
		1993	Weidenbach, Christoph	Ohlbach, Hans Jürgen		A New Sorted Logic In: GWAI-92: Advances in Artificial Inteligence, Proceedings 16th German Workshop on Artificial Intelligence, 43-54	Proceedings Article
1	Ohori, Atsushi (ed.)
1	Okada, M. (ed.)
1	Olbrich, Sebastian
1	Oliveras, Albert
1	Ong, Luke (ed.)
1	Orejas, Fernando
1	Orejas, Fernando (ed.)
4	Orlowska, Ewa (ed.)
1	Orłowska, Ewa
1	Pacholski, Leszek
1	Pacholski, Leszek (ed.)
1	Palamidessi, Catuscia (ed.)
2	Palm, Günther (ed.)
1	Palm, R. (ed.)
2	Palsberg, Jens (ed.)
1	Panetto, Herve (ed.)
1	Pang, Jun
1	Papadimitriou, Christos
1	Parigot, Michel (ed.)
2	Parsons, Simon (ed.)
1	Patel-Schneider, Peter F. (ed.)

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