| Title | Author(s) [non member] | Editor(s) [non member] | Year | Type |
| Logic Engineering: Konstruktion von Logiken
In: KI [3], 34-38 | Ohlbach, Hans Jürgen | | 1992 | Journal Article |
| Logic Frameworks for Logic Programs
In: Proceedings of the 4th International Workshop on Logic Program Synthesis and Transformation - Meta Programming in Logic (LOPSTR'94 and META'94), 1-16 | Basin, David A. | Fribourg, Laurent
Turini, Franco | 1994 | Proceedings Article |
| Logic Program Synthesis via Proof Planning
In: International Workshop on Logic Program Synthesis and Transformation (LOPSTR '92), 1-14 | Kraan, Ina
Basin, David A.
Bundy, Alan | Lau, K. K.
Clement, T. | 1993 | Proceedings Article |
| Logic Programming and Multi-Agent Systems: a Synergic Combination for Applications and Semantics
In: The Logic Programming Paradigm: a 25-Year Perspective, 5-32 | [Bozzano, Marco]
Delzanno, Giorgio
[Martelli, Maurizio]
[Mascardi, Viviana]
[Zini, Floriano] | [Apt, K.]
[Marek, V. W.]
[Truszczynski, M.]
[Warren, D. S.] | 1999 | Part of a Book |
| Logic Programming Infrastructure for Inferences on FrameNet
In: Logics in artificial intelligence : 9th European Conference, JELIA 2004, 591-603 | Baumgartner, Peter
[Burchardt, Aljoscha] | [Alferes, José Júlio]
[Leite, João] | 2004 | Proceedings Article |
| Logic Programming with Pseudo-Boolean Constraints
In: Constraint Logic Programming---Selected Research, 327-350 | Bockmayr, Alexander | Benhamou, F.
Colmerauer, A. | 1993 | Proceedings Article |
| Logic Programming with Type Specifications
In: Types in Logic Programming, 91-140 | Hanus, Michael | Pfenning, Frank | 1992 | Part of a Book |
| Logic with Equality: Partisan Corroboration and Shifted Pairing
In: Information and Computation [152], 205-235 | [Gurevich, Yuri]
Veanes, Margus | | 1999 | Journal Article |
| Logical Algorithms
In: Logic Programming. 18th International Conference, ICLP 2002, 209-223 | Ganzinger, Harald
[McAllester, David] | [Stuckey, Peter J.] | 2002 | Proceedings Article |
| Logical Frameworks
In: Handbook of Philosophical Logic, 89-164 | Basin, David A.
Matthews, Sean | [Gabbay, Dov]
[Guenthner, Franz] | 2002 | Part of a Book |
| LSE narrowing for decreasing conditional term rewrite systems
In: Conditional Term Rewriting Systems CTRS'94, 51-70 | Bockmayr, Alexander
[Werner, Andreas] | Dershowitz, Nachum
Lindenstrauss, Naomi | 1995 | Proceedings Article |
| Maslov's Class K Revisited
In: Proceedings of the 16th International Conference on Automated Deduction (CADE-16), 172-186 | Hustadt, Ullrich
Schmidt, Renate A. | Ganzinger, Harald | 1999 | Proceedings Article |
| Measure Selection: Notions of Rationality and Representation Independence
In: Proceedings of the 14th Conference on Uncertainty in Artificial Intelligence (UAI-98), 274-281 | Jaeger, Manfred | Cooper, Gregory S.
Moral, Serafín | 1998 | Proceedings Article |
| Metalogical Frameworks
In: Logical Environments, 1-29 | Basin, David A.
Constable, Robert L. | Huet, Gérard
Plotkin, Gordon | 1993 | Part of a Book |
| Methods and Tools for Pseudo-Boolean Problems
In: 2. Workshop Boolesche Probleme, 105-109 | Bockmayr, Alexander
Barth, Peter
Kasper, Thomas | [Steinbach, B.] | 1996 | Proceedings Article |
| Middle-Out Reasoning for Logic Program Synthesis
In: Proc.~10th Intern. Conference on Logic Programing (ICLP '93), 441-455 | Kraan, Ina
Basin, David A.
Bundy, Alan | | 1993 | Proceedings Article |
| Middle-Out Reasoning for Synthesis and Induction
In: Automated mathematical induction, 113-145 | [Kraan, Ina]
Basin, David A.
[Bundy, Alan] | Zhang, Hantao | 1996 | Part of a Book |
| Middle-out reasoning for synthesis and induction
In: Journal of Automated Reasoning [16], 113-145 | [Kraan, Ina]
Basin, David A.
[Bundy, Alan] | | 1996 | Journal Article |
| Minimal Ascending and Descending Tree Automata
In: SIAM Journal on Computing [26], 39-58 | [Nivat, Maurice]
Podelski, Andreas | | 1997 | Journal Article |
| Minimal information entailment : A preliminary account
In: Proceedings of the 7th International Workshop on Nonmonotonic Reasoning (Workshop on Formal Aspects and Applications of Nonmonotonic Reasoning), 64-72 | Weydert, Emil | [Delgrande, Jim]
[Truszczynski, Mirek] | 1998 | Proceedings Article |
| Minimum Cross-Entropy Reasoning: A Statistical Justification
In: Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI-95), 1847-1852 | Jaeger, Manfred | Mellish, Chris S. | 1995 | Proceedings Article |
| Mixed Integer Programming Models for Planning Problems
In: Proceedings of the Workshop on Constraint Problem Reformulation (CP-98), 1-6 | Bockmayr, Alexander
Dimopoulos, Yannis | [Frank, Jeremy]
[Sabin, Mihaela] | 1998 | Proceedings Article |
| Modal- und Temporallogik
In: Deduktionssysteme - Automatisierung des logischen Denkens, 239-284 | Nonnengart, Andreas
Ohlbach, Hans Jürgen | [Bläsius, K. H.]
[Bürckert, Hans-Jürgen] | 1992 | Part of a Book |
| Modal Frame Characterization by Way of Auxiliary Modalities
In: Logic Journal of the IGPL [6], 875-899 | Nonnengart, Andreas | | 1998 | Journal Article |
| Modalities in Knowledge Representation
In: Proc. of the 6th Australian Joint Conference on Artificial Intelligence (AI '93), 249-254 | Hustadt, Ullrich
Nonnengart, Andreas | [Rowles, C.]
[Liu, H.]
[Foo, N.] | 1993 | Proceedings Article |
| Mode Analysis of Functional Logic Programs
In: Proceedings of the 1st International Static Analysis Symposium (SAS'94), 26-42 | Hanus, Michael
Zartmann, Frank | Le Charlier, Baudouin | 1994 | Proceedings Article |
| Model-based user-interface management for public services
In: 6th European Conference on e-Government, 141-151 | Freiheit, Jörn
[Zangl, Fabrice] | [Remenyi, Dan] | 2006 | Proceedings Article |
| Model-Checking of Specifications Integrating Processes, Data and Time
In: FM 2005: Formal Methods; International Symposium of Formal Methods Europe, 465-480 | [Hoenicke, Jochen]
Maier, Patrick | [Fitzgerald, John]
[Hayes, Ian J.]
[Tarlecki, Andrzej] | 2005 | Proceedings Article |
| Model-Generation Theorem Proving for First-Order Logic Ontologies | Baumgartner, Peter
Suchanek, Fabian | | 2005 | Unpublished/Draft |
| Model-Theoretic Aspects of Unification
In: Proceedings of the 1st Workshop on Word Equations and Related Topics, 181-196 | Bockmayr, Alexander | Schulz, K. U. | 1992 | Proceedings Article |