MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Publications

Entries sorted by: 1. Author,Editor - 2. by Group - 4. with BibTeX cite keys

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
YearTitleBibTeX cite key
Show details for HagemannHagemann
Show details for Hähnle, Kerber, WeidenbachHähnle, Kerber, Weidenbach
Show details for HanusHanus
Show details for Hanus, JosephsHanus, Josephs
Show details for Hanus, ZartmannHanus, Zartmann
Show details for HillenbrandHillenbrand
Show details for Hillenbrand, LöchnerHillenbrand, Löchner
Show details for Hillenbrand, Podelski, TopićHillenbrand, Podelski, Topić
Show details for Hillenbrand, Topic, WeidenbachHillenbrand, Topic, Weidenbach
Show details for Hoenicke, MaierHoenicke, Maier
Show details for HoffmannHoffmann
Show details for Hoffmann, BrafmanHoffmann, Brafman
Show details for Hoffmann, GeffnerHoffmann, Geffner
Show details for Hoffmann, Gomes, SelmanHoffmann, Gomes, Selman
Show details for Hoffmann, Porteous, SebastiaHoffmann, Porteous, Sebastia
Show details for Hoffmann, Sabharwal, DomshlakHoffmann, Sabharwal, Domshlak
Show details for HopfHopf
Show details for Hopf, KlawonnHopf, Klawonn
Show details for Hopf, RauHopf, Rau
Hide details for HustadtHustadt
1999Resolution-Based Decision Procedures for Subclasses of First-Order Logic
Universität des Saarlandes		Hustadt1999
1995Introducing Epistemic Operators into a Description Logic
In: Knowledge and Belief in Philosophie and Artificial Intelligence, 65-85		Hustadt95b
1994A Multi-Modal Logic for Stereotyping
In: Proceedings of the 4th International Conference on User Modeling UM94, 87-92		Hustadt94d
1994Common and Mutual Belief for Agent Modeling
In: KI-94 Workshops: Extended Abstracts, 123-124		Hustadt94b2
1994Common and Mutual Belief for Agent Modeling
In: Modeling Epistemic Propositions: Workshop during the 18th German Annual Conference on Artificial Intelligence (KI-94),		Hustadt94b
1994Do we need the closed-world assumption in knowledge representation?
In: KI-94 Workshops: Extended Abstracts, 293-294		Hustadt94c2
1994Do 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		Hustadt94c
1993Abductive Disjunctive Logic Programming
In: ICLP '93 Postconference Workshop on Abductive Reasoning, ?		Hustadt93a
1993Automated Support for the Development of Non-classical Logics
In: Workshop: Modellierung epistemischer Propositionen, KI '93,		Hustadt93b
Show details for Hustadt, NonnengartHustadt, Nonnengart

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