BibTeX cite key | Author/Editor | Year | | Title | Type |
Fehrer93a | Fehrer, Detlef | 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 |
Fehrer94a | Fehrer, Detlef | 1994 | | A Unifying Logical Framework for Reason Maintenance (Deliverable DI.1.2-3P)
In: Medlar II Report PPR2, 47-55 | Proceedings Article |
FehrerDiss1995 | Fehrer, Detlef | 1995 | | A unifying logical framework for reason maintenance
Universität des Saarlandes | Thesis - PhD thesis |
Fehreretal94a | Fehrer, Detlef
Hustadt, Ullrich
Jaeger, Manfred
Nonnengart, Andreas
Ohlbach, Hans Jürgen
Schmidt, Renate A.
Weidenbach, Christoph
Weydert, Emil | 1994 | | Description Logics for Natural Language Processing
In: International Workshop on Description Logics '94, 80-84 | Proceedings Article |
firozabadhi:ecai98 | Firozabadhi, Babak Sadighi
van der Torre, Leendert W. N. | 1998 | | Towards a formal analysis of control systems
In: Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98), 317-318 | Proceedings Article |
fischm00a | Rahman, Shahid
Rückert, Helge
Fischmann, Matthias | 1997 | | Dialogues and Ontology, the Dialogical Approach to Free Logic
In: Logique et Analyse [160], 357-374 | Journal Article |
Fischmann-Diplom99 | Fischmann, Matthias | 1999 | | On Applications of Decidable Object-Oriented Type Theory
Universität des Saarlandes | Thesis - Masters thesis |
FrankBasin-98 | Frank, Ian
Basin, David A. | 1998 | | Search in Games with Incomplete Information: A Case Study Using Bridge Card Play
In: Artificial Intelligence [100], 87-123 | Journal Article |
FrankBasinBundy92a | Frank, Ian
Basin, David A.
Bundy, Alan | 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 |
Freiheit2005 | Freiheit, Jörn
Luuk, Marc
Münch, Susanne
Sijanski, Grozdana
Zangl, Fabrice | 2006 | | Lexecute: Visualisation and representation of legal procedures
In: Digital Evidence Journal [3], 17-27 | Journal Article |
Freiheit2005a | Yuan, Cong
Billington, Jonathan
Freiheit, Jörn | 2005 | | An Abstract Model of Routing in Mobile Ad Hoc Networks
In: Sixth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, 137-156 | Proceedings Article |
Freiheit2005b | Freiheit, Jörn
Münch, Susanne
Schöttle, Hendrik
Sijanski, Grozdana
Zangl, Fabrice | 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 |
Freiheit2005c | Lilith, Nimrod
Billington, Jonathan
Freiheit, Jörn | 2006 | | Approximate Closed-Form Aggregation of a Fork-Join Structure in Generalised Stochastic Petri Nets
In: 1st International Conference on Performance Evaluation Methodologies and Tools, ??-?? | Proceedings Article |
Freiheit2005d | Simon, Carlo
Freiheit, Jörn
Olbrich, Sebastian | 2006 | | Using BPEL processes defined by Event-driven Process Chains
In: 5. GI-Workshop "EPK 2006 - Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten", 121-135 | Proceedings Article |
Freiheit2005e | Freiheit, Jörn
Zangl, Fabrice | 2006 | | Model-based user-interface management for public services
In: 6th European Conference on e-Government, 141-151 | Proceedings Article |
Freiheit2005EPK | Cuntz, Nicolas
Freiheit, Jörn
Kindler, Ekkart | 2005 | | On the semantics of EPCs: Faster calculation for EPCs with small state spaces
In: EPK 2005 : Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten, 7-23 | Proceedings Article |
Friedrich-Diplom98 | Friedrich, Stefan | 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:etal:OptimizingXPathDL:INAP:2004 | Baumgartner, Peter
Furbach, Ulrich
Gross-Hardt, Margret
Kleemann, Thomas | 2005 | | Optimizing the Evaluation of XPath Using Description Logics
In: Applications of Declarative Programming and Knowledge Management: 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, 1-15 | Proceedings Article |
GabbayOhlbach92b | Gabbay, Dov M.
Ohlbach, Hans Jürgen | 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 |
GabbayOhlbach92c | Gabbay, Dov M.
Ohlbach, Hans Jürgen | 1992 | | Quantifier Elimination in Second-Order Predicate Logic
In: South African Computer Journal [7], 35-43 | Journal Article |
GabbayOhlbach92cKR | Gabbay, Dov M.
Ohlbach, Hans Jürgen | 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 |
Gaede95-Mastersthesis | Gaede, Bernd | 1995 | | Superposition Extended with Sorts
Universität Kaiserslautern | Thesis - Masters thesis |
GaillourdetHillenbrandLoechner2003 | Gaillourdet, Jean-Marie
Hillenbrand, Thomas
Löchner, Bernd
Spies, Hendrik | 2003 | | The New WALDMEISTER Loop at Work
In: Automated deduction, CADE-19 : 19th International Conference on Automated Deduction, 317-321 | Proceedings Article |
Gamkrelidze-Thesis-2001 | Gamkrelidze, Alexander | 2001 | | Einige Optimierungsmethoden hierarchischer Schaltkreise
Universität des Saarlandes | Thesis - PhD thesis |
GanHNOT-CAV-04 | Ganzinger, Harald
Hagen, George
Nieuwenhuis, Robert
Oliveras, Albert
Tinelli, Cesare | 2004 | | DPLL(T): Fast Decision Procedures
In: Computer aided verification : 16th International Conference, CAV 2004, 175-188 | Proceedings Article |
GanKor:ThInst:2006 | Ganzinger, Harald
Korovin, Konstantin | 2006 | | Theory Instantiation
In: 13th Conference on Logic for Programming Artificial Intelligence Reasoning (LPAR'06), 497-511 | Proceedings Article |
Ganzinger-01-lics | Ganzinger, Harald | 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-02-cade | Ganzinger, Harald | 2002 | | Shostak Light
In: Automated deduction, CADE-18 : 18th International Conference on Automated Deduction, 332-346 | Proceedings Article |
Ganzinger-91-jsc | Ganzinger, Harald | 1991 | | A completion procedure for conditional equations
In: Journal of Symbolic Computation [11], 51-81 | Journal Article |
Ganzinger-91-tcs | Ganzinger, Harald | 1991 | | Order-Sorted Completion: The Many-Sorted Way
In: Theoretical Computer Science [89], 3-32 | Journal Article |