| 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 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 |
| 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 |
| Elimination of Equality via Transformation with Ordering Constraints
In: Proceedings of the 15th International Conference on Automated Deduction (CADE-98), 175-190 | Bachmair, Leo
Ganzinger, Harald
Voronkov, Andrei | Kirchner, Claude
Kirchner, Hélène | 1998 | Proceedings Article |
| Embedding OR Techniques in Constraint Logic Programming
In: Operations Research '92. 17th Symposium on Operations Research, 252-254 | Bockmayr, Alexander | Karmann, A.
Mosler, K.
Schader, M.
Uebe, G. | 1993 | Proceedings Article |
| Encoding two-valued non-classical logics in classic logic
In: Handbook of Automated Reasoning, 1403-1486 | Nonnengart, Andreas
[Ohlbach, Hans Jürgen]
[Gabbay, Dov M.] | Robinson, Alan
Voronkov, Andrei | 2001 | Part of a Book |
 | Enhanced Workflow Models as a Tool for Judicial Practitioners
In: On the move to meaningful internet systems 2005: OTM 2005 Workshops : OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, GADA, MIOS+INTEROP, ORM, PhDS, SeBGIS, SWWS, and WOSE 2005, 26-27 | Freiheit, Jörn
[Münch, Susanne]
[Schöttle, Hendrik]
[Sijanski, Grozdana]
[Zangl, Fabrice] | Meersman, Robert
Tari, Zahir
Herrero, Pilar
Méndez, Gonzalo
Cavedon, Lawrence
Martin, David
Hinze, Annika
Buchanan, George
Pérez, María S.
Robles, Víctor
Humble, Jan
Albani, Antonia
Dietz, Jan L.G.
Panetto, Herve
Scannapieco, Monica
Halpin, Terry
Spyns, Peter
Zaha, Johannes Maria
Zimány, Esteban
Stefanakis, Emmanuel
Dillon, Tharam
Feng, Ling
Jarrar, Mustafa
Lehmann, Jos
de Moor, Aldo
Duval, Erik
Aroyo, Lora | 2005 | Proceedings Article |
| Entailment of Atomic Set Constraints is PSPACE-Complete
In: Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science (LICS-99), 285-294 | Talbot, Jean-Marc
[Niehren, Joachim]
[Müller, Martin] | [Longo, Giuseppe] | 1999 | Proceedings Article |
