| Title | Author(s) [non member] | Editor(s) [non member] | Year | Type |
| Hybrid Languages and Temporal Logic (Full Version) | [Blackburn, Patrick]
Tzakova, Miroslava | | 1998 | Report |
| Hybridizing Concept Languages
In: Annals of Mathematics and Artificial Intelligence [24], 23-49 | [Blackburn, Patrick]
Tzakova, Miroslava | | 1998 | Journal Article |
| Hyperrational Conditionals
In: Foundations of Knowledge Representation and Reasoning, 310-332 | Weydert, Emil | Lakemeyer, Gerhard
Nebel, Bernhard | 1994 | Proceedings Article |
| IJCAR'06 Workshop : Disproving'06: Non-Theorems, Non-Validity, Non-Provability | | [Ahrendt, Wolfgang]
[Baumgartner, Peter]
de Nivelle, Hans | 2006 | Electronic Proceedings |
| Implementing Modal and Relevance Logics in a Logical Framework
In: Proceedings of the 5th International Conference on Principles of Knowledge Representation and Reasoning (KR'96), 386-397 | Basin, David A.
Matthews, Seán
Viganò, Luca | Carlucci-Aiello, Luigia
Doyle, Jon
Shapiro, Stuart | 1996 | Proceedings Article |
| Implementing the clausal normal form transformation with proof generation
In: Fourth Workshop on the Implementation of Logics, 69-83 | de Nivelle, Hans | [Konev, Boris]
[Schmidt, Renate] | 2003 | Proceedings Article |
| Implementing the Model Evolution Calculus
In: International Journal on Artificial Intelligence Tools [15], 21-52 | Baumgartner, Peter
Fuchs, Alexander
[Tinelli, Cesare] | | 2006 | Journal Article |
| Implementing $\textrm FS_0$ in Isabelle: Adding Structure at the Metalevel
In: Design and Implementation of Symbolic Computation Systems (DISCO'96), 228-239 | Matthews, Seán | Paulson, Lawrence C. | 1996 | Proceedings Article |
| Improving Control of Logic Programs by Using Functional Logic Languages
In: Proceedings 4th International Symposium on Programming Language Implementation and Logic Programming, 1-23 | Hanus, Michael | Bruynooghe, Maurice
Wirsing, Martin | 1992 | Proceedings Article |
| Improving Stable Models Based Planning by Bidirectional Search
In: Proceedings of the 5th International Conference on Knowledge Based Computer Systems (KBCS 2004), 404-413 | Baumgartner, Peter
[Mediratta, Anupam] | [Sasikumar, M.]
[Vakil, R.]
[Kavitha, M.] | 2004 | Proceedings Article |
| In Defense of PDDL Axioms
In: 18th International Joint Conference on Artificial Intelligence, 961-966 | [Thiebaux, Sylvie]
Hoffmann, Jörg
[Nebel, Bernhard] | [Gottlob, Georg] | 2003 | Proceedings Article |
| In Defense of PDDL Axioms
In: Artificial Intelligence [168], 38-69 | Hoffmann, Jörg | | 2005 | Journal Article |
| In2Math - Interaktive Mathematik- und Informatikgrundausbildung
In: Softwaretechnik-Trends [24], 36-45 | Baumgartner, Peter
[Grabowski, Barbara]
[Oevel, Walter]
[Melis, Erica] | | 2004 | Journal Article |
| 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 |