BibTeX cite key | Author/Editor | Year | | Title | Type |
AvenhausHillenbrandLoechner2003 | Avenhaus, Jürgen
Hillenbrand, Thomas
Löchner, Bernd | 2003 | | On Using Ground Joinable Equations in Equational Theorem Proving
In: Journal of Symbolic Computation [36], 217-233 | Journal Article |
Baumgartner:Burchardt:LPFrameNet:JELIA:2004 | Baumgartner, Peter
Burchardt, Aljoscha | 2004 | | Logic Programming Infrastructure for Inferences on FrameNet
In: Logics in artificial intelligence : 9th European Conference, JELIA 2004, 591-603 | Proceedings Article |
Baumgartner:etal:Darwin:ESFOR:2004 | Baumgartner, Peter
Fuchs, Alexander
Tinelli, Cesare | 2004 | | Darwin: A Theorem Prover for the Model Evolution Calculus
In: Proceedings of the 1st Workshop on Empirically Successful First Order Reasoning (ESFOR'04), 1-24 | Proceedings Article |
Baumgartner:etal:in2math:swtechnik:2004 | Baumgartner, Peter
Grabowski, Barbara
Oevel, Walter
Melis, Erica | 2004 | | In2Math - Interaktive Mathematik- und Informatikgrundausbildung
In: Softwaretechnik-Trends [24], 36-45 | Journal Article |
Baumgartner:EtAl:LivingBook:JAR:2004 | Baumgartner, Peter
Furbach, Ulrich
Gross-Hardt, Margret
Sinner, Alex | 2004 | | Living Book -- Deduction, Slicing, and Interaction
In: Journal of Automated Reasoning [32], 259-286 | Journal Article |
Baumgartner:etal:ModelBasedSchemaReasoning:KI:2004 | Baumgartner, Peter
Furbach, Ulrich
Gross-Hardt, Margret
Kleemann, Thomas | 2004 | | Model Based Deduction for Database Schema Reasoning
In: KI 2004: Advances in Artificial Intelligence: 27th Annual German Conference on AI, KI 2004, 168-182 | Proceedings Article |
Baumgartner:Mediratta:ASPPlanningBidirectional:KBCS:2004 | Baumgartner, Peter
Mediratta, Anupam | 2004 | | Improving Stable Models Based Planning by Bidirectional Search
In: Proceedings of the 5th International Conference on Knowledge Based Computer Systems (KBCS 2004), 404-413 | Proceedings Article |
BP-Fossacs03 | Blanchet, Bruno
Podelski, Andreas | 2003 | | Verification of Cryptographic Protocols: Tagging Enforces Termination
In: Foundations of software science and computation structures : 6th International Conference, FOSSACS 2003, 136-152 | Proceedings Article |
BPR-STTT03 | Podelski, Andreas
Ball, Tom
Rajamani, Sriram K. | 2003 | | Boolean and Cartesian Abstraction for Model Checking C Programs
In: International Journal on Software Tools for Technology Transfer (STTT) [5], 1-15 | Journal Article |
BrafmanHoffmann2004 | Brafman, Ronen
Hoffmann, Jörg | 2004 | | Conformant Planning via Heuristic Forward Search: A New Approach
In: Proceedings of the Fourteenth International Conference on Automated Planning and Scheduling (ICAPS 2004), 355-364 | Proceedings Article |
CharatonikDGMT2003 | Charatonik, Witold
Dal Zilio, Silvano
Gordon, Andrew Donald
Mukhopadhyay, Supratik
Talbot, Jean-Marc | 2003 | | Model checking mobile ambients
In: Theoretical Computer Science [308], 277-331 | Journal Article |
deNivelle2003a | de Nivelle, Hans
de Rijke, Maarten | 2003 | | Deciding the Guarded Fragments by Resolution
In: Journal of Symbolic Computation [35], 21-58 | Journal Article |
deNivelle2003b | de Nivelle, Hans | 2003 | | Translation of Resolution Proofs into Short First-Order Proofs without Choice Axioms
In: Automated deduction, CADE-19 : 19th International Conference on Automated Deduction, 365-379 | Proceedings Article |
deNivelle2003c | de Nivelle, Hans | 2003 | | Implementing the clausal normal form transformation with proof generation
In: Fourth Workshop on the Implementation of Logics, 69-83 | Proceedings Article |
deNivelleDemri2003a | de Nivelle, Hans
Demri, Stéphane | 2003 | | Deciding regular grammar logics with converse through first-order logic | Report |
deNivelleDemri2003c | de Nivelle, Hans
Demri, Stéphane | 2003 | | Deciding Modal Logics through Relational Translations into GF2
In: Proceedings of the 3rd Methods for Modalities Workshop, 15-30 | Proceedings Article |
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 |
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 |
Ganzinger-SofronieStokkermans-Waldmann-ijcar-2004 | Ganzinger, Harald
Sofronie-Stokkermans, Viorica
Waldmann, Uwe | 2004 | | Modular Proof Systems for Partial Functions with Weak Equality
In: Automated reasoning : Second International Joint Conference, IJCAR 2004, 168-182 | Proceedings Article |
GanzingerHillenbrandWaldmann2003 | Ganzinger, Harald
Hillenbrand, Thomas
Waldmann, Uwe | 2003 | | Superposition modulo a Shostak Theory
In: Automated Deduction, CADE-19 : 19th International Conference on Automated Deduction, 182-196 | Proceedings Article |
GanzingerKorovin-03-lics | Ganzinger, Harald
Korovin, Konstantin | 2003 | | New Directions in Instantiation-Based Theorem Proving
In: 18th Annual IEEE Symposium on Logic in Computer Science (LICS-03), 55-64 | Proceedings Article |
GanzingerNieuwenhuisNivela-03-jar | Ganzinger, Harald
Nieuwenhuis, Robert
Nivela, Pilar | 2004 | | Fast Term Indexing with Coded Context Trees
In: Journal of Automated Reasoning [32], 103-120 | Journal Article |
GanzingerStuber-2003-cade | Ganzinger, Harald
Stuber, Jürgen | 2003 | | Superposition with Equivalence Reasoning and Delayed Clause Normal Form Transformation
In: Automated Deduction, CADE-19 : 19th International Conference on Automated Deduction, 335-349 | Proceedings Article |
GanzKor:InstEq:2004 | Ganzinger, Harald
Korovin, Konstantin | 2004 | | Integration of equational reasoning into instantiation-based theorem proving
In: Computer science logic : 18th International Workshop CSL 2004, 13th Annual Conference of the EACSL, 71-84 | Proceedings Article |
GorankoHustadtSchmidtVakarelov04a | Goranko, Valentin
Hustadt, Ullrich
Schmidt, Renate A.
Vakarelov, Dimiter | 2004 | | SCAN is complete for all Sahlqvist formulae
In: Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, 149-162 | Proceedings Article |
Hillenbrand2003 | Hillenbrand, Thomas | 2003 | | Citius altius fortius: Lessons learned from the Theorem Prover WALDMEISTER
In: Proceedings of the 4th International Workshop on First Order Theorem Proving, FTP'03, 1-13 | Electronic Proceedings Article |
Hillenbrand2004 | Hillenbrand, Thomas | 2004 | | A Superposition View on Nelson-Oppen
In: Contributions to the Doctoral Programme of the 2nd International Joint Conference on Automated Reasoning, 16-20 | Electronic Proceedings Article |
Hoffmann2003a | Hoffmann, Jörg | 2003 | | Utilizing Problem Structure in Planning: A Local Search Approach | Book |
Hoffmann2003b | Hoffmann, Jörg | 2003 | | The Metric-FF Planning System: Translating ``Ignoring Delete Lists'' To Numeric State Variables
In: Journal of Artificial Intelligence Research [20], 51 | Journal Article |
HoffmannEtal2004 | Hoffmann, Jörg
Porteous, Julie
Sebastia, Laura | 2004 | | Ordered Landmarks in Planning
In: Journal of Artificial Intelligence Research [22], 215-278 | Journal Article |