| Title | Author(s) [non member] | Editor(s) [non member] | Year | Type |
| General Belief Measures
In: Proceedings of the 10th Conference on Uncertainty in Artificial Intelligence, 575-582 | Weydert, Emil | | 1994 | Proceedings Article |
| General Proof Theoretic Techniques for Automatic
Programing
In: Proceedings of the EAST-WEST AI CONFERENCE: From
Theory to Practice - EWAIC'93, | Madden, Peter
[Bundy, Alan] | | 1993 | Proceedings Article |
| Generalized Definite Set Constraints
In: Constraints [5], 161-202 | Talbot, Jean-Marc
[Devienne, Philippe]
[Tison, Sophie] | | 2000 | Journal Article |
| Generalized Rewriting in Type Theory
In: Journal of Information Processing and Cybernetics [30], 249-259 | Basin, David A. | | 1994 | Journal Article |
| Generic System Support for Deductive Program Development
In: Second International Workshop, TACAS'96: Tools and Algorithms for the Construction and Analysis of Systems, 313-328 | Ayari, Abdelwaheb
Basin, David A. | Margaria, Tiziana
Steffen, Bernhard | 1996 | Proceedings Article |
| Genetic Algorithms within the Framework of Evolutionary Computation | Hopf, Jörn | | 1994 | Miscellaneous |
| Geo 2006j | de Nivelle, Hans
[Meng, Jia] | | 2006 | Miscellaneous |
| Geometric Resolution: A Proof Procedure Based on Finite Model Search
In: Automated reasoning : Third International Joint Conference, IJCAR 2006, 303-317 | de Nivelle, Hans
[Meng, Jia] | [Furbach, Ulrich]
[Shankar, Natarajan] | 2006 | Proceedings Article |
| Geometrisches Schließen mit SPASS
Universität des Saarlandes | Brinker, Christof | | 2000 | Thesis - Masters thesis |
| Gleichheit und Constraints in der Logikprogrammierung
Universität des Saarlandes | Bockmayr, Alexander | | 1996 | Thesis - Habilitation thesis |
| Global Consistency in CLP($\cal PB$)
In: Proceedings of the 10th Workshop Logic Programming WLP'94, 4 | Barth, Peter
Bockmayr, Alexander | | 1994 | Proceedings Article |
| Goals, desires, utilities and preferences
In: Proceedings of the ECAI-98 Workshop : Decision theory meets artificial intelligence - qualitative and quantitative approaches, 57-64 | Weydert, Emil
van der Torre, Leendert W. N. | [Lang, Jerome] | 1998 | Proceedings Article |
| Gomory-Chvátal Cutting planes and the Elementary Closure of Polyhedra
Universität des Saarlandes | Eisenbrand, Friedrich | | 2000 | Thesis - PhD thesis |
| Graph reducibility of term rewriting systems
In: Proceedings of Mathematical Foundations of Computer Science, 371-381 | Krishna Rao, M. R. K. | [Wiedermann, Jirí]
[Hájek, Petr] | 1995 | Proceedings Article |
| Guaranteed Termination in the Verification of LTL Properties of Non-linear Robust Discrete Time Hybrid Systems
In: Automated technology for verification and analysis : Third International Symposium, ATVA 2005, 99-113 | [Damm, Werner]
Pinto, Guilherme
Ratschan, Stefan | [Peled, Doron A]
[Tsay, Yih-Kuen] | 2005 | Proceedings Article |
| 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 |