| Title | Author(s) [non member] | Editor(s) [non member] | Year | Type |
| Just a test entry
In: Booktitle, 1001-1010 | Meter, Peter | Blubber, Bla
Bla, Blubber | 2009 | Proceedings Article |
| JZBR - Iterated Belief Change for Conditional Ranking Constraints
In: Proceedings of the 4th Dutch-German Workshop on Nonmonotonic Reasoning Techniques and their Applications (DGNMR-99), 57-66 | Weydert, Emil | [Rott, Hans]
[Albert, Chris]
[Brewka, Gerd]
[Witteveen, Cees] | 1999 | Proceedings Article |
| JZBR - Iterated Belief Change for Conditional Ranking Constraints
In: Spinning Ideas - Electronic Essays Dedicated to Peter Gaerdenfors on His Fiftieth Birthday, 1-11 | Weydert, Emil | [de Leon, David]
[Wallin, Annika]
[Hulth, Nils] | 1999 | Part of a Book |
| KA-Prolog: Erweiterungen einer logischen Programmiersprache und ihre effiziente Implementierung
In: Informatik--Forschung und Entwicklung [6], 128-140 | Bockmayr, Alexander
Brzoska, C.
Deussen, P.
Varsek, I. | | 1991 | Journal Article |
| Knuth-Bendix constraint solving is NP-complete
In: ACM Transactions on Computational Logic [6], 361-388 | Korovin, Konstantin
[Voronkov, Andrei] | | 2005 | Journal Article |
| Knuth-Bendix orders in automated deduction and term rewriting
University of Manchester | Korovin, Konstantin | | 2003 | Thesis - PhD thesis |
| Kooperative koevolutionäre Entwicklung von Fuzzy-Reglern
Universität des Saarlandes | Schmolzi, Christian | | 1999 | Thesis - Masters thesis |
| Künstliche Intelligenz und Operations Research
In: Grundlagen und Anwendungen der Künstlichen Intelligenz. 17. Fachtagung für Künstliche Intelligenz, 249-254 | Bockmayr, Alexander
Radermacher, F. J. | Herzog, O.
Christaller, Th.
Schütt, D. | 1993 | Proceedings Article |
| L'atelier FOCAL
In: Actes du 6ème Atelier sur les Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2004), 321-324 | [Dubois, Catherine]
[Jaume, Mathieu]
[Pons, Olivier]
Prevosto, Virgile | [Juilland, Jacques] | 2004 | Proceedings Article |
| Labeled logics of conditional goals
In: Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98), 368-369 | van der Torre, Leendert W. N. | Prade, Henri | 1998 | Proceedings Article |
| Labelled Modal Logics: quantifiers
In: Journal of Logic, Language and Information [7], 237-263 | [Basin, David A.]
Matthews, Seán
[Viganò, Luca] | | 1998 | Journal Article |
| Labelled Propositional Modal Logics: Theory and Practice
In: Journal of Logic and Computation [7], 685-717 | Basin, David A.
Matthews, Seán
Viganò, Luca | | 1997 | Journal Article |
| Labelled quantified modal logics
In: Proceedings of the 21st Annual German Conference on Artificial Intelligence (KI-97): Advances in Artificial Intelligence, 171-182 | Basin, David A.
Matthews, Seán
Viganò, Luca | Brewka, Gerhard
Habel, Christopher
Nebel, Bernhard | 1997 | Proceedings Article |
| Lattice Basis Reduction with Dynamic Approximation
In: Proceedings of the 4th Workshop On Algorithm Engineering (WAE-2000), 63-73 | Backes, Werner
[Wetzel, Susanne] | Näher, Stefan
Wagner, Dorothea | 2001 | Proceedings Article |
| Lazy Unification with Simplification
In: Proceedings of the 5th European Symposium on Programming Languages and Systems (ESOP'94), 272-286 | Hanus, Michael | Sannella, Don | 1994 | Proceedings Article |
| Learning Prolog programs from examples
In: Knowledge Based Computer Systems, 19-30 | Krishna Rao, M. R. K. | Anjaneyulu, KSR
Sasikumar, M.
Ramani, S. | 1996 | Proceedings Article |
| Learning the Rule Base of a Fuzzy Controller by a Genetic Algorithm
In: Fuzzy Systems in Computer Science, 63-74 | Hopf, Jörn
[Klawonn, Frank] | [Kruse, R.]
[Palm, R.]
[Gebhardt, J.] | 1994 | Part of a Book |
| Lexecute: Visualisation and representation of legal procedures
In: Digital Evidence Journal [3], 17-27 | Freiheit, Jörn
[Luuk, Marc]
[Münch, Susanne]
[Sijanski, Grozdana]
[Zangl, Fabrice] | | 2006 | Journal Article |
| Linear 0-1 Inequalities and Extended Clauses
In: Proceedings~4th International~Conference on Logic Programming and Automated Reasoning LPAR '93, 40-51 | Barth, Peter | Voronkov, A. | 1993 | Proceedings Article |
| LISA: A Specification Language Based on WS2S
In: Proceedings of the 11th International Workshop on Computer Science Logic (CSL-97), 18-34 | [Abdelwaheb, Ayari]
[Basin, David A.]
Podelski, Andreas | Nielsen, Mogens
Thomas, Wolfgang | 1998 | Proceedings Article |
| Living Book -- Deduction, Slicing, and Interaction
In: Journal of Automated Reasoning [32], 259-286 | Baumgartner, Peter
[Furbach, Ulrich]
[Gross-Hardt, Margret]
[Sinner, Alex] | | 2004 | Journal Article |
| Living Books, Automated Deduction and other Strange Things
In: Mechanizing Mathematical Reasoning: Techniques, Tools and Applications - Essays in honour of Jörg H. Siekmann, 255-274 | Baumgartner, Peter
[Furbach, Ulrich] | [Hutter, Dieter]
[Stephan, Werner] | 2005 | Part of a Book |
| Local reasoning in verification
In: Proceedings of VERIFY'06: Verification Workshop, 128-145 | Sofronie-Stokkermans, Viorica | [Autexier, Serge]
[Mantel, Heiko] | 2006 | Electronic Proceedings Article |
| Logic-based 0-1 constraint programming | Barth, Peter | | 1995 | Book |
| Logic-based 0-1 Constraint Solving in Constraint Logic Programming
Fachbereich Informatik, Universität des Saarlandes, Germany | Barth, Peter | | 1995 | Thesis - PhD thesis |
| 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 |