Publications

Entries sorted by: 1. Author,Editor - 2. by Group - 1. by Names of First Author,Editor

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		Title	Type
1	Hagemann
1	Hähnle, Kerber, Weidenbach
16	Hanus
1	Hanus, Josephs
1	Hanus, Zartmann
2	Hillenbrand
2	Hillenbrand, Löchner
1	Hillenbrand, Podelski, Topić
1	Hillenbrand, Topic, Weidenbach
1	Hoenicke, Maier
6	Hoffmann
2	Hoffmann, Brafman
1	Hoffmann, Geffner
1	Hoffmann, Gomes, Selman
1	Hoffmann, Porteous, Sebastia
1	Hoffmann, Sabharwal, Domshlak
5	Hopf
2	Hopf, Klawonn
1	Hopf, Rau
9	Hustadt
		1999		Resolution-Based Decision Procedures for Subclasses of First-Order Logic Universität des Saarlandes	Thesis - PhD thesis
		1995		Introducing Epistemic Operators into a Description Logic In: Knowledge and Belief in Philosophie and Artificial Intelligence, 65-85	Part of a Book
		1994		A Multi-Modal Logic for Stereotyping In: Proceedings of the 4th International Conference on User Modeling UM94, 87-92	Proceedings Article
		1994		Common and Mutual Belief for Agent Modeling In: KI-94 Workshops: Extended Abstracts, 123-124	Proceedings Article
		1994		Common and Mutual Belief for Agent Modeling In: Modeling Epistemic Propositions: Workshop during the 18th German Annual Conference on Artificial Intelligence (KI-94),	Proceedings Article
		1994		Do we need the closed-world assumption in knowledge representation? In: KI-94 Workshops: Extended Abstracts, 293-294	Proceedings Article
		1994		Do we need the closed-world assumption in knowledge representation? In: Working Notes of the KI'94 Workshop: Reasoning about Structured Objects: Knowledge Representation meets Databases (KRDB'94), 24-26	Proceedings Article
		1993		Abductive Disjunctive Logic Programming In: ICLP '93 Postconference Workshop on Abductive Reasoning, ?	Proceedings Article
		1993		Automated Support for the Development of Non-classical Logics In: Workshop: Modellierung epistemischer Propositionen, KI '93,	Proceedings Article
1	Hustadt, Nonnengart

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