| Title | Author(s) [non member] | Editor(s) [non member] | Year | Type |
| Deduction Systems Based on Resolution
In: Handbook of Logic in Artificial Intelligence and Logic Programming, 184-271 | Eisinger, Norbert
Ohlbach, Hans Jürgen | Gabbay, Dov M.
Hogger, C. J.
Robinson, J. A. | 1993 | Proceedings Article |
| Default Entailment. A preferential construction semantics for defeasible inference
In: Advances in Artificial Intelligence: Proceedings of the 19th German Annual Conference on Artificial Intelligence, 173-184 | Weydert, Emil | [Wachsmuth, Ipke]
[Rollinger, Claus-Rainer]
[Brauer, Wilfried] | 1995 | Proceedings Article |
| Default Quantifier Logic
In: Proceedings of the ECAI'96 Workshop on Integrating Nonmonotonicity into Automated Reasoning Systems, - | Weydert, Emil | [Niemelä, Ilkka] | 1996 | Proceedings Article |
| Default Quantifiers: About Plausible Reasoning in First-Order Contexts
In: Working Notes of the Dutch/German Workshop on Nonmonotonic Reasoning Techniques and their Applications, ? | Weydert, Emil | Nejdl, W. | 1993 | Proceedings Article |
| Default Reasoning about Probabilities
Universität des Saarlandes | Jaeger, Manfred | | 1995 | Thesis - PhD thesis |
| Defaults and Infinitesimals. Defeasible inference by nonarchimedean entropy maximization
In: Proceedings of the 11th Conference on Uncertainty in Artificial Intelligence (UAI 95), 540-547 | Weydert, Emil | [Besnard, Philippe]
[Hanks, Steve] | 1995 | Proceedings Article |
| Defaults, Logic and Probability - A theoretical perspective
In: KI - Künstliche Intelligenz [4/01], 44-49 | Weydert, Emil | | 2001 | Journal Article |
| Defeasible Goals
In: Proceedings of the 5th European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty (ECSQARU-99), 374-385 | van der Torre, Leendert W. N. | [Hunter, Anthony]
[Parsons, Simon] | 1999 | Proceedings Article |
| Deriving and Applying Logic Program Transformers
In: Algorithms, Concurrency and Knowledge (1995 Asian Computing Science Conference), 301-318 | Anderson, Penny
Basin, David A. | | 1995 | Proceedings Article |
| Deriving Theory Superposition Calculi from Convergent Term Rewriting Systems
In: Proceedings of the 11th International Conference Rewriting Techniques and Applications (RTA-00), 229-245 | Stuber, Jürgen | Bachmair, Leo | 2000 | Proceedings Article |
| Description Logics for Natural Language Processing
In: International Workshop on Description Logics '94, 80-84 | 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.] | 1994 | Proceedings Article |
| Description Logics for Shape Analysis
In: Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 321-330 | [Georgieva, Lilia]
Maier, Patrick | [Aichernig, Bernhard K.]
[Beckert, Bernhard] | 2005 | Proceedings Article |
| Detecting Redundant Narrowing Derivations by the LSE-SL Reducibility Test
In: Proceedings of the 4th International Conference on Rewriting Techniques and Applications (RTA '91), 74-85 | Krischer, Stefan
Bockmayr, Alexander | Book, R. | 1991 | Proceedings Article |
| Diagnosis and Decision Making in Normative Reasoning
In: Journal of Artificial Intelligence and Law [7], 51-67 | van der Torre, Leendert W. N.
[Tan, Yao-Hua] | | 1999 | Journal Article |
| Dialogues and Ontology, the Dialogical Approach to Free Logic
In: Logique et Analyse [160], 357-374 | [Rahman, Shahid]
[Rückert, Helge]
Fischmann, Matthias | | 1997 | Journal Article |
| Die Erzeugung von Schnittebenen mit maximalem Verletzungsgrad und deren Einsatz im Branch-and-Cut Verfahren
Universität des Saarlandes | Grenner, Ingo | | 2001 | Thesis - Masters thesis |
| Difference Matching
In: Proceedings of the11th International Conference on Automated Deduction (CADE-11), 295-309 | Basin, David A.
Walsh, Toby | Kapur, D. | 1992 | Proceedings Article |
| Difference Unification
In: Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI-93), 116-122 | Basin, David A.
Walsh, Toby | Bajcsy, R. | 1993 | Proceedings Article |
| Directed Model Checking with Distance-Preserving Abstractions
In: Model checking software : 13th International SPIN Workshop, 19-34 | [Dräge, Klaus]
[Finkbeiner, Bernd]
Podelski, Andreas | [Valmari, Antti] | 2006 | Proceedings Article |
| Directional Type Checking for Logic Programs: Beyond Discriminative Types
In: Proceedings of the 8th European Symposium on Programming (ESOP-00), 72-87 | Charatonik, Witold | [Smolka, Gert] | 2000 | Proceedings Article |
| Directional Type Inference for Logic Programs
In: Proceedings of the 5th International Symposium in Static Analysis (SAS-98), 278-294 | Charatonik, Witold
Podelski, Andreas | [Levi, Giorgio] | 1998 | Proceedings Article |
| Direktionale Typen in der Logischen Programmierung
Universität des Saarlandes | Charatonik, Witold | | 2002 | Thesis - Habilitation thesis |
| Distinguishing different roles in normative reasoning
In: Proceedings of the 6th International Conference on Artificial Intelligence and Law (ICAIL-97), 225-232 | van der Torre, Leendert W. N.
[Tan, Yao-Hua] | | 1997 | Proceedings Article |
| Do we need the closed-world assumption in knowledge representation?
In: KI-94 Workshops: Extended Abstracts, 293-294 | Hustadt, Ullrich | Kunze, Jürgen
Stoyan, Herbert | 1994 | Proceedings Article |
| 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 | Hustadt, Ullrich | Baader, Franz
Buchheit, Martin
Jeusfeld, Manfred A.
Nutt, Werner | 1994 | Proceedings Article |
| Doxastic Normality Logic: A Qualitative Probabilistic Modal Framework for Defaults and Belief
In: Logic, Action, and Information, 152-171 | Weydert, Emil | [Fuhrmann, André]
[Rott, Hans] | 1996 | Part of a Book |
| DPLL(T): Fast Decision Procedures
In: Computer aided verification : 16th International Conference, CAV 2004, 175-188 | Ganzinger, Harald
[Hagen, George]
[Nieuwenhuis, Robert]
[Oliveras, Albert]
[Tinelli, Cesare] | [Alur, Rajeev]
[Peled, Doron] | 2004 | Proceedings Article |
| Duality and Canonical Extensions of Bounded Distributive Lattices with Operators and Applications to the Semantics of Non-Classical Logics. Part I
In: Studia Logica [64], 93-132 | Sofronie-Stokkermans, Viorica | | 2000 | Journal Article |
| Duality and Canonical Extensions of Bounded Distributive Lattices with Operators and Applications to the Semantics of Non-Classical Logics. Part II
In: Studia Logica [64], 151-172 | Sofronie-Stokkermans, Viorica | | 2000 | Journal Article |
| E-Unification for Subsystems of S4
In: Proceedings of the 9th International Conference on Rewriting Techniques and Applications (RTA-98), 106-120 | Schmidt, Renate A. | [Nipkow, Tobias] | 1998 | Proceedings Article |