| Title | Author(s) [non member] | Editor(s) [non member] | Year | Type |
|---|
| Hardware Verification using Monadic Second-Order Logic
In: Proceedings of the 7th International Conference on Computer-Aided Verification (CAV '95), 31-41 | Basin, David A.
[Klarlund, Nils] | | 1995 | Proceedings Article |
| Heuristiken zum Beweisen von Gleichungen
Universität des Saarlandes | Autexier, Serge |  | 1996 | Thesis - Masters thesis |
 | Hierarchic reasoning in local theory extensions
In: Automated deduction - CADE-20 : 20th International Conference on Automated Deduction, 219-234 | Sofronie-Stokkermans, Viorica | [Nieuwenhuis, Robert] | 2005 | Proceedings Article |
| Horn Clause Programs with Polymorphic Types: Semantics and Resolution
In: Theoretical Computer Science [89], 63-106 | Hanus, Michael | | 1991 | Journal Article |
| How to Avoid the Derivation of Redundant Clauses in Reasoning Systems
In: Journal of Automated Reasoning [9], 325-336 | Socher-Ambrosius, Rolf | | 1992 | Journal Article |
| How to Realize LSE Narrowing | Werner, Andreas
Bockmayr, Alexander
Krischer, Stefan | | 1993 | Report |
| How to realize LSE narrowing
In: New Generation Computing [16], 397-434 | [Werner, Andreas]
Bockmayr, Alexander
[Krischer, Stefan] | | 1998 | Journal Article |
| How to Realize LSE Narrowing
In: Proceedings of the 2nd International Workshop on Functional/Logic Programming, ?-? | Werner, Andreas
Bockmayr, Alexander
Krischer, Stefan | Mück, A. | 1993 | Proceedings Article |
| How to realize LSE narrowing
In: Proceedings of the 4th International Conference on Algebraic and Logic Programming (ALP'94), 59-76 | [Werner, Andreas]
Bockmayr, Alexander
[Krischer, Stefan] | Levi, Giorgio
Rodríguez-Artalejo, Mario | 1994 | Proceedings Article |
| How to revise ranked probabilities
In: Proceedings of the 14th European Conference on Artificial Intelligence (ECAI-00), 38-42 | Weydert, Emil | [Horn, Werner] | 2000 | Proceedings Article |
| How to Use Modalities and Sorts in Prolog
In: Logics in Artificial Intelligence: Proceedings of the JELIA'94, 365-378 | Nonnengart, Andreas | [MacNish, Craig]
[Pearce, David]
[Pereira, Luís Moniz] | 1994 | Proceedings Article |
| Hybrid Completeness
In: Logic Journal of the IGPL [6], 625-650 | [Blackburn, Patrick]
Tzakova, Miroslava | | 1998 | Journal Article |
| Hybrid Languages
Universität des Saarlandes | Tzakova, Miroslava | | 1999 | Thesis - PhD thesis |
| Hybrid Languages and Temporal Logic
In: Logic Journal of the IGPL [7], 27-54 | [Blackburn, Patrick]
Tzakova, Miroslava | | 1999 | Journal Article |
| 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 |
