Author/Editor [Non Institute] | Year | | Title | Type |
Eisenbrand
[-] | 2001 | | Short vectors of planar integral lattices via continued fractions
In: Information Processing Letters [79], 121-126 | Journal Article |
Eisenbrand
[-] | 2000 | | Gomory-Chvátal Cutting planes and the Elementary Closure of Polyhedra
Universität des Saarlandes | Thesis - PhD thesis |
Eisenbrand
[-] | 1999 | | On the Membership Problem for the Elementary Closure of a Polyhedron
In: Combinatorica [19], 297-300 | Journal Article |
Eisenbrand, Bockmayr
(Ed: Kirchner, Ringeissen)
[Bockmayr] | 2000 | | Combining logic and optimization in cutting plane theory
In: Proceedings of the Workshop on Frontiers of Combining Systems (FROCOS-2000), 1-17 | Proceedings Article |
Eisenbrand, Rinaldi, Ventura
[-] | 2002 | | 0/1 Optimization and 0/1 Primal Separation are Equivalent
In: Proceedings of the 13th Annual ACM SIAM Symposium on Discrete Algorithms, 920-926 | Proceedings Article |
Eisenbrand, Rote
(Ed: Gerards, Aardal)
[Rote] | 2001 | | Fast 2-variable integer programming
In: Proceedings of the 8th Conference on Integer and Combinatorial Optimization (IPCO-01), 78-89 | Proceedings Article |
Eisenbrand, Rote
(Ed: Silverman)
[Rote] | 2001 | | Fast reduction of ternary quadratic forms
In: Proceedings of the 1st Conference on Lattices and Cryptography (CaLC-01), 99-111 | Proceedings Article |
Eisenbrand, Schulz
(Ed: Cornuéjols, Burkard, Woeginger)
[Schulz, Cornuéjols, Burkard, Woeginger] | 1999 | | Bounds on the Chvátal Rank of Polytopes in the 0/1-Cube
In: Proceedings of the 7th Conference on Integer Programming and Combinatorial Optimization (IPCO-99), 137-150 | Proceedings Article |
Eisinger, Nonnengart, Präcklein
(Ed: Bläsius, Bürckert)
[Eisinger, Bläsius, Bürckert, Präcklein] | 1992 | | Termersetzungssysteme
In: Deduktionssysteme -- Automatisierung des logischen Denkens, 126-149 | Part of a Book |
Eisinger, Ohlbach
(Ed: Gabbay, Hogger, Robinson)
[-] | 1993 | | Deduction Systems Based on Resolution
In: Handbook of Logic in Artificial Intelligence and Logic Programming, 184-271 | Proceedings Article |
Eisinger, Ohlbach, Präcklein
[-] | 1991 | | Reduction Rules for Resolution Based Systems
In: Artificial Intelligence [50], 141-181 | Journal Article |
Engel
[-] | 1996 | | Quantifier Elimination in Second-Order Predicate Logic
Universität des Saarlandes | Thesis - Masters thesis |
Esparza, Podelski
[Esparza] | 2000 | | Efficient Algorithms for Pre$^\star$ and Post$^\star$ on Interprocedural Parallel Flow Graphs
In: Proceedings of the 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL-00), 1-11 | Proceedings Article |
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 |