| Title | Author(s) [non member] | Editor(s) [non member] | Year | Type |
|---|
| 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 |
| 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 |
