| Title | Author(s) [non member] | Editor(s) [non member] | Year | Type |
| Inclusion Constraints over Non-empty Sets of Trees
In: Proceedings of the 7th International Joint Conference CAAP/FASE: Theory and practice of software development (TAPSOFT-97), 345-356 | [Müller, Martin]
[Niehren, Joachim]
Podelski, Andreas | [Bidoit, Michel]
[Dauchet, Max] | 1997 | Proceedings Article |
| Incremental Learning of Logic Programs
In: Proceedings of International Workshop on Algorithmic Learning Theory, 95-109 | Krishna Rao, M. R. K. | Jantke, Klaus
Shinohara, Takeshi
Zeugmann, Thomas | 1995 | Proceedings Article |
| Incremental Rewriting in Narrowing Derivations
In: Proceedings of the 3rd International Conference on Algebraic and Logic Programming (ALP-92), 228-243 | Hanus, Michael | Kirchner, Hélène
Levi, Georgio | 1992 | Proceedings Article |
| Inductive theorem proving by consistency for first-order clauses
In: Informatik - Festschrift zum 60. Geburtstag von Günter Hotz, 441-462 | Ganzinger, Harald
Stuber, Jürgen | Buchmann, J.
Ganzinger, Harald
Paul, W. J. | 1992 | Part of a Book |
| Inductive Theorem Proving for Horn Clauses
Universität Dortmund | Stuber, Jürgen | | 1991 | Thesis - Masters thesis |
| 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 |