| Author/Editor [Non Institute] | Year | | Title | Type |
|---|
Fehrer
(Ed: Clarke, Kruse, Moral)
[-] | 1993 | | A Unifying Framework for Reason Maintenance
In: Symbolic and Quantitative Approaches to Reasoning and Uncertainty: Proceedings European Conference ECSQARU '93, 113-120 | Proceedings Article |
Fehrer
(Ed: Cunningham, Pitt)
[-] | 1994 | | A Unifying Logical Framework for Reason Maintenance (Deliverable DI.1.2-3P)
In: Medlar II Report PPR2, 47-55 | Proceedings Article |
Fehrer
[-] | 1995 | | A unifying logical framework for reason maintenance
Universität des Saarlandes | Thesis - PhD thesis |
Fehrer, Hustadt, Jaeger, Nonnengart, Ohlbach, Schmidt, Weidenbach, Weydert
(Ed: Baader, Lenzerini, Nutt, Patel-Schneider)
[Baader, Lenzerini, Nutt, Patel-Schneider] | 1994 | | Description Logics for Natural Language Processing
In: International Workshop on Description Logics '94, 80-84 | Proceedings Article |
Fermüller, Leitsch, Hustadt, Tammet
(Ed: Robinson, Voronkov)
[Robinson, Voronkov, Fermüller, Leitsch, Tammet] | 2001 | | Resolution Decision Procedures
In: Handbook of Automated Reasoning, 1793-1849 | Part of a Book |
Firozabadhi, van der Torre
(Ed: Prade)
[Firozabadhi] | 1998 | | Towards a formal analysis of control systems
In: Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98), 317-318 | Proceedings Article |
Fischmann
[-] | 1999 | | On Applications of Decidable Object-Oriented Type Theory
Universität des Saarlandes | Thesis - Masters thesis |
Frank, Basin
[-] | 1998 | | Search in Games with Incomplete Information: A Case Study Using Bridge Card Play
In: Artificial Intelligence [100], 87-123 | Journal Article |
Frank, Basin
[-] | 1996 | | Search in Games with Incomplete Information: A Case Study Using Bridge Card Play | Report |
Frank, Basin, Bundy
(Ed: Neuman, Horn)
[-] | 1992 | | Finesse: An Adaptation of Proof-Planning to Declarer Play in Bridge
In: Proceedings of the 10th European Conference on Artificial Intelligence (ECAI-92), 72-76 | Proceedings Article |
Freiheit, Luuk, Münch, Sijanski, Zangl
[-] | 2006 | | Lexecute: Visualisation and representation of legal procedures
In: Digital Evidence Journal [3], 17-27 | Journal Article |
Freiheit, Münch, Schöttle, Sijanski, Zangl
(Ed: Meersman, Tari, Herrero, Méndez, Cavedon, Martin, Hinze, Buchanan, Pérez, Robles, Humble, Albani, Dietz, Panetto, Scannapieco, Halpin, Spyns, Zaha, Zimány, Stefanakis, Dillon, Feng, Jarrar, Lehmann, de Moor, Duval, Aroyo)
[-] | 2005 |  | Enhanced Workflow Models as a Tool for Judicial Practitioners
In: On the move to meaningful internet systems 2005: OTM 2005 Workshops : OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, GADA, MIOS+INTEROP, ORM, PhDS, SeBGIS, SWWS, and WOSE 2005, 26-27 | Proceedings Article |
Freiheit, Zangl
(Ed: Remenyi)
[-] | 2006 | | Model-based user-interface management for public services
In: 6th European Conference on e-Government, 141-151 | Proceedings Article |
Friedrich
[-] | 1998 | | Integration of a Decision Procedure for Second-Order Monadic Logic in a Higher-Order Logic Theorem Proving Environment
Universität des Saarlandes | Thesis - Masters thesis |
Furbach, Ganzinger, Hasegawa, Kapur (ed.)
(Ed: Furbach, Ganzinger, Hasegawa, Kapur)
[-] | 2000 | | Deduction | Proceedings |
Gabbay, Kruse, Nonnengart, Ohlbach (ed.)
(Ed: Gabbay, Kruse, Nonnengart, Ohlbach)
[-] | 1997 | | Qualitative and Quantitative Practical Reasoning | Book |
Gabbay, Ohlbach
(Ed: Broda)
[-] | 1992 | | From a Hilbert Calculus to its Model Theoretic Semantics
In: Proc.~4th Annual UK Conference on Logic Programming (APULK '92), 218-252 | Proceedings Article |
Gabbay, Ohlbach
(Ed: Nebel, Rich, Swartout)
[-] | 1992 | | Quantifier Elimination in Second-Order Predicate Logic
In: Principles of Knowledge Representation and Reasoning (KR92),, 425-435
In: South African Computer Journal [7], 425-435 | Proceedings Article |
Gabbay, Ohlbach
[-] | 1992 | | Quantifier Elimination in Second-Order Predicate Logic
In: South African Computer Journal [7], 35-43 | Journal Article |
Gabbay, Ohlbach (ed.)
(Ed: Gabbay, Ohlbach)
[-] | 1994 | | Temporal Logic: Proceedings of the 1st International Conference on Temporal Logic | Proceedings |
Gaede
[-] | 1995 | | Superposition Extended with Sorts
Universität Kaiserslautern | Thesis - Masters thesis |
Gaillourdet, Hillenbrand, Löchner, Spies
(Ed: Baader)
[Baader] | 2003 | | The New WALDMEISTER Loop at Work
In: Automated deduction, CADE-19 : 19th International Conference on Automated Deduction, 317-321 | Proceedings Article |
Gamkrelidze
[-] | 2001 | | Einige Optimierungsmethoden hierarchischer Schaltkreise
Universität des Saarlandes | Thesis - PhD thesis |
Ganzinger
(Ed: Danvy, Filinski)
[Danvy, Filinski] | 2001 | | Bottom-Up Deduction with Deletion and Priorities
In: Programs as Data Objects (PADO-01) : Second Symposium PADO 2001, 276-277 | Proceedings Article |
Ganzinger
(Ed: Meyer auf der Heide, Monien)
[-] | 1996 | | Saturation-based theorem proving (abstract)
In: Automata, Languages and Programming: International Colloquium (ICALP-23), 1-3 | Proceedings Article |
Ganzinger
(Ed: Voronkov)
[-] | 2002 | | Shostak Light
In: Automated deduction, CADE-18 : 18th International Conference on Automated Deduction, 332-346 | Proceedings Article |
Ganzinger
(Ed: Williams)
[-] | 2001 | | Relating Semantic and Proof-Theoretic Concepts for Polynomial Time Decidability of Uniform Word Problems
In: Proceedings of the 16th IEEE Symposium on Logic in Computer Science (LICS-01), 81-90 | Proceedings Article |
Ganzinger
[-] | 2001 | | Efficient deductive methods for program analysis
In: ACM SIGPLAN Notices [36], 102-103 | Journal Article |
Ganzinger
[-] | 1998 | | Preface
In: Theoretical Computer Science [208], 1 | Journal Article |
Ganzinger
[-] | 1994 | | The Saturate System | Unpublished/Draft |
