| Title | Author(s) [non member] | Editor(s) [non member] | Year | Type |
| Inference and Computational Semantics
In: Studies in Linguistics and Philosophy, Computing Meaning [77], 11-28 | de Nivelle, Hans
[Blackburn, Patrick]
[Bos, Johan]
[Kohlhase, Michael] | | 2001 | Journal Article |
| Input-output logics
In: Journal of Philosophical Logic [29], 383-408 | [Makinson, David]
van der Torre, Leendert W. N. | | 2000 | Journal Article |
| Input-output logics
In: Proceedings of the 5th International Workshop on Deontic Logic in Computer Science (Deon-00),, 29 | [Makinson, David]
van der Torre, Leendert W. N. | | 2001 | Proceedings Article |
| Instance Generation Methods for Automated Reasoning
Universität des Saarlandes | Jacobs, Swen | | 2004 | Thesis - Masters thesis |
| Integrating Clausal Decision Procedures in a Tactic Based Theorem Prover
Universität des Saarlandes | Leven, Peter | | 1998 | Thesis - Masters thesis |
| Integration des automatischen Beweisers SPASS in die mathematische Assistenzumgebung OMEGA
Universität des Saarlandes | Naumann, Stefan | | 1997 | Thesis - Masters thesis |
| Integration of a Decision Procedure for Second-Order Monadic Logic in a Higher-Order Logic Theorem Proving Environment
Universität des Saarlandes | Friedrich, Stefan | | 1998 | Thesis - Masters thesis |
| Integration of a Software Model Checker into Isabelle
In: Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, LPAR 2005, 381-395 | [Daum, Matthias]
Maus, Stefan
[Schirmer, Norbert]
Seghir, Mohammed Nassim | [Sutcliffe, Geoff]
[Voronkov, Andrei] | 2005 | Proceedings Article |
| Integration of equational reasoning into instantiation-based theorem proving
In: Computer science logic : 18th International Workshop CSL 2004, 13th Annual Conference of the EACSL, 71-84 | Ganzinger, Harald
Korovin, Konstantin | [Marcinkowski, Jerzy]
[Tarlecki, Andrzej] | 2004 | Proceedings Article |
| Intensionality, Possible Worlds and Propositional Attitudes: Formal and Philosophical Foundations of Modal Semantics
In: KI-94 Workshops: Extended Abstracts, 108-109 | Struth, Georg | Kunze, J.
Stoyan, H. | 1994 | Proceedings Article |
| Interaction between Knowledge, Action and Commitment within Agent Dynamic Logic | [Schmidt, Renate A.]
[Tishkovsky, Dmitry]
[Hustadt, Ullrich] | | 2002 | Unpublished/Draft |
| Interaction between Knowledge, Action and Commitment within Agent Dynamic Logic
In: Studia Logica [78], 381-415 | Schmidt, Renate A.
[Tishkovsky, Dmitry]
[Hustadt, Ullrich] | | 2004 | Journal Article |
| Interpolation in local theory extensions
In: Proceedings of IJCAR 2006, 235-250 | Sofronie-Stokkermans, Viorica | [Furbach, Ulrich]
[Shankar, Natarajan] | 2006 | Proceedings Article |
| Interpretation of the Deductive Tableau in HOL
In: Proceedings of the First Isabelle Users Workshop, 91-100 | Ayari, Abdelwaheb
Basin, David A. | Paulson, Lawrence C. | 1995 | Proceedings Article |
| Introducing Epistemic Operators into a Description Logic
In: Knowledge and Belief in Philosophie and Artificial Intelligence, 65-85 | Hustadt, Ullrich | [Laux, Arnim]
[Wansing, Heinrich] | 1995 | Part of a Book |
| Introduction to the Special Issue on Verification and Computational Logic
In: Theory and Practice of Logic Programming (TPLP) [4], 541-751 | Podelski, Andreas | | 2004 | Journal Article |
| Intuitionistic LTL and a New Characterization of Safety and Liveness | Maier, Patrick | | 2004 | Report |
| 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 |