| Title | Author(s) [non member] | Editor(s) [non member] | Year | Type |
| Intuitionistic LTL and a New Characterization of Safety and Liveness
In: Computer science logic : 18th International Workshop CSL 2004, 13th Annual Conference of the EACSL, 295-309 | Maier, Patrick | [Marcinkowski, Jerzy]
[Tarlecki, Andrzej] | 2004 | Proceedings Article |
| Invariant Synthesis for Combined Theories
In: Verification, Model Checking, and Abstract Interpretation : 8th International Conference, VMCAI 2007, 378-394 | [Beyer, Dirk]
[Henzinger, Thomas]
[Majumdar, Rupak]
Rybalchenko, Andrey | [Cook, Byron]
[Podelski, Andreas] | 2007 | Proceedings Article |
| Is Logic Effective for Analyzing C Programs?
In: Symposium on the Effectiveness of Logic in Computer Science in Honour of Moshe Vardi, 27-30 | Hillenbrand, Thomas
Podelski, Andreas
Topić, Dalibor | Charatonik, Witold
Ganzinger, Harald | 2002 | Proceedings Article |
| IsaWhelk: Whelk Interpreted in Isabelle
In: Proceedings of the 11th International Conference on Logic Programming (ICLP'94), 741-741 | Basin, David A. | Van Hentenryck, Pascal | 1994 | Proceedings Article |
| 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 |