| Title | Author(s) [non member] | Editor(s) [non member] | Year | Type |
| Darwin: A Theorem Prover for the Model Evolution Calculus
In: Proceedings of the 1st Workshop on Empirically Successful First Order Reasoning (ESFOR'04), 1-24 | Baumgartner, Peter
Fuchs, Alexander
[Tinelli, Cesare] | [Schulz, Stephan]
[Tammet, Tanel]
[Sutcliffe, Geoff] | 2004 | Proceedings Article |
| Data Mining as Selective Theory Extraction in Probabilistic Logic
In: Proceedings of the 1996 SIGMOD Workshop on Research Issues in Data Mining and Knowledge Discovery, - | Jaeger, Manfred
Mannila, Heikki
Weydert, Emil | [Ng, Raymond] | 1996 | Proceedings Article |
| Decidability and Complexity of Simultaneous Rigid E-unification with One Variable and Related Results
In: Theoretical Computer Science [243], 167-184 | [Degtyarev, Anatoli]
[Gurevich, Yuri]
[Narendran, Paliath]
Veanes, Margus
[Voronkov, Andrei] | | 2000 | Journal Article |
| Decidability by Resolution for Propositional Modal Logics
In: Journal of Automated Reasoning [22], 379-396 | Schmidt, Renate A. | | 1999 | Journal Article |
| Decidable fragments of simultaneous rigid reachability
In: Proceedings of the 26th International Colloquium on Automata, Languages and Programming (ICALP-99), 250-260 | Cortier, V.
Ganzinger, Harald
Jacquemard, Florent
Veanes, Margus | [Wiedermann, Jiri]
[van Emde Boas, Peter]
[Nielsen, Mogen] | 1999 | Proceedings Article |
| Deciding Modal Logics through Relational Translations into GF2
In: Proceedings of the 3rd Methods for Modalities Workshop, 15-30 | de Nivelle, Hans
[Demri, Stéphane] | [Areces, Carlos]
[Blackburn, Patrick] | 2003 | Proceedings Article |
| Deciding regular grammar logics with converse through first-order logic | de Nivelle, Hans
[Demri, Stéphane] | | 2003 | Report |
| Deciding Regular Grammar Logics with Converse through First-Order Logic
In: Journal of Logic, Language and Information [14], 289-329 | de Nivelle, Hans
[Demri, Stéphane] | | 2005 | Journal Article |
| Deciding the E-plus class by an a posteriori, liftable order
In: Annals of Pure and Applied Logic [88], 219-232 | de Nivelle, Hans | | 2000 | Journal Article |
| Deciding the Guarded Fragments by Resolution
In: Journal of Symbolic Computation [35], 21-58 | de Nivelle, Hans
[de Rijke, Maarten] | | 2003 | Journal Article |
| Decision Making in an Economy Exploiting Fuzzy Rules Obtained from a Genetic Algorithm
In: Soft Computing with Industrial Applications, 331-336 | Hopf, Jörn
Rau, Rainer | [Jamshidi, Mohammad]
[Fathi, Madjid]
[Pierrot, Francois] | 1996 | Proceedings Article |
| Deduction | | [Furbach, Ulrich]
Ganzinger, Harald
[Hasegawa, Ryuzo]
[Kapur, Deepak] | 2000 | Proceedings |
| 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 |