| # |  | Year | Author(s) [non member] | | Title | Type | |
|---|
| 1 |
 | Ianni, Giovambattista (ed.) |
| |
| | 2002 | [Schmidt, Renate A.]
[Tishkovsky, Dmitry] | | Multi-Agent Logic of Dynamic Belief and Knowledge
In: Proceedings of the 8th European Conference on Logics in Artificial Intelligence (JELIA), 38-49 | Proceedings Article | |
| 1 |
| Ida, Tetsuo (ed.) |
| |
| | 2006 | Ratschan, Stefan
She, Zhikun | | Constraints for Continuous Reachability in the Verification of Hybrid Systems
In: Artificial Intelligence and Symbolic Computation, 8th International Conference, AISC 2006, 196-210 | Proceedings Article | |
| 1 |
| Ito, Takayasu (ed.) |
| |
| | 1997 | Matthews, Seán | | Extending a logical framework with a modal connective for validity
In: Proceedings of the 3rd Symposium on Theoretical Aspects of Computer Software (TACS-97), 491-514 | Proceedings Article | |
| 1 |
| Ito, T. (ed.) |
| |
| | 1991 | Basin, David A.
Howe, D. | | Some Normalization Properties of Martin-Löf's Type Theory, and Applications
In: International Conference on Theoretical Aspects of Computer Software (TACS '91), 475-494 | Proceedings Article | |
| 1 |
| Iturrioz, Luisa |
| |
| | 2000 | [Iturrioz, Luisa]
Sofronie-Stokkermans, Viorica | | SHn-algebras (Symmetric Heyting algebras of order n)
In: COST Action 15 (Many-Valued Logics for Computer Science Applications) ATLAS of Many-Valued Structures, 1-11 | Part of a Book | |
| 2 |
| Iturrioz, Luisa (ed.) |
| |
| | 2000 | [Iturrioz, Luisa]
Sofronie-Stokkermans, Viorica | | SHn-algebras (Symmetric Heyting algebras of order n)
In: COST Action 15 (Many-Valued Logics for Computer Science Applications) ATLAS of Many-Valued Structures, 1-11 | Part of a Book | |
| | 2000 | Sofronie-Stokkermans, Viorica | | Some properties of Kleene algebras
In: COST Action 15 (Many-Valued Logics for Computer Science Applications) ATLAS of Many-Valued Structures, 1-7 | Part of a Book | |
| 4 |
| |
| | 2007 | Jacobs, Swen
Sofronie-Stokkermans, Viorica | | Applications of hierarchical reasoning in the verification of complex systems
In: Electronic Notes in Theoretical Computer Science [??], | Electronic Journal Article | |
| | 2006 | Jacobs, Swen
Sofronie-Stokkermans, Viorica |  | Applications of hierarchical reasoning in the verification of complex systems
In: PDPAR'06: Pragmatical Aspects of Decision Procedures in Automated Reasoning, 15-26 | Electronic Proceedings Article | |
| | 2005 | Jacobs, Swen
Waldmann, Uwe | | Comparing Instance Generation Methods for Automated Reasoning
In: Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX 2005, 153-168 | Proceedings Article | |
| | 2004 | Jacobs, Swen | | Instance Generation Methods for Automated Reasoning
Universität des Saarlandes | Thesis - Masters thesis | |
| 4 |
| Jacquemard, Florent |
| |
| | 2000 | Ganzinger, Harald
[Jacquemard, Florent]
[Veanes, Margus] | | Rigid Reachability: The Non-Symmetric Form of Rigid E-unification
In: International Journal of Foundations of Computer Science [11], 3-27 | Journal Article | |
| | 1999 | Cortier, V.
Ganzinger, Harald
Jacquemard, Florent
Veanes, Margus | | Decidable fragments of simultaneous rigid reachability
In: Proceedings of the 26th International Colloquium on Automata, Languages and Programming (ICALP-99), 250-260 | Proceedings Article | |
| | 1998 | Ganzinger, Harald
Jacquemard, Florent
Veanes, Margus | | Rigid Reachability
In: Proceedings of the 4th Asian Computing Science Conference on Advances in Computing Science (ASIAN-98), 4-21 | Proceedings Article | |
| | 1998 | [Jacquemard, Florent]
Meyer, Christoph
Weidenbach, Christoph | | Unification in Extensions of Shallow Equational Theories
In: Proceedings of the 9th International Conference on Rewriting Techniques and Applications (RTA-98), 76-90 | Proceedings Article | |
| 23 |
| |
| | 2003 | Jaeger, Manfred | | A Representation Theorem and Applications
In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty :
7th European Conference, ECSQARU 2003, 50-61 | Proceedings Article | |
| | 2003 | Jaeger, Manfred | | Probabilistic Classifiers and the Concepts they Recognize
In: Proceedings of the Twentieth International Conference on Machine Learning (ICML-03), 266-273 | Proceedings Article | |
| | 2002 | [de Raedt, Luc]
Jaeger, Manfred
[Lee, Sau Dan]
[Mannila, Heikki] | | A Theory of Inductive Query Answering
In: Proceedings of the 2002 IEEE International Conference on Data Mining (ICDM'02), 123-130 | Proceedings Article | |
| | 2002 | Jaeger, Manfred | | Probababilistic Decision Graphs - Combining Verification and AI Techniques for Probabilistic Inference
In: Proceedings of the First European Workshop on Probabilistic Graphical Models, 81-88 | Proceedings Article | |
| | 2002 | Jaeger, Manfred | | Probabilistic Decision Graphs
Universität des Saarlandes | Thesis - Habilitation thesis | |
| | 2002 | Jaeger, Manfred | | Relational Bayesian Networks: a Survey
In: Electronic Transactions on Artificial Intelligence [6], | Electronic Journal Article | |
| | 2001 | Jaeger, Manfred | | Automatic Derivation of Probabilistic Inference Rules
In: International Journal of Approximate Reasoning [28], 1-22 | Journal Article | |
| | 2001 | Jaeger, Manfred | | Complex Probabilistic Modeling with Recursive Relational Bayesian Networks
In: Annals of Mathematics and Artificial Intelligence [32], 179-220 | Journal Article | |
| | 2001 | Jaeger, Manfred | | Constraints as Data: a New Perspective on Inferring Probabilities
In: Proceedings of the 17th International Joint Conference on Artificial Intelligence (IJCAI-01), 755-760 | Proceedings Article | |
| | 2000 | Jaeger, Manfred | | On the complexity of inference about probabilistic relational models
In: Artificial Intelligence [117], 297-308 | Journal Article | |
| | 1999 | Jaeger, Manfred | | Fairness, Computable Fairness and Randomness
In: Proceedings of the 2nd International Workshop on Probabilistic Methods in Verification (PROBMIV-99), 57-66 | Proceedings Article | |
| | 1998 | Jaeger, Manfred | | Convergence Results for Relational Bayesian Networks
In: Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science (LICS-98), 44-55 | Proceedings Article | |
| | 1998 | Jaeger, Manfred | | Measure Selection: Notions of Rationality and Representation Independence
In: Proceedings of the 14th Conference on Uncertainty in Artificial Intelligence (UAI-98), 274-281 | Proceedings Article | |
| | 1998 | Jaeger, Manfred | | Reasoning About Infinite Random Structures with Relational Bayesian Networks
In: Proceedings of the 6th International Conference on Principles of Knowledge Representation and Reasoning (KR-98), 570-581 | Proceedings Article | |
| | 1997 | Jaeger, Manfred | | Relational Bayesian Networks
In: Proceedings of the 13th Conference of Uncertainty in Artificial Intelligence (UAI-13), 266-273 | Proceedings Article | |
| | 1996 | Jaeger, Manfred
Mannila, Heikki
Weydert, Emil | | Data Mining as Selective Theory Extraction in Probabilistic Logic
In: Proceedings of the 1996 SIGMOD Workshop on Research Issues in Data Mining and Knowledge Discovery, - | Proceedings Article | |
| | 1996 | Jaeger, Manfred | | Representation Independence of Nonmonotonic Inference Relations
In: Principles of Knowledge Representation and Reasoning, Proceedings of the 5th International Conference (KR-96), 461-472 | Proceedings Article | |
| | 1995 | Jaeger, Manfred | | Default Reasoning about Probabilities
Universität des Saarlandes | Thesis - PhD thesis | |
| | 1995 | Jaeger, Manfred | | Minimum Cross-Entropy Reasoning: A Statistical Justification
In: Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI-95), 1847-1852 | Proceedings Article | |
| | 1994 | Jaeger, Manfred | | A Logic for Default Reasoning About Probabilities
In: Proceedings of the 10th Conference on Uncertainty in Artificial Intelligence (UAI'94), 352-359 | Proceedings Article | |
| | 1994 | Fehrer, Detlef
Hustadt, Ullrich
Jaeger, Manfred
Nonnengart, Andreas
Ohlbach, Hans Jürgen
Schmidt, Renate A.
Weidenbach, Christoph
Weydert, Emil | | Description Logics for Natural Language Processing
In: International Workshop on Description Logics '94, 80-84 | Proceedings Article | |
| | 1994 | Jaeger, Manfred | | Probabilistic Reasoning in Terminological Logics
In: Principles of Knowledge Representation an Reasoning: Proceedings of the 4th International Conference (KR94), 305-316 | Proceedings Article | |
| | 1993 | Jaeger, Manfred | | Circumscription: Completeness Reviewed
In: Artificial Intelligence [60], 293-301 | Journal Article | |
| 1 |
| |
| | 1996 | Vorobyov, Sergei | | On the bounded theories of finite trees
In: Second Asian Computing Science Conference, ASIAN'96, 152-161 | Proceedings Article | |
| 1 |
| |
| | 1996 | Hopf, Jörn
Rau, Rainer | | Decision Making in an Economy Exploiting Fuzzy Rules Obtained from a Genetic Algorithm
In: Soft Computing with Industrial Applications, 331-336 | Proceedings Article | |
| 1 |
| |
| | 2002 | Charatonik, Witold
[Amadio, Roberto] | | On Name Generation and Set-Based Analysis in the Dolev-Yao Model
In: CONCUR 2002 - Concurrency Theory. 13th International Conference, 499-514 | Proceedings Article | |
| 1 |
| |
| | 1995 | Krishna Rao, M. R. K. | | Incremental Learning of Logic Programs
In: Proceedings of International Workshop on Algorithmic Learning Theory, 95-109 | Proceedings Article | |
| 1 |
| |
| | 2005 | Freiheit, Jörn
[Münch, Susanne]
[Schöttle, Hendrik]
[Sijanski, Grozdana]
[Zangl, Fabrice] | | 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 | |
| 1 |
| |
| | 2004 | [Jaulin, Luc]
Ratschan, Stefan
[Hardouin, Laurent] | | Set Computation for Nonlinear Control
In: Reliable Computing [10], 1-26 | Journal Article | |
| 2 |
| |
| | 2005 | [Delahaye, David]
[Jaume, Mathieu]
Prevosto, Virgile | | Coq, un outil pour l'enseignement
In: Technique et Science Informatiques [24], 1139-1160 | Journal Article | |
| | 2004 | [Dubois, Catherine]
[Jaume, Mathieu]
[Pons, Olivier]
Prevosto, Virgile | | L'atelier FOCAL
In: Actes du 6ème Atelier sur les Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2004), 321-324 | Proceedings Article | |
| 1 |
| Jensen, Kurt |
| |
| | 2006 | [Jensen, Kurt]
Podelski, Andreas | | Tools and algorithms for the construction and analysis of systems
In: International Journal on Software Tools for Technology Transfer [8], 177-179 | Journal Article | |
| 1 |
| Jensen, Kurt (ed.) |
| |
| | 2004 | | | Tools and algorithms for the construction and analysis of systems : 10th International Conference, TACAS 2004 ; held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004 | Proceedings | |
| 1 |
| Jeusfeld, Manfred A. (ed.) |
| |
| | 1994 | Hustadt, Ullrich | | Do we need the closed-world assumption in knowledge representation?
In: Working Notes of the KI'94 Workshop: Reasoning about Structured Objects: Knowledge Representation meets Databases (KRDB'94), 24-26 | Proceedings Article | |
| 1 |
| Johann, Patricia |
| |
| | 1994 | [Johann, Patricia]
Socher-Ambrosius, Rolf | | Solving Simplificating Ordering Constraints
In: Proceedings of the 1st International Conference on Constraints in Computational Logics (CCL'94), 352-367 | Proceedings Article | |
| 1 |
| John Bell (ed.) |
| |
| | 1999 | Weydert, Emil
[van der Torre, Leendert W. N.] | | Risk parameters for utilitarian desires
In: Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI-99), Workshop on Practial Reasoning and Rationality, 48-54 | Proceedings Article | |
| 1 |
| Jones, Robert B. (ed.) |
| |
| | 2006 | Cook, Byron
Podelski, Andreas
Rybalchenko, Andrey | | Terminator: Beyond Safety
In: Computer aided verification : 18th International Conference, CAV 2006, 415-418 | Proceedings Article | |
| 1 |
| Josephs, Berthold |
| |
| | 1993 | Hanus, Michael
[Josephs, Berthold] | | A Debugging Model for Functional Logic Programs
In: Proceedings of the 5th International Symposium on Programming Language Implementation and Logic Programming (PLILP-93), 28-43 | Proceedings Article | |
| 3 |
| Jouannaud, Jean-Pierre (ed.) |
| |
| | 1994 | Bachmair, Leo
Ganzinger, Harald | | Buchberger's algorithm: a constraint-based completion procedure
In: Proceedings of the 1st International Conference on Constraints in Computational Logics (CCL'94), 285-301 | Proceedings Article | |
| | 1994 | Barth, Peter | | Simplifying Clausal Satisfiability Problems
In: Proceedings of the 1st International Conference on Constraints in Computational Logics (CCL'94), 19-33 | Proceedings Article | |
| | 1994 | [Johann, Patricia]
Socher-Ambrosius, Rolf | | Solving Simplificating Ordering Constraints
In: Proceedings of the 1st International Conference on Constraints in Computational Logics (CCL'94), 352-367 | Proceedings Article | |
| 1 |
| Juilland, Jacques (ed.) |
| |
| | 2004 | [Dubois, Catherine]
[Jaume, Mathieu]
[Pons, Olivier]
Prevosto, Virgile | | L'atelier FOCAL
In: Actes du 6ème Atelier sur les Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2004), 321-324 | Proceedings Article | |
| 1 |
| Jung, Georg |
| |
| | 2001 | Jung, Georg | | Ein Frontend für die Anwendung von Model Checking auf die Analyse von Array Bounds für C Programme
Universität des Saarlandes | Thesis - Masters thesis | |
| 1 |
| Kaelbling, Leslie (ed.) |
| |
| | 2005 | Hoffmann, Jörg | | A Covering Problem for Hypercubes
In: Proceedings of the 19th International Joint Conference on Artificial Intelligence, 579-580 | Poster | |
| 1 |
| Kakas, A. C. (ed.) |
| |
| | 1993 | Hustadt, Ullrich | | Abductive Disjunctive Logic Programming
In: ICLP '93 Postconference Workshop on Abductive Reasoning, ? | Proceedings Article | |
| 1 |
| Kaoen, Joost-Pieter (ed.) |
| |
| | 2002 | Podelski, Andreas
[Ball, Tom]
[Rajamani, Sriram K.] | | Relative Completeness of Abstraction Refinement for Software Model Checking
In: Tools and algorithms for the construction and analysis of systems : 8th International Conference, TACAS 2002, 158-172 | Proceedings Article | |
| 1 |
| Kaplan, St. (ed.) |
| |
| | 1991 | Bachmair, Leo
Ganzinger, Harald | | Completion of first-order clauses with equality by strict superposition
In: Proceedings of the 2nd International Workshop on Conditional and Typed Rewriting, 162-180 | Proceedings Article | |
| 2 |
| Kapur, Deepak (ed.) |
| |
| | 2000 | | | Deduction | Proceedings | |
| | 1992 | Madden, Peter | | Automated Program Transformation Through Proof Transformation
In: Proceedings of the 11th International Conference on Automated Deduction (CADE-11), 446-460 | Proceedings Article | |
| 2 |
| |
| | 1992 | Bachmair, Leo
Ganzinger, Harald
Lynch, Christopher
Snyder, Wayne | | Basic Paramodulation and Superposition
In: Proceedings of the 11th International Conference on Automated Deduction (CADE-11), 462-476 | Proceedings Article | |
| | 1992 | Basin, David A.
Walsh, Toby | | Difference Matching
In: Proceedings of the11th International Conference on Automated Deduction (CADE-11), 295-309 | Proceedings Article | |
| 1 |
| Karmann, A. (ed.) |
| |
| | 1993 | Bockmayr, Alexander | | Embedding OR Techniques in Constraint Logic Programming
In: Operations Research '92. 17th Symposium on Operations Research, 252-254 | Proceedings Article | |
| 4 |
| Kasper, Thomas |
| |
| | 1998 | Kasper, Thomas | | A Unifying Logical Framework for Integer Linear Programming and Finite Domain Constraint Programming
Universität des Saarlandes | Thesis - PhD thesis | |
| | 1998 | Bockmayr, Alexander
Kasper, Thomas | | Branch-and-Infer: A Unifying Framework for Integer and Finite Domain Constraint Programming
In: INFORMS Journal on Computing [10], 287-300 | Journal Article | |
| | 1996 | Bockmayr, Alexander
Barth, Peter
Kasper, Thomas | | Methods and Tools for Pseudo-Boolean Problems
In: 2. Workshop Boolesche Probleme, 105-109 | Proceedings Article | |
| | 1996 | Bockmayr, Alexander
Kasper, Thomas | | Pseudo-Boolean and Finite Domain Constraint Programming: A Case Study
In: Deklarative Constraint Programmierung, 29-41 | Proceedings Article | |
| 1 |
| |
| | 1991 | Basin, David A.
Kaufmann, Matt | | The Boyer-Moore Prover and Nuprl: An Experimental Comparison
In: Logical Frameworks, 90-119 | Proceedings Article | |
| 1 |
| |
| | 1994 | | | Proceedings of the Workshop on Correctness and Metatheoretic Extensibility of Automated Reasoning Systems | Report | |
| 1 |
| |
| | 2000 | de Nivelle, Hans | | An Overview of Resolution Decision Procedures
In: Formalizing the Dynamics of Information, 115-130 | Proceedings Article | |
| 1 |
| |
| | 2004 | Baumgartner, Peter
[Mediratta, Anupam] | | 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 | |
| 6 |
| |
| | 2006 | Kazakov, Yevgeny | | Saturation-Based Decision Procedures For Extensions Of The Guarded Fragment
Universität des Saarlandes | Thesis - PhD thesis | |
| | 2004 | Kazakov, Yevgeny | | A Polynomial Translation from the Two-Variable Guarded Fragment with Number Restrictions to the Guarded Fragment
In: Logics in artificial intelligence : 9th European Conference, JELIA 2004, 372-384 | Proceedings Article | |
| | 2004 | Kazakov, Yevgeny
de Nivelle, Hans | | A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards
In: Automated reasoning : Second International Joint Conference, IJCAR 2004, 122-136 | Proceedings Article | |
| | 2004 | de Nivelle, Hans
Kazakov, Yevgeny | | Resolution Decision Procedures for the Guarded Fragment with
Transitive Guards | Report | |
| | 2003 | Kazakov, Yevgeny
de Nivelle, Hans | | Subsumption of Concepts in $FL_0$ for (Cyclic) Terminologies with Respect to Descriptive Semantics is PSPACE-complete
In: 2003 International Workshop on Description Logics (DL-03), 56-64 | Proceedings Article | |
| | 2002 | Kazakov, Yevgeny | | Recursive resolution for modal logic
In: Symposium on the Effectiveness of Logic in Computer Science in Honour of Moshe Vardi, 11-15 | Proceedings Article | |
| 3 |
| Keen, Enno |
| |
| | 2002 | Weidenbach, Christoph
Brahm, Uwe
Hillenbrand, Thomas
Keen, Enno
Theobalt, Christian
Topić, Dalibor | | SPASS Version 2.0
In: Automated deduction, CADE-18 : 18th International Conference on Automated Deduction, 275-279 | Proceedings Article | |
| | 1999 | Weidenbach, Christoph
Afshordel, Bijan
Brahm, Uwe
Cohrs, Christian
Engel, Thorsten
Keen, Enno
Theobalt, Christian
Topić, Dalibor | | System Description: SPASS Version 1.0.0
In: Proceedings of the 16th International Conference on Automated Deduction (CADE-16), 314-318 | Proceedings Article | |
| | 1998 | Weidenbach, Christoph
Meyer, Christoph
Cohrs, Christian
Engel, Thorsten
Keen, Enno | | SPASS V0.77
In: Journal of Automated Reasoning [21], 113-113 | Journal Article | |
| 1 |
| Kepser, Stephan (ed.) |
| |
| | 1996 | Weidenbach, Christoph | | Unification in Sort Theories
In: Proceedings of the 10th International Workshop on Unification, UNIF'96, 16-25 | Proceedings Article | |
| 1 |
| Kerber, Manfred |
| |
| | 1996 | [Hähnle, Reiner]
[Kerber, Manfred]
Weidenbach, Christoph | | Common Syntax of the DFG-Schwerpunktprogramm ``Deduktion'' | Report | |
| 1 |
| Kerber, Manfred (ed.) |
| |
| | 2000 | Mukhopadhyay, Supratik
Podelski, Andreas | | Model Checking for Timed Logic Processes
In: Proceedings of the 1st International Conference on Computational Logic, 598-612 | Proceedings Article | |
| 1 |
| Kerner, I. O. (ed.) |
| |
| | 1998 | Weidenbach, Christoph | | Rechnen in sortierter Prädikatenlogik
In: Ausgezeichnete Informatikdissertationen 1997, 183-197 | Part of a Book | |
| 1 |
| Khasidashvili, Zurab (ed.) |
| |
| | 1998 | [Basin, David A.]
Matthews, Seán
[Viganò, Luca] | | A Modular Presentation of Modal Logics in a Logical Framework
In: Proceedings of the 1st Tbilisi Symposium on Language, Logic and Computation: Selected Papers, 293-307 | Proceedings Article | |
| 1 |
| Kijania-Placek, Katarzyna (ed.) |
| |
| | 1999 | Sofronie-Stokkermans, Viorica | | Resolution-based theorem proving for non-classical logics based on distributive lattices with operators
In: Proceedings of the 11th International Congress of Logic, Methodology and Philosophy of Science. Volume of abstracts, 481-481 | Proceedings Article | |
| 1 |
| Kindler, Ekkart |
| |
| | 2005 | [Cuntz, Nicolas]
Freiheit, Jörn
[Kindler, Ekkart] | | 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 | |
| 4 |
| Kirchner, Claude (ed.) |
| |
| | 1998 | Bachmair, Leo
Ganzinger, Harald
Voronkov, Andrei | | Elimination of Equality via Transformation with Ordering Constraints
In: Proceedings of the 15th International Conference on Automated Deduction (CADE-98), 175-190 | Proceedings Article | |
| | 1998 | Nonnengart, Andreas
[Rock, Georg]
Weidenbach, Christoph | | On Generating Small Clause Normal Forms
In: Proceedings of the 15th International Conference on Automated Deduction (CADE-98), 397-411 | Proceedings Article | |
| | 1998 | Bachmair, Leo
Ganzinger, Harald | | Strict Basic Superposition
In: Proceedings of the 15th International Conference on Automated Deduction (CADE-98), 160-174 | Proceedings Article | |
| | 1998 | Waldmann, Uwe | | Superposition for Divisible Torsion-Free Abelian Groups
In: Proceedings of the 15th International Conference on Automated Deduction (CADE-98), 144-159 | Proceedings Article | |
| 7 |
| |
| | 1998 | Bachmair, Leo
Ganzinger, Harald
Voronkov, Andrei | | Elimination of Equality via Transformation with Ordering Constraints
In: Proceedings of the 15th International Conference on Automated Deduction (CADE-98), 175-190 | Proceedings Article | |
| | 1998 | Nonnengart, Andreas
[Rock, Georg]
Weidenbach, Christoph | | On Generating Small Clause Normal Forms
In: Proceedings of the 15th International Conference on Automated Deduction (CADE-98), 397-411 | Proceedings Article | |
| | 1998 | Bachmair, Leo
Ganzinger, Harald | | Strict Basic Superposition
In: Proceedings of the 15th International Conference on Automated Deduction (CADE-98), 160-174 | Proceedings Article | |
| | 1998 | Waldmann, Uwe | | Superposition for Divisible Torsion-Free Abelian Groups
In: Proceedings of the 15th International Conference on Automated Deduction (CADE-98), 144-159 | Proceedings Article | |
| | 1992 | Socher-Ambrosius, Rolf | | A Goal Oriented Strategy Based on Completion
In: Proc.~3rd Intern.~Conference on Algebraic and Logic Programming, 435-445 | Proceedings Article | |
| | 1992 | Hanus, Michael | | Incremental Rewriting in Narrowing Derivations
In: Proceedings of the 3rd International Conference on Algebraic and Logic Programming (ALP-92), 228-243 | Proceedings Article | |
| | 1992 | Bachmair, Leo
Ganzinger, Harald
Waldmann, Uwe | | Theorem proving for hierarchic first-order theories
In: Algebraic and Logic Programming, 420-434 | Proceedings Article | |
| 1 |
| |
| | 2000 | Eisenbrand, Friedrich
[Bockmayr, Alexander] | | Combining logic and optimization in cutting plane theory
In: Proceedings of the Workshop on Frontiers of Combining Systems (FROCOS-2000), 1-17 | Proceedings Article | |
| 2 |
| |
| | 1998 | Basin, David A.
[Klarlund, Nils] | | Automata Based Symbolic Reasoning in Hardware Verification
In: Formal Methods in Systems Design [13], 255-288 | Journal Article | |
| | 1995 | Basin, David A.
[Klarlund, Nils] | | Hardware Verification using Monadic Second-Order Logic
In: Proceedings of the 7th International Conference on Computer-Aided Verification (CAV '95), 31-41 | Proceedings Article | |
| 2 |
| Klawonn, Frank |
| |
| | 1994 | Hopf, Jörn
[Klawonn, Frank] | | Learning the Rule Base of a Fuzzy Controller by a Genetic Algorithm
In: Fuzzy Systems in Computer Science, 63-74 | Part of a Book | |
| | 1993 | Hopf, Jörn
[Klawonn, Frank] | | Selbstlernende Fuzzy-Controller auf der Basis Genetischer Algorithmen
In: Fuzzy-Systeme '93 / Management unsicherer Informationen, 21-27 | Proceedings Article | |
| 2 |
| |
| | 2005 | Baumgartner, Peter
[Furbach, Ulrich]
[Gross-Hardt, Margret]
[Kleemann, Thomas] | | 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 | |
| | 2004 | Baumgartner, Peter
[Furbach, Ulrich]
[Gross-Hardt, Margret]
[Kleemann, Thomas] | | 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 | |
| 1 |
| Kleine Büning, Hans |
| |
| | 1995 | Barth, Peter
[Kleine Büning, Hans]
Weidenbach, Christoph | | Workshop CPL Computational Propositional Logic
In: KI-95 Activities: Workshops, Posters, Demos, 71-72 | Proceedings Article | |
| 1 |
| Klotzki, Pia |
| |
| | 1995 | Klotzki, Pia | | Wiedemann-Algorithmus zur Lösung dünnbesetzter Gleichungssysteme über Fp
Universität des Saarlandes | Thesis - Masters thesis | |
| 1 |
| Knight, Julia F. |
| |
| | 2005 | [Goncharov, Sergey]
[Harizanov, Valentina]
[Knight, Julia F.]
[Morozov, Andrey]
Romina, Anya | | On automorphic tuples of elements in computable models
In: Siberian Mathematical Journal [46], 405-412 | Journal Article | |
| 1 |
| Kobsa, Alfred (ed.) |
| |
| | 1993 | Ohlbach, Hans Jürgen | | Ein kurzes Tutorial über funktionale Übersetzung von Modallogik nach Prädikatenlogik
In: Bericht Nr. 15/93: Recommendations for Extensions to BGP-MS, 19-26 | Proceedings Article | |
| 1 |
| Koehler, Jana |
| |
| | 1996 | Ohlbach, Hans Jürgen
[Koehler, Jana] | | Reasoning about Sets via Atomic Decomposition | Report | |
| 1 |
| Koehler, Jana (ed.) |
| |
| | 2004 | [Brafman, Ronen]
Hoffmann, Jörg | | 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 | |
| 2 |
| Koenig, Sven (ed.) |
| |
| | 2004 | [Brafman, Ronen]
Hoffmann, Jörg | | 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 | |
| | 2002 | Mukhopadhyay, Supratik
Podelski, Andreas | | An Algebraic Framework for Abstract Model Checking
In: Abstraction, reformulation, and approximation : 5th International Symposium, SARA 2002, 152-169 | Proceedings Article | |
| 1 |
| |
| | 1995 | Weydert, Emil | | Numeric Defaults. About an expressive first-order framework for reasoning with infinitesimal probabilities
In: Symbolic and Quantitative Approaches to Reasoning and Uncertainty (ECSQARU 95), 420-427 | Proceedings Article | |
| 1 |
| |
| | 2001 | de Nivelle, Hans
[Blackburn, Patrick]
[Bos, Johan]
[Kohlhase, Michael] | | Inference and Computational Semantics
In: Studies in Linguistics and Philosophy, Computing Meaning [77], 11-28 | Journal Article | |
| 2 |
| |
| | 2003 | Ganzinger, Harald
Korovin, Konstantin | | New Directions in Instantiation-Based Theorem Proving
In: 18th Annual IEEE Symposium on Logic in Computer Science (LICS-03), 55-64 | Proceedings Article | |
| | 2003 | Korovin, Konstantin
[Voronkov, Andrei] | | Orienting Equalities with the Knuth-Bendix Order
In: 18th Annual IEEE Symposium on Logic in Computer Science (LICS-03), 75-84 | Proceedings Article | |
| 1 |
| Konev, Boris (ed.) |
| |
| | 2003 | de Nivelle, Hans | | Implementing the clausal normal form transformation with proof generation
In: Fourth Workshop on the Implementation of Logics, 69-83 | Proceedings Article | |
| 9 |
| Korovin, Konstantin |
| |
| | 2006 | Ganzinger, Harald
[Korovin, Konstantin] | | Theory Instantiation
In: 13th Conference on Logic for Programming Artificial Intelligence Reasoning (LPAR'06), 497-511 | Proceedings Article | |
| | 2006 | Ganzinger, Harald
[Korovin, Konstantin] | | Theory Instantiation
In: Logic for Programming, Artificial Intelligence, and Reasoning : 13th International Conference, LPAR 2006, 497-511 | Proceedings Article | |
| | 2005 | Korovin, Konstantin
[Voronkov, Andrei] | | Knuth-Bendix constraint solving is NP-complete
In: ACM Transactions on Computational Logic [6], 361-388 | Journal Article | |
| | 2004 | Ganzinger, Harald
Korovin, Konstantin | | 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 | |
| | 2003 | Korovin, Konstantin
[Voronkov, Andrei] | | AC-compatible Knuth-Bendix Order
In: Automated deduction, CADE-19 : 19th International Conference on Automated Deduction, 47-59 | Proceedings Article | |
| | 2003 | Korovin, Konstantin | | Knuth-Bendix orders in automated deduction and term rewriting
University of Manchester | Thesis - PhD thesis | |
| | 2003 | Ganzinger, Harald
Korovin, Konstantin | | New Directions in Instantiation-Based Theorem Proving
In: 18th Annual IEEE Symposium on Logic in Computer Science (LICS-03), 55-64 | Proceedings Article | |
| | 2003 | Korovin, Konstantin
[Voronkov, Andrei] | | Orienting Equalities with the Knuth-Bendix Order
In: 18th Annual IEEE Symposium on Logic in Computer Science (LICS-03), 75-84 | Proceedings Article | |
| | 2003 | Korovin, Konstantin
[Voronkov, Andrei] | | Orienting rewrite rules with the Knuth-Bendix order
In: Information and Computation [183], 165-186 | Journal Article | |
| 1 |
| Kovalerchuk, B. (ed.) |
| |
| | 2006 | She, Zhikun
Xia, Bican
[Xiao, Rong] | | A Semi-Algebraic Approach for the Computation of Lyapunov Functions
In: 2th IASTED International Conference on COMPUTATIONAL INTELLIGENCE, 7-12 | Proceedings Article | |
| 5 |
| Kraan, Ina |
| |
| | 1996 | [Kraan, Ina]
Basin, David A.
[Bundy, Alan] | | Middle-Out Reasoning for Synthesis and Induction
In: Automated mathematical induction, 113-145 | Part of a Book | |
| | 1996 | [Kraan, Ina]
Basin, David A.
[Bundy, Alan] | | Middle-out reasoning for synthesis and induction
In: Journal of Automated Reasoning [16], 113-145 | Journal Article | |
| | 1993 | Basin, David A.
Bundy, Alan
Kraan, Ina
Matthews, Seán | | A Framework for Program Development Based on Schematic Proof
In: Proc. 7th Intern.~Workshop on Software Specification and Design, 162-171 | Proceedings Article | |
| | 1993 | Kraan, Ina
Basin, David A.
Bundy, Alan | | Logic Program Synthesis via Proof Planning
In: International Workshop on Logic Program Synthesis and Transformation (LOPSTR '92), 1-14 | Proceedings Article | |
| | 1993 | Kraan, Ina
Basin, David A.
Bundy, Alan | | Middle-Out Reasoning for Logic Program Synthesis
In: Proc.~10th Intern. Conference on Logic Programing (ICLP '93), 441-455 | Proceedings Article | |
| 1 |
| Kracht, M. (ed.) |
| |
| | 1998 | Schmidt, Renate A. | | Resolution is a Decision Procedure for Many Propositional Modal Logics
In: Advances in Modal Logic, Volume 1, 189-208 | Part of a Book | |
| 1 |
| Kreowski, H.-J. (ed.) |
| |
| | 1999 | Basin, David A.
Krieg-Brückner, Bernd | | Formalization of the Development Process
In: Algebraic foundations of systems specification, 521-562 | Part of a Book | |
| 1 |
| Kretinsky, Mojomir (ed.) |
| |
| | 2002 | Charatonik, Witold
[Amadio, Roberto] | | On Name Generation and Set-Based Analysis in the Dolev-Yao Model
In: CONCUR 2002 - Concurrency Theory. 13th International Conference, 499-514 | Proceedings Article | |
| 1 |
| Krieg-Brückner, Bernd |
| |
| | 1999 | Basin, David A.
Krieg-Brückner, Bernd | | Formalization of the Development Process
In: Algebraic foundations of systems specification, 521-562 | Part of a Book | |
| 1 |
| Krieg-Brückner, Bernd (ed.) |
| |
| | 1993 | Bertling, Hubert
Ganzinger, Harald
Schäfers, Renate
Nieuwenhuis, Robert
Orejas, Fernando | | Completion Subsystem
In: Program Development by Specification and Transformation, The PROSPECTRA Methodology, Language Family, and System, 460-494 | Part of a Book | |
| 1 |
| Krieg-Brückner, B. (ed.) |
| |
| | 1999 | Basin, David A.
Krieg-Brückner, Bernd | | Formalization of the Development Process
In: Algebraic foundations of systems specification, 521-562 | Part of a Book | |
| 7 |
| Krischer, Stefan |
| |
| | 1998 | [Werner, Andreas]
Bockmayr, Alexander
[Krischer, Stefan] | | How to realize LSE narrowing
In: New Generation Computing [16], 397-434 | Journal Article | |
| | 1995 | Bockmayr, Alexander
[Krischer, Stefan]
[Werner, Andreas] | | Narrowing strategies for arbitrary canonical systems
In: Fundamenta Informaticae [24], 125-155 | Journal Article | |
| | 1994 | [Werner, Andreas]
Bockmayr, Alexander
[Krischer, Stefan] | | How to realize LSE narrowing
In: Proceedings of the 4th International Conference on Algebraic and Logic Programming (ALP'94), 59-76 | Proceedings Article | |
| | 1993 | Werner, Andreas
Bockmayr, Alexander
Krischer, Stefan | | A Concept for the Implementation of LSE Narrowing
In: 9.~Workshop Logische Programmierung, ? | Proceedings Article | |
| | 1993 | Werner, Andreas
Bockmayr, Alexander
Krischer, Stefan | | How to Realize LSE Narrowing | Report | |
| | 1993 | Werner, Andreas
Bockmayr, Alexander
Krischer, Stefan | | How to Realize LSE Narrowing
In: Proceedings of the 2nd International Workshop on Functional/Logic Programming, ?-? | Proceedings Article | |
| | 1991 | Krischer, Stefan
Bockmayr, Alexander | | Detecting Redundant Narrowing Derivations by the LSE-SL Reducibility Test
In: Proceedings of the 4th International Conference on Rewriting Techniques and Applications (RTA '91), 74-85 | Proceedings Article | |
| 15 |
| Krishna Rao, M. R. K. |
| |
| | 2000 | Krishna Rao, M. R. K. | | Some characteristics of strong innermost normalization
In: Theoretical Computer Science [239], 141-164 | Journal Article | |
| | 2000 | Krishna Rao, M. R. K. | | Some classes of prolog programs inferable from positive data
In: Theoretical Computer Science [241], 211-223 | Journal Article | |
| | 1998 | Krishna Rao, M. R. K. | | Modular Aspects of term graph rewriting
In: Theoretical Computer Science [208], 59-86 | Journal Article | |
| | 1997 | Krishna Rao, M. R. K. | | A framework for incremental learning of logic programs
In: Theoretical Computer Science [185], 191-213 | Journal Article | |
| | 1996 | Krishna Rao, M. R. K. | | A class of Prolog programs inferable from positive data
In: Algorithmic Learning Theory, 272-284 | Proceedings Article | |
| | 1996 | Krishna Rao, M. R. K. | | Completeness results for basic narrowing in non-copying implementations
In: Logic Programming, 393-407 | Proceedings Article | |
| | 1996 | Krishna Rao, M. R. K. | | Learning Prolog programs from examples
In: Knowledge Based Computer Systems, 19-30 | Proceedings Article | |
| | 1996 | Krishna Rao, M. R. K. | | Modularity of termination in term graph rewriting
In: Rewriting Techniques and Applications, 230-244 | Proceedings Article | |
| | 1996 | Krishna Rao, M. R. K. | | Relating confluence, innermost-confluence and outermost-confluence properties of term rewriting systems
In: Acta Informatica [33], 595-606 | Journal Article | |
| | 1996 | Krishna Rao, M. R. K. | | Some characteristics of strong innermost normalization
In: Algebraic Methodology and Software Technology, 5th International Conference, AMAST '96, 406-420 | Proceedings Article | |
| | 1995 | Krishna Rao, M. R. K. | | Graph reducibility of term rewriting systems
In: Proceedings of Mathematical Foundations of Computer Science, 371-381 | Proceedings Article | |
| | 1995 | Krishna Rao, M. R. K. | | Incremental Learning of Logic Programs
In: Proceedings of International Workshop on Algorithmic Learning Theory, 95-109 | Proceedings Article | |
| | 1995 | Krishna Rao, M. R. K. | | Modular Proofs for Completeness of hierarchical term rewriting systems
In: Theoretical Computer Science [151], 487-512 | Journal Article | |
| | 1995 | Krishna Rao, M. R. K. | | Semi-completeness of Hierarchical and Super-hierarchical Combinations of Term Rewriting Systems
In: Proceedings of the 6th Joint Conference on Theory and Practice of Software Development, 379-393 | Proceedings Article | |
| | 1995 | Krishna Rao, M. R. K.
Shyamasundar, R. K. | | Unification-free Execution of Well-moded Prolog Programs
In: Proc. of International Static Analysis Symposium, 243-260 | Proceedings Article | |
| 2 |
| Kruse, Rudolf (ed.) |
| |
| | 1997 | | | Qualitative and Quantitative Practical Reasoning | Book | |
| | 1997 | Weydert, Emil | | Rational Default Quantifier Logic
In: Proceedings of the 1st International Joint Conference on Qualitative and Quantitative Practical Reasoning (ESQARU-FAPR-97), 589-600 | Proceedings Article | |
| 3 |
| |
| | 1994 | Hopf, Jörn
[Klawonn, Frank] | | Learning the Rule Base of a Fuzzy Controller by a Genetic Algorithm
In: Fuzzy Systems in Computer Science, 63-74 | Part of a Book | |
| | 1993 | Fehrer, Detlef | | A Unifying Framework for Reason Maintenance
In: Symbolic and Quantitative Approaches to Reasoning and Uncertainty: Proceedings European Conference ECSQARU '93, 113-120 | Proceedings Article | |
| | 1993 | Weydert, Emil | | Plausible Inference for Default Conditionals
In: Symbolic and Quantitative Approaches to Reasoning and Uncertainty: Proceedings of the European Conference ECSQARU '93, 356-363 | Proceedings Article | |
| 1 |
| |
| | 2002 | Charatonik, Witold
[Amadio, Roberto] | | On Name Generation and Set-Based Analysis in the Dolev-Yao Model
In: CONCUR 2002 - Concurrency Theory. 13th International Conference, 499-514 | Proceedings Article | |
| 1 |
| |
| | 2006 | Wies, Thomas
[Kuncak, Viktor]
[Lam, Patrick]
Podelski, Andreas
[Rinard, Martin C.] | | Field Constraint Analysis
In: Verification, Model Checking, and Abstract Interpretation : 7th International Conference, VMCAI 2006, 157-173 | Proceedings Article | |
| 4 |
| |
| | 1994 | Hustadt, Ullrich | | Common and Mutual Belief for Agent Modeling
In: KI-94 Workshops: Extended Abstracts, 123-124 | Proceedings Article | |
| | 1994 | Hustadt, Ullrich | | Do we need the closed-world assumption in knowledge representation?
In: KI-94 Workshops: Extended Abstracts, 293-294 | Proceedings Article | |
| | 1994 | Weidenbach, Christoph | | Sorts, Resolution, Tableaux and Propositional Logic
In: KI-94 Workshops: Extended Abstracts, 315-316 | Proceedings Article | |
| | 1994 | Schmidt, Renate A. | | Terminological Logics and Conceptual Graphs: An Historical Perspective
In: KI-94 Workshops: Extended Abstracts, 135-136 | Proceedings Article | |
| 1 |
| Kunze, J. (ed.) |
| |
| | 1994 | Struth, Georg | | Intensionality, Possible Worlds and Propositional Attitudes: Formal and Philosophical Foundations of Modal Semantics
In: KI-94 Workshops: Extended Abstracts, 108-109 | Proceedings Article | |
| 1 |
| Kupferschmid, Sebastian |
| |
| | 2006 | [Kupferschmid, Sebastian]
Hoffmann, Jörg
[Dierks, Henning]
[Behrmann, Gerd] | | Adapting an AI Planning Heuristic for Directed Model Checking
In: Model checking software : 13th International SPIN Workshop, 35-52 | Proceedings Article | |
| 1 |
| Kwiatkowska, Marta (ed.) |
| |
| | 1999 | Jaeger, Manfred | | Fairness, Computable Fairness and Randomness
In: Proceedings of the 2nd International Workshop on Probabilistic Methods in Verification (PROBMIV-99), 57-66 | Proceedings Article | |
| 1 |
| Lakemeyer, Gerhard (ed.) |
| |
| | 1994 | Weydert, Emil | | Hyperrational Conditionals
In: Foundations of Knowledge Representation and Reasoning, 310-332 | Proceedings Article | |
| 1 |
| Lam, Patrick |
| |
| | 2006 | Wies, Thomas
[Kuncak, Viktor]
[Lam, Patrick]
Podelski, Andreas
[Rinard, Martin C.] | | Field Constraint Analysis
In: Verification, Model Checking, and Abstract Interpretation : 7th International Conference, VMCAI 2006, 157-173 | Proceedings Article | |
| 2 |
| Lang, Jérôme |
| |
| | 2002 | [Lang, Jérôme]
[van der Torre, Leendert W. N.]
Weydert, Emil | | Utilitarian Desires
In: Autonomous Agents and Multi-Agent Systems [5], 329-363 | Journal Article | |
| | 2001 | [Lang, Jérôme]
van der Torre, Leendert W. N.
Weydert, Emil | | Two Kinds of Conflicts between Desires (and how to resolve them)
In: Proceedings of the AAAI Symposium on Game and Decision Theoretic Agents, 54-59 | Proceedings Article | |
| 1 |
| |
| | 1998 | Weydert, Emil
van der Torre, Leendert W. N. | | Goals, desires, utilities and preferences
In: Proceedings of the ECAI-98 Workshop : Decision theory meets artificial intelligence - qualitative and quantitative approaches, 57-64 | Proceedings Article | |
| 1 |
| |
| | 1999 | van der Torre, Leendert W. N.
[Tan, Yao-Hua] | | An Update Semantics for Defeasible Obligations
In: Proceedings of the 15th Conference on Uncertainty in Artificial Intelligence (UAI-99), 631-638 | Proceedings Article | |
| 1 |
| |
| | 1991 | Ohlbach, Hans Jürgen
Siekmann, Jörg H. | | The Markgraf Karl Refutation Procedure
In: Computational Logic, Essays in Honor of Alan Robinson, 41-112 | Proceedings Article | |
| 2 |
| |
| | 1995 | Hustadt, Ullrich | | Introducing Epistemic Operators into a Description Logic
In: Knowledge and Belief in Philosophie and Artificial Intelligence, 65-85 | Part of a Book | |
| | 1994 | Hustadt, Ullrich | | Common and Mutual Belief for Agent Modeling
In: Modeling Epistemic Propositions: Workshop during the 18th German Annual Conference on Artificial Intelligence (KI-94), | Proceedings Article | |
| 1 |
| Lau, Kung-Kiu (ed.) |
| |
| | 2000 | Mukhopadhyay, Supratik
Podelski, Andreas | | Model Checking for Timed Logic Processes
In: Proceedings of the 1st International Conference on Computational Logic, 598-612 | Proceedings Article | |
| 1 |
| Lau, K. K. (ed.) |
| |
| | 1993 | Kraan, Ina
Basin, David A.
Bundy, Alan | | Logic Program Synthesis via Proof Planning
In: International Workshop on Logic Program Synthesis and Transformation (LOPSTR '92), 1-14 | Proceedings Article | |
| 1 |
| Le Charlier, Baudouin (ed.) |
| |
| | 1994 | Hanus, Michael
Zartmann, Frank | | Mode Analysis of Functional Logic Programs
In: Proceedings of the 1st International Static Analysis Symposium (SAS'94), 26-42 | Proceedings Article | |
| 1 |
| Le Métayer, Daniel (ed.) |
| |
| | 2002 | Charatonik, Witold
[Gordon, Andrew Donald]
[Talbot, Jean-Marc] | | Finite-Control Mobile Ambients
In: Programming languages and systems: 11th European Symposium on Programming, ESOP 2002. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, 295-313 | Proceedings Article | |
| 1 |
| Leeser, M. E. |
| |
| | 1991 | Basin, David A.
Brown, G. M.
Leeser, M. E. | | Formally Verified Synthesis of Combinational CMOS Circuits
In: Integration: The Intern. Journal of VLSI Design [11], 235-250 | Journal Article | |
| 3 |
| Lee, Chin Soon |
| |
| | 2009 | Lee, Chin Soon | | Ranking functions for size-change termination
In: ACM Transactions on Programming Languages and Systems [31], 10:1-10:42 | Journal Article | |
| | 2007 | [Ben-Amram, Amir M.]
Lee, Chin Soon | | Program termination analysis in polynomial time
In: ACM Transactions on Programming Languages and Systems [29], 5:1-37 | Journal Article | |
| | 2004 | Lee, Chin Soon | | Size-change Termination Analyzer | Unpublished/Draft | |
| 1 |
| Lee, Sau Dan |
| |
| | 2002 | [de Raedt, Luc]
Jaeger, Manfred
[Lee, Sau Dan]
[Mannila, Heikki] | | A Theory of Inductive Query Answering
In: Proceedings of the 2002 IEEE International Conference on Data Mining (ICDM'02), 123-130 | Proceedings Article | |
| 2 |
| Lee, Shie-Jue |
| |
| | 1994 | [Lee, Shie-Jue]
Plaisted, David A. | | Problem solving by searching for models with a theorem prover
In: Artificial Intelligence [69], 205-233 | Journal Article | |
| | 1994 | [Lee, Shie-Jue]
Plaisted, David A. | | Use of replace rules in theorem proving
In: Methods of Logic in Computer Science [1], 217-240 | Journal Article | |
| 1 |
| |
| | 2005 | Freiheit, Jörn
[Münch, Susanne]
[Schöttle, Hendrik]
[Sijanski, Grozdana]
[Zangl, Fabrice] | | 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 | |
| 2 |
| |
| | 2004 | Kazakov, Yevgeny | | A Polynomial Translation from the Two-Variable Guarded Fragment with Number Restrictions to the Guarded Fragment
In: Logics in artificial intelligence : 9th European Conference, JELIA 2004, 372-384 | Proceedings Article | |
| | 2004 | Baumgartner, Peter
[Burchardt, Aljoscha] | | Logic Programming Infrastructure for Inferences on FrameNet
In: Logics in artificial intelligence : 9th European Conference, JELIA 2004, 591-603 | Proceedings Article | |
| 1 |
| Leitsch, Alexander |
| |
| | 2001 | [Fermüller, Christian G.]
[Leitsch, Alexander]
Hustadt, Ullrich
[Tammet, Tanel] | | Resolution Decision Procedures
In: Handbook of Automated Reasoning, 1793-1849 | Part of a Book | |
| 6 |
| Leitsch, Alexander (ed.) |
| |
| | 2001 | Ganzinger, Harald
[McAllester, David] | | A new meta-complexity theorem for bottom-up logic programs
In: Automated reasoning : First International Joint Conference, IJCAR 2001, 514-528 | Proceedings Article | |
| | 2001 | de Nivelle, Hans
[Pratt-Hartmann, Ian] | | A Resolution-Based Decision Procedure for the Two-Variable Fragment with Equality
In: Automated reasoning : First International Joint Conference, IJCAR 2001, 211-225 | Proceedings Article | |
| | 2001 | Ganzinger, Harald
[Nieuwenhuis, Robert]
[Nivela, Pilar] | | Context trees
In: Automated reasoning : First International Joint Conference, IJCAR 2001, 242-256 | Proceedings Article | |
| | 2001 | [Nieuwenhuis, Robert]
Hillenbrand, Thomas
[Riazanov, Alexandre]
[Voronkov, Andrei] | | On the Evaluation of Indexing Techniques for Theorem Proving
In: Automated reasoning : First International Joint Conference, IJCAR 2001, 257-271 | Proceedings Article | |
| | 2001 | Waldmann, Uwe | | Superposition and Chaining for Totally Ordered Divisible Abelian Groups (Extended Abstract)
In: Automated reasoning : First International Joint Conference, IJCAR 2001, 226-241 | Proceedings Article | |
| | 1993 | [Bachmair, Leo]
Ganzinger, Harald
Waldmann, Uwe | | Superposition with simplification as a decision procedure for the monadic class with equality
In: Computational Logic and Proof Theory, Third Kurt Gödel Colloquium, KGC'93, 83-96 | Proceedings Article | |
| 1 |
| |
| | 1997 | Basin, David A.
Matthews, Seán
Viganò, Luca | | A New Method for Bounding the Complexity of Modal Logics
In: Proceedings of the 5th Kurt Gödel Colloquium on Computational Logic and Proof Theory (KGC-97), 89-102 | Proceedings Article | |
| 1 |
| Lenzerini, Maurizio (ed.) |
| |
| | 1994 | Fehrer, Detlef
Hustadt, Ullrich
Jaeger, Manfred
Nonnengart, Andreas
Ohlbach, Hans Jürgen
Schmidt, Renate A.
Weidenbach, Christoph
Weydert, Emil | | Description Logics for Natural Language Processing
In: International Workshop on Description Logics '94, 80-84 | Proceedings Article | |
| 1 |
| |
| | 1995 | Ohlbach, Hans Jürgen
Schmidt, Renate A.
Hustadt, Ullrich | | Symbolic Arithmetical Reasoning with Qualified Number Restrictions
In: Proceedings of International Workshop on Description Logics'95, 89-95 | Proceedings Article | |
| 1 |
| |
| | 2002 | [Schmidt, Renate A.]
[Tishkovsky, Dmitry] | | Multi-Agent Logic of Dynamic Belief and Knowledge
In: Proceedings of the 8th European Conference on Logics in Artificial Intelligence (JELIA), 38-49 | Proceedings Article | |
| 2 |
| |
| | 2003 | [Letz, Reinhold]
Stenz, Gernot | | Universal variables in disconnection tableaux
In: Automated reasoning with analytical tableaux and related methods : International Conference, TABLEAUX 2003, 117-133 | Proceedings Article | |
| | 1998 | [Letz, Reinhold]
Weidenbach, Christoph | | Paradigmen und Perspektiven der automatischen Deduktion
In: KI, Organ des Fachbereichs 1 "Künstliche Intelligenz'' der Gesellschaft für Informatik e.V. [4], 15-19 | Journal Article | |
| 1 |
| Leven, Peter |
| |
| | 1998 | Leven, Peter | | Integrating Clausal Decision Procedures in a Tactic Based Theorem Prover
Universität des Saarlandes | Thesis - Masters thesis | |
| 1 |
| Levi, Georgio (ed.) |
| |
| | 1992 | Hanus, Michael | | Incremental Rewriting in Narrowing Derivations
In: Proceedings of the 3rd International Conference on Algebraic and Logic Programming (ALP-92), 228-243 | Proceedings Article | |
| 3 |
| Levi, Giorgio (ed.) |
| |
| | 2004 | Podelski, Andreas
Rybalchenko, Andrey | | A Complete Method for the Synthesis of Linear Ranking Functions
In: Verification, model checking, and abstract interpretation : 5th International Conference, VMCAI 2004, 239-251 | Proceedings Article | |
| | 1998 | Charatonik, Witold
Podelski, Andreas | | Directional Type Inference for Logic Programs
In: Proceedings of the 5th International Symposium in Static Analysis (SAS-98), 278-294 | Proceedings Article | |
| | 1994 | [Werner, Andreas]
Bockmayr, Alexander
[Krischer, Stefan] | | How to realize LSE narrowing
In: Proceedings of the 4th International Conference on Algebraic and Logic Programming (ALP'94), 59-76 | Proceedings Article | |
| 2 |
| Levi, G. (ed.) |
| |
| | 1992 | Socher-Ambrosius, Rolf | | A Goal Oriented Strategy Based on Completion
In: Proc.~3rd Intern.~Conference on Algebraic and Logic Programming, 435-445 | Proceedings Article | |
| | 1992 | Bachmair, Leo
Ganzinger, Harald
Waldmann, Uwe | | Theorem proving for hierarchic first-order theories
In: Algebraic and Logic Programming, 420-434 | Proceedings Article | |
| 1 |
| |
| | 1998 | [Basin, David A.]
Matthews, Seán
[Viganò, Luca] | | A Modular Presentation of Modal Logics in a Logical Framework
In: Proceedings of the 1st Tbilisi Symposium on Language, Logic and Computation: Selected Papers, 293-307 | Proceedings Article | |
| 1 |
| |
| | 2000 | [Levy, Jordi]
Veanes, Margus | | On the Undecidability of Second-Order Unification
In: Information and Computation [159], 125-150 | Journal Article | |
| 1 |
| |
| | 2006 | [Lilith, Nimrod]
[Billington, Jonathan]
Freiheit, Jörn | | 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 | |
| 1 |
| Lindenstrauss, Naomi (ed.) |
| |
| | 1995 | Bockmayr, Alexander
[Werner, Andreas] | | LSE narrowing for decreasing conditional term rewrite systems
In: Conditional Term Rewriting Systems CTRS'94, 51-70 | Proceedings Article | |
| 1 |
| |
| | 1995 | Bachmair, Leo
Ganzinger, Harald | | Associative-Commutative Superposition
In: Proceedings of the 4th International Workshop on Conditional and Typed Rewrite Systems (CTRS-94), 1-14 | Proceedings Article | |
| 1 |
| |
| | 2000 | [Bugliesi, Michele]
Delzanno, Giorgio
[Liquori, Luigi]
[Martelli, Maurizio] | | Object Calculi in Linear Logic
In: Journal of Logic and Computation [10], 75-104 | Journal Article | |
| 1 |
| |
| | 1993 | Hustadt, Ullrich
Nonnengart, Andreas | | Modalities in Knowledge Representation
In: Proc. of the 6th Australian Joint Conference on Artificial Intelligence (AI '93), 249-254 | Proceedings Article | |
| 1 |
| |
| | 1998 | Wu, Jinzhao
[Liu, Zhuojun] | | Well-Behaved Inference Rules for First-Order Theorem Proving
In: Journal of Automated Reasoning [21], 381-400 | Journal Article | |
| 1 |
| |
| | 1998 | Wu, Jinzhao
[Tan, Hongyan]
[Li, Yongli] | | An Algebraic Method to Decide the Deduction Problem in Many-Valued Logics
In: Journal of Applied Non-Classical Logics [8], 353-360 | Journal Article | |
| 1 |
| |
| | 1998 | Wu, Jinzhao
[Lu, Mi] | | CWA in Multi-Valued Logics
In: Proceedings of the 3rd Asian Symposium on Computer Mathematics (ASCM-98), 259-270 | Proceedings Article | |
| 2 |
| |
| | 2000 | Mukhopadhyay, Supratik
Podelski, Andreas | | Model Checking for Timed Logic Processes
In: Proceedings of the 1st International Conference on Computational Logic, 598-612 | Proceedings Article | |
| | 1996 | Bockmayr, Alexander | | Constraints in functional logic programming (Abstract)
In: Integration of functional and logic languages, 4 | Proceedings Article | |
| 5 |
| Löchner, Bernd |
| |
| | 2003 | [Avenhaus, Jürgen]
Hillenbrand, Thomas
[Löchner, Bernd] | | On Using Ground Joinable Equations in Equational Theorem Proving
In: Journal of Symbolic Computation [36], 217-233 | Journal Article | |
| | 2003 | [Gaillourdet, Jean-Marie]
Hillenbrand, Thomas
[Löchner, Bernd]
[Spies, Hendrik] | | The New WALDMEISTER Loop at Work
In: Automated deduction, CADE-19 : 19th International Conference on Automated Deduction, 317-321 | Proceedings Article | |
| | 2002 | [Löchner, Bernd]
Hillenbrand, Thomas | | A Phytography of WALDMEISTER
In: AI Communications [15], 127-133 | Journal Article | |
| | 2002 | Hillenbrand, Thomas
[Löchner, Bernd] | | The Next WALDMEISTER Loop
In: Automated deduction, CADE-18 : 18th International Conference on Automated Deduction, 486-500 | Proceedings Article | |
| | 2001 | Hillenbrand, Thomas
[Löchner, Bernd] | | The Next WALDMEISTER Loop (Extended Abstract)
In: Proceedings of the Second International Workshop on the Implementation of Logics, IWIL 2001, 13-21 | Proceedings Article | |
| 1 |
| Lombardi, Henri (ed.) |
| |
| | 2006 | Prevosto, Virgile | | Certified mathematical hierarchies: the FoCal system.
In: Proceedings of the MAP (Mathematics, Algorithms, Proofs) Workshop, | Electronic Proceedings Article | |
| 1 |
| Lombart, V. |
| |
| | 1995 | Bundy, Alan
[Lombart, V.] | | Relational Rippling: a General Approach
In: Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI-95), 175-181 | Proceedings Article | |
| 3 |
| Longo, Giuseppe (ed.) |
| |
| | 1999 | Ganzinger, Harald
de Nivelle, Hans | | A Superposition Decision Procedure for the Guarded Fragment with Equality
In: Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science (LICS-99), 295-303 | Proceedings Article | |
| | 1999 | Talbot, Jean-Marc
[Niehren, Joachim]
[Müller, Martin] | | Entailment of Atomic Set Constraints is PSPACE-Complete
In: Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science (LICS-99), 285-294 | Proceedings Article | |
| | 1999 | Ganzinger, Harald
Meyer, Christoph
Veanes, Margus | | The Two-Variable Guarded Fragment with Transitive Relations
In: Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science (LICS-99), 24-34 | Proceedings Article | |
| 3 |
| Long, Derek (ed.) |
| |
| | 2006 | [Domshlak, Carmel]
Hoffmann, Jörg | | Fast Probabilistic Planning Through Weighted Model Counting
In: Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling (ICAPS 2006), 243-252 | Proceedings Article | |
| | 2006 | Hoffmann, Jörg
[Sabharwal, Ashish]
[Domshlak, Carmel] | | Friends or Foes? An AI Planning Perspective on Abstraction and Search
In: Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling (ICAPS 2006), 294-303 | Proceedings Article | |
| | 2006 | Hoffmann, Jörg
[Gomes, Carla]
[Selman, Bart] | | Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning
In: Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling (ICAPS 2006), 284-293 | Proceedings Article | |
| 1 |
| Lopez de Mantaraz, Ramon (ed.) |
| |
| | 1994 | Jaeger, Manfred | | A Logic for Default Reasoning About Probabilities
In: Proceedings of the 10th Conference on Uncertainty in Artificial Intelligence (UAI'94), 352-359 | Proceedings Article | |
| 1 |
| Luuk, Marc |
| |
| | 2006 | Freiheit, Jörn
[Luuk, Marc]
[Münch, Susanne]
[Sijanski, Grozdana]
[Zangl, Fabrice] | | Lexecute: Visualisation and representation of legal procedures
In: Digital Evidence Journal [3], 17-27 | Journal Article | |
| 2 |
| Lu, Mi |
| |
| | 2000 | [Lu, Mi]
Wu, Jinzhao | | On Theorem proving in Annotated Logics
In: Journal of Applied Non-Classical Logics [10], 121-143 | Journal Article | |
| | 1998 | Wu, Jinzhao
[Lu, Mi] | | CWA in Multi-Valued Logics
In: Proceedings of the 3rd Asian Symposium on Computer Mathematics (ASCM-98), 259-270 | Proceedings Article | |
| 2 |
| |
| | 1995 | Bachmair, Leo
Ganzinger, Harald
[Lynch, Christopher]
[Snyder, Wayne] | | Basic Paramodulation
In: Information and Computation [121], 172-192 | Journal Article | |
| | 1992 | Bachmair, Leo
Ganzinger, Harald
Lynch, Christopher
Snyder, Wayne | | Basic Paramodulation and Superposition
In: Proceedings of the 11th International Conference on Automated Deduction (CADE-11), 462-476 | Proceedings Article | |
| 2 |
| MacNish, Craig (ed.) |
| |
| | 1994 | Nonnengart, Andreas | | How to Use Modalities and Sorts in Prolog
In: Logics in Artificial Intelligence: Proceedings of the JELIA'94, 365-378 | Proceedings Article | |
| | 1994 | Dimopoulos, Yannis | | The Computational Value of Joint Consistency
In: Logics in Artificial Intelligence: Proceedings of the JELIA'94, 50-65 | Proceedings Article | |
| 6 |
| |
| | 1999 | Madden, Peter
[Bundy, Alan]
[Smaill, Alan] | | Recursive Program Optimization Through Inductive Synthesis Proof Transformation
In: Journal of Automated Reasoning [22], 65-115 | Journal Article | |
| | 1995 | Madden, Peter
[Green, Ian] | | A General Technique for Automatic Optimization by Proof Planning
In: Proceedings of the 2nd International Conference on Artificial Intelligence and Symbolic Mathematical Computing (AISMC-2), 80-96 | Proceedings Article | |
| | 1995 | Madden, Peter | | Program improvement by proof planning
In: Proceedings of British Colloquium on Theoretical Computer Science (BCTCS 11), | Proceedings Article | |
| | 1994 | Madden, Peter | | Formal Methods for Automated Program Improvement
In: KI-94: Advances in Artificial Intelligence. Proceedings of the 18th German Annual Conference on Artificial Intelligence, 367-378 | Proceedings Article | |
| | 1993 | Madden, Peter
[Bundy, Alan] | | General Proof Theoretic Techniques for Automatic
Programing
In: Proceedings of the EAST-WEST AI CONFERENCE: From
Theory to Practice - EWAIC'93, | Proceedings Article | |
| | 1992 | Madden, Peter | | Automated Program Transformation Through Proof Transformation
In: Proceedings of the 11th International Conference on Automated Deduction (CADE-11), 446-460 | Proceedings Article | |
| 2 |
| Magirou, Vangelis |
| |
| | 1994 | Dimopoulos, Yannis
[Magirou, Vangelis] | | A Graph Theoretic Approach to Default Logic
In: Information and Computation [112], 239-256 | Journal Article | |
| | 1993 | Dimopoulos, Yannis
Magirou, Vangelis
Papadimitriou, Christos | | On Kernels, Defaults and Even Graphs
In: Annals of Mathematics and Artificial Intelligence, | Journal Article | |
| 1 |
| |
| | 1996 | Krishna Rao, M. R. K. | | Completeness results for basic narrowing in non-copying implementations
In: Logic Programming, 393-407 | Proceedings Article | |
| 1 |
| |
| | 1991 | Baumeister, Hubert | | Unifying Initial and Loose Semantics of Parameterized Specifications in an Arbitrary Institution
In: Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT '91), 103-120 | Proceedings Article | |
| 1 |
| |
| | 1991 | Hanus, Michael | | Parametric Order-Sorted Types in Logic Programming
In: Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT-91), 181-200 | Proceedings Article | |
| 10 |
| |
| | 2005 | [Charatonik, Witold]
[Georgieva, Lilia]
Maier, Patrick | | Bounded Model Checking of Pointer Programs
In: Computer Science Logic; 19th International Workshop, CSL 2005; 14th Annual Conference of the EACSL, 397-412 | Proceedings Article | |
| | 2005 | [Georgieva, Lilia]
Maier, Patrick | | Description Logics for Shape Analysis
In: Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 321-330 | Proceedings Article | |
| | 2005 | [Hoenicke, Jochen]
Maier, Patrick | | Model-Checking of Specifications Integrating Processes, Data and Time
In: FM 2005: Formal Methods; International Symposium of Formal Methods Europe, 465-480 | Proceedings Article | |
| | 2004 | Maier, Patrick | | Intuitionistic LTL and a New Characterization of Safety and Liveness | Report | |
| | 2004 | Maier, Patrick | | Intuitionistic LTL and a New Characterization of Safety and Liveness
In: Computer science logic : 18th International Workshop CSL 2004, 13th Annual Conference of the EACSL, 295-309 | Proceedings Article | |
| | 2003 | Maier, Patrick | | A Lattice-Theoretic Framework For Circular Assume-Guarantee Reasoning
Universität des Saarlandes | Thesis - PhD thesis | |
| | 2003 | Maier, Patrick | | Compositional Circular Assume-Guarantee Rules Cannot Be Sound and Complete
In: Foundations of software science and computation structures : 6th International Conference, FOSSACS 2003, 343-357 | Proceedings Article | |
| | 2002 | Maier, Patrick | | A Framework for Circular Assume-Guarantee Rules
In: Symposium on the Effectiveness of Logic in Computer Science in Honour of Moshe Vardi, 55-58 | Proceedings Article | |
| | 2001 | Maier, Patrick | | A Set-Theoretic Framework for Assume-Guarantee Reasoning
In: Proceedings of the 28th International Colloquium on Automata, Languages and Programming (ICALP-2001), 821-834 | Proceedings Article | |
| | 2000 | [Göbel, Manfred]
Maier, Patrick | | Three Remarks on Comprehensive Gröbner and SAGBI Bases
In: Proceedings of the 3rd Workshop on Computer Algebra in Scientific Computing (CASC-2000), 191-202 | Proceedings Article | |
| 2 |
| Majumdar, Rupak |
| |
| | 2007 | [Beyer, Dirk]
[Henzinger, Thomas]
[Majumdar, Rupak]
Rybalchenko, Andrey | | Invariant Synthesis for Combined Theories
In: Verification, Model Checking, and Abstract Interpretation : 8th International Conference, VMCAI 2007, 378-394 | Proceedings Article | |
| | 2007 | [Beyer, Dirk]
[Henzinger, Thomas]
[Majumdar, Rupak]
Rybalchenko, Andrey | | Path Invariants
In: PLDI'07 : Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 300-309 | Proceedings Article | |
| 2 |
| |
| | 2001 | [Makinson, David]
van der Torre, Leendert W. N. | | Input-output logics
In: Proceedings of the 5th International Workshop on Deontic Logic in Computer Science (Deon-00),, 29 | Proceedings Article | |
| | 2000 | [Makinson, David]
van der Torre, Leendert W. N. | | Input-output logics
In: Journal of Philosophical Logic [29], 383-408 | Journal Article | |
| 2 |
| Malkis, Alexander |
| |
| | 2006 | Malkis, Alexander
Podelski, Andreas
Rybalchenko, Andrey | | Thread-Modular Verification and Cartesian Abstraction | Unpublished/Draft | |
| | 2006 | Malkis, Alexander
Podelski, Andreas
Rybalchenko, Andrey | | Thread-Modular Verification is Cartesian Abstract Interpretation
In: Theoretical Aspects of Computing - ICTAC 2006 : Third International Colloquium, 183-197 | Proceedings Article | |
| 1 |
| |
| | 1997 | Podelski, Andreas | | Set-Based Analysis of Logic Programs and Reactive Logic Programs
In: Proceedings of the International Symposium on Logic Programming (ILPS-14), 35-36 | Proceedings Article | |
| 1 |
| |
| | 1993 | Hustadt, Ullrich | | Abductive Disjunctive Logic Programming
In: ICLP '93 Postconference Workshop on Abductive Reasoning, ? | Proceedings Article | |
| 2 |
| |
| | 2002 | [de Raedt, Luc]
Jaeger, Manfred
[Lee, Sau Dan]
[Mannila, Heikki] | | A Theory of Inductive Query Answering
In: Proceedings of the 2002 IEEE International Conference on Data Mining (ICDM'02), 123-130 | Proceedings Article | |
| | 1996 | Jaeger, Manfred
Mannila, Heikki
Weydert, Emil | | Data Mining as Selective Theory Extraction in Probabilistic Logic
In: Proceedings of the 1996 SIGMOD Workshop on Research Issues in Data Mining and Knowledge Discovery, - | Proceedings Article | |
| 1 |
| Mantel, Heiko (ed.) |
| |
| | 2006 | Sofronie-Stokkermans, Viorica | | Local reasoning in verification
In: Proceedings of VERIFY'06: Verification Workshop, 128-145 | Electronic Proceedings Article | |
| 1 |
| Marché, Claude (ed.) |
| |
| | 2001 | Ganzinger, Harald
[Nieuwenhuis, Robert] | | Constraints and Theorem Proving
In: Contraints in Computational Logics, International Summer School (CCL-99), 159-201 | Proceedings Article | |
| 2 |
| Marcinkowski, Jerzy (ed.) |
| |
| | 2004 | Ganzinger, Harald
Korovin, Konstantin | | 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 | |
| | 2004 | Maier, Patrick | | Intuitionistic LTL and a New Characterization of Safety and Liveness
In: Computer science logic : 18th International Workshop CSL 2004, 13th Annual Conference of the EACSL, 295-309 | Proceedings Article | |
| 1 |
| |
| | 1999 | [Bozzano, Marco]
Delzanno, Giorgio
[Martelli, Maurizio]
[Mascardi, Viviana]
[Zini, Floriano] | | Logic Programming and Multi-Agent Systems: a Synergic Combination for Applications and Semantics
In: The Logic Programming Paradigm: a 25-Year Perspective, 5-32 | Part of a Book | |
| 2 |
| |
| | 2001 | [Ball, Thomas]
Podelski, Andreas
[Rajamani, Sriram K.] | | Boolean and Cartesian Abstraction for Model Checking C Programs
In: Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS-2001), 268-283 | Proceedings Article | |
| | 1996 | Ayari, Abdelwaheb
Basin, David A. | | 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 | Proceedings Article | |
| 4 |
| Martelli, Maurizio |
| |
| | 2000 | [Bugliesi, Michele]
Delzanno, Giorgio
[Liquori, Luigi]
[Martelli, Maurizio] | | Object Calculi in Linear Logic
In: Journal of Logic and Computation [10], 75-104 | Journal Article | |
| | 1999 | Delzanno, Giorgio
[Galmiche, Didier]
[Martelli, Maurizio] | | A specification logic for concurrent object-oriented programming
In: Mathematical Structures in Computer Science [9], 253-286 | Journal Article | |
| | 1999 | [Bozzano, Marco]
Delzanno, Giorgio
[Martelli, Maurizio]
[Mascardi, Viviana]
[Zini, Floriano] | | Logic Programming and Multi-Agent Systems: a Synergic Combination for Applications and Semantics
In: The Logic Programming Paradigm: a 25-Year Perspective, 5-32 | Part of a Book | |
| | 1999 | [Bozzano, Marco]
Delzanno, Giorgio
[Martelli, Maurizio]
[Mascardi, Viviana]
[Zini, Floriano] | | Multi-Agent Systems Development as a Software Engineering Enterprise
In: Proceedings of the 1st International Workshop on Practical Aspects of Declarative Languages (PADL-99), 46-60 | Proceedings Article | |
| 1 |
| |
| | 2005 | Freiheit, Jörn
[Münch, Susanne]
[Schöttle, Hendrik]
[Sijanski, Grozdana]
[Zangl, Fabrice] | | 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 | |
| 2 |
| |
| | 1999 | [Bozzano, Marco]
Delzanno, Giorgio
[Martelli, Maurizio]
[Mascardi, Viviana]
[Zini, Floriano] | | Logic Programming and Multi-Agent Systems: a Synergic Combination for Applications and Semantics
In: The Logic Programming Paradigm: a 25-Year Perspective, 5-32 | Part of a Book | |
| | 1999 | [Bozzano, Marco]
Delzanno, Giorgio
[Martelli, Maurizio]
[Mascardi, Viviana]
[Zini, Floriano] | | Multi-Agent Systems Development as a Software Engineering Enterprise
In: Proceedings of the 1st International Workshop on Practical Aspects of Declarative Languages (PADL-99), 46-60 | Proceedings Article | |
| 22 |
| Matthews, Sean |
| |
| | 2002 | Basin, David A.
Matthews, Sean | | Logical Frameworks
In: Handbook of Philosophical Logic, 89-164 | Part of a Book | |
| | 2000 | Matthews, Seán
[Basin, David A.] | | Structuring Metatheory on Inductive Definitions
In: Information and Computation [162], 80-95 | Journal Article | |
| | 1998 | [Basin, David A.]
Matthews, Seán
[Viganò, Luca] | | A Modular Presentation of Modal Logics in a Logical Framework
In: Proceedings of the 1st Tbilisi Symposium on Language, Logic and Computation: Selected Papers, 293-307 | Proceedings Article | |
| | 1998 | [Basin, David A.]
Matthews, Seán
[Viganò, Luca] | | Labelled Modal Logics: quantifiers
In: Journal of Logic, Language and Information [7], 237-263 | Journal Article | |
| | 1998 | Basin, David A.
Matthews, Seán
Viganò, Luca | | Natural Deduction for Non-Classical Logics
In: Studia Logica [60], 119-160 | Journal Article | |
| | 1998 | Matthews, Seán
Basin, David A. | | Scoped Metatheorems
In: Electronic Notes in Computer Science [15], 1-14 | Journal Article | |
| | 1997 | Basin, David A.
Matthews, Seán
Viganò, Luca | | A New Method for Bounding the Complexity of Modal Logics
In: Proceedings of the 5th Kurt Gödel Colloquium on Computational Logic and Proof Theory (KGC-97), 89-102 | Proceedings Article | |
| | 1997 | Matthews, Seán | | A practical implementation of simple consequence relations using inductive definitions
In: Proceedings of the 14th International Conference on Automated Deduction (CADE-14), 306-320 | Proceedings Article | |
| | 1997 | Matthews, Seán | | Extending a logical framework with a modal connective for validity
In: Proceedings of the 3rd Symposium on Theoretical Aspects of Computer Software (TACS-97), 491-514 | Proceedings Article | |
| | 1997 | Basin, David A.
Matthews, Seán
Viganò, Luca | | Labelled Propositional Modal Logics: Theory and Practice
In: Journal of Logic and Computation [7], 685-717 | Journal Article | |
| | 1997 | Basin, David A.
Matthews, Seán
Viganò, Luca | | Labelled quantified modal logics
In: Proceedings of the 21st Annual German Conference on Artificial Intelligence (KI-97): Advances in Artificial Intelligence, 171-182 | Proceedings Article | |
| | 1996 | Basin, David A.
Matthews, Seán
Viganò, Luca | | A Topography of Labelled Modal Logics
In: Frontiers of Combining Systems (First International Workshop, Munich, March 1996), 75-92 | Part of a Book | |
| | 1996 | Basin, David A.
Matthews, Seán | | Adding Metatheoretic facilities to First-order Theories
In: Journal of Logic and Computation [6], 835-849 | Journal Article | |
| | 1996 | Basin, David A.
Matthews, Seán
Viganò, Luca | | Implementing Modal and Relevance Logics in a Logical Framework
In: Proceedings of the 5th International Conference on Principles of Knowledge Representation and Reasoning (KR'96), 386-397 | Proceedings Article | |
| | 1996 | Matthews, Seán | | Implementing $\textrm FS_0$ in Isabelle: Adding Structure at the Metalevel
In: Design and Implementation of Symbolic Computation Systems (DISCO'96), 228-239 | Proceedings Article | |
| | 1996 | Matthews, Seán
[Simpson, Alex] | | Reflection using the derivability conditions
In: Logic and Algebra, 603-616 | Part of a Book | |
| | 1996 | Basin, David A.
Matthews, Seán | | Structuring metatheory on inductive definitions
In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), 171-185 | Proceedings Article | |
| | 1994 | Matthews, Seán | | A Theory and its Metatheory in $FS_0$
In: What is a logical system?, 329-354 | Part of a Book | |
| | 1993 | Basin, David A.
Matthews, Seán | | A Conservative Extension of First-Order Logic and its Applications to Theorem Proving
In: Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'93), 151-160 | Proceedings Article | |
| | 1993 | Basin, David A.
Bundy, Alan
Kraan, Ina
Matthews, Seán | | A Framework for Program Development Based on Schematic Proof
In: Proc. 7th Intern.~Workshop on Software Specification and Design, 162-171 | Proceedings Article | |
| | 1993 | Matthews, Seán
Smaill, Alan
Basin, David A. | | Experience with $FS_0$ as a Framework Theory
In: Logical Environments, 61-82 | Part of a Book | |
| | 1992 | Matthews, Seán | | Reflection in a Logical System
In: Proc.~IMSA '92 Workshop on Reflection and Meta-Level Architecture, 178-183 | Proceedings Article | |
| 1 |
| |
| | 2005 | [Daum, Matthias]
Maus, Stefan
[Schirmer, Norbert]
Seghir, Mohammed Nassim | | Integration of a Software Model Checker into Isabelle
In: Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, LPAR 2005, 381-395 | Proceedings Article | |
| 1 |
| |
| | 2000 | [Göbel, Manfred]
Maier, Patrick | | Three Remarks on Comprehensive Gröbner and SAGBI Bases
In: Proceedings of the 3rd Workshop on Computer Algebra in Scientific Computing (CASC-2000), 191-202 | Proceedings Article | |
| 3 |
| |
| | 2002 | Ganzinger, Harald
[McAllester, David] | | Logical Algorithms
In: Logic Programming. 18th International Conference, ICLP 2002, 209-223 | Proceedings Article | |
| | 2001 | Ganzinger, Harald
[McAllester, David] | | A new meta-complexity theorem for bottom-up logic programs
In: Automated reasoning : First International Joint Conference, IJCAR 2001, 514-528 | Proceedings Article | |
| | 1998 | Charatonik, Witold
[McAllester, David]
[Niwinski, Damian]
Podelski, Andreas
[Walukiewicz, Igor] | | The Horn Mu-calculus
In: Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science (LICS-98), 58-69 | Proceedings Article | |
| 4 |
| |
| | 2000 | de Nivelle, Hans
[Bezem, Marc]
[Hendriks, Dimitri] | | Automated Proof Construction in Type Theory Using Resolution
In: Proceedings of the 17th International Conference on Automated Deduction (CADE-17), 148-163 | Proceedings Article | |
| | 2000 | Sofronie-Stokkermans, Viorica | | On unification for bounded distributive lattices
In: Proceedings of the 17th International Conference on Automated Deduction (CADE-17), 465-481 | Proceedings Article | |
| | 1999 | Waldmann, Uwe | | Cancellative Superposition Decides the Theory of Divisible Torsion-Free Abelian Groups
In: Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR-99), 131-147 | Proceedings Article | |
| | 1999 | | | Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR-99) | Proceedings | |
| 3 |
| McCluskey, Lee (ed.) |
| |
| | 2006 | [Domshlak, Carmel]
Hoffmann, Jörg | | Fast Probabilistic Planning Through Weighted Model Counting
In: Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling (ICAPS 2006), 243-252 | Proceedings Article | |
| | 2006 | Hoffmann, Jörg
[Sabharwal, Ashish]
[Domshlak, Carmel] | | Friends or Foes? An AI Planning Perspective on Abstraction and Search
In: Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling (ICAPS 2006), 294-303 | Proceedings Article | |
| | 2006 | Hoffmann, Jörg
[Gomes, Carla]
[Selman, Bart] | | Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning
In: Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling (ICAPS 2006), 284-293 | Proceedings Article | |
| 2 |
| McCune, William (ed.) |
| |
| | 1997 | Matthews, Seán | | A practical implementation of simple consequence relations using inductive definitions
In: Proceedings of the 14th International Conference on Automated Deduction (CADE-14), 306-320 | Proceedings Article | |
| | 1997 | Ganzinger, Harald
Meyer, Christoph
Weidenbach, Christoph | | Soft Typing for Ordered Resolution
In: Proceedings of the 14th International Conference on Automated Deduction (CADE-14), 321-335 | Proceedings Article | |
| 2 |
| McKinley, Kathryn S. (ed.) |
| |
| | 2007 | [Beyer, Dirk]
[Henzinger, Thomas]
[Majumdar, Rupak]
Rybalchenko, Andrey | | Path Invariants
In: PLDI'07 : Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 300-309 | Proceedings Article | |
| | 2007 | [Cook, Byron]
[Podelski, Andreas]
Rybalchenko, Andrey | | Proving Thread Termination
In: PLDI'07 : Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 320-330 | Proceedings Article | |
| 1 |
| McNamara, Paul (ed.) |
| |
| | 1999 | van der Torre, Leendert W. N.
[Tan, Yao-Hua] | | An update semantics for deontic reasoning
In: Norms, Logics and Information Systems: New Studies on Deontic Logic and Computer Science, 73-90 | Part of a Book | |
| 1 |
| McRobbie, Michael A. (ed.) |
| |
| | 1996 | Ganzinger, Harald
Waldmann, Uwe | | Theorem Proving in Cancellative Abelian Monoids (Extended Abstract)
In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), 388-402 | Proceedings Article | |
| 8 |
| McRobbie, M. A. (ed.) |
| |
| | 1996 | Graf, Peter
Meyer, Christoph | | Advanced indexing operations on substitution trees
In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), 553-567 | Proceedings Article | |
| | 1996 | Vorobyov, Sergei | | An improved lower bound for the elementary theories of trees
In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), 275-287 | Proceedings Article | |
| | 1996 | Graf, Peter | | Path indexing for AC-theories
In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), 718-732 | Proceedings Article | |
| | 1996 | Nonnengart, Andreas | | Resolution-Based Calculi for Modal and Temporal Logics
In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), 598-612 | Proceedings Article | |
| | 1996 | Ohlbach, Hans Jürgen | | SCAN-Elimination of Predicate Quantifiers
In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), 161-165 | Proceedings Article | |
| | 1996 | Weidenbach, Christoph
[Gaede, Bernd]
[Rock, Georg] | | SPASS & FLOTTER, Version 0.42
In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), 141-145 | Proceedings Article | |
| | 1996 | Basin, David A.
Matthews, Seán | | Structuring metatheory on inductive definitions
In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), 171-185 | Proceedings Article | |
| | 1996 | Weidenbach, Christoph | | Unification in Pseudo-Linear Sort Theories is Decidable
In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), 343-357 | Proceedings Article | |
| 1 |
| |
| | 2004 | Baumgartner, Peter
[Mediratta, Anupam] | | 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 | |
| 1 |
| |
| | 2005 | Freiheit, Jörn
[Münch, Susanne]
[Schöttle, Hendrik]
[Sijanski, Grozdana]
[Zangl, Fabrice] | | 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 | |
| 1 |
| |
| | 2004 | Baumgartner, Peter
[Grabowski, Barbara]
[Oevel, Walter]
[Melis, Erica] | | In2Math - Interaktive Mathematik- und Informatikgrundausbildung
In: Softwaretechnik-Trends [24], 36-45 | Journal Article | |
| 1 |
| |
| | 1995 | Jaeger, Manfred | | Minimum Cross-Entropy Reasoning: A Statistical Justification
In: Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI-95), 1847-1852 | Proceedings Article | |
| 1 |
| |
| | 1995 | Bundy, Alan
[Lombart, V.] | | Relational Rippling: a General Approach
In: Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI-95), 175-181 | Proceedings Article | |
| 1 |
| |
| | 2005 | Freiheit, Jörn
[Münch, Susanne]
[Schöttle, Hendrik]
[Sijanski, Grozdana]
[Zangl, Fabrice] | | 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 | |
| 1 |
| |
| | 2006 | [Simon, Carlo]
Freiheit, Jörn
[Olbrich, Sebastian] | | Using BPEL processes defined by Event-driven Process Chains
In: 5. GI-Workshop "EPK 2006 - Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten", 121-135 | Proceedings Article | |
| 2 |
| |
| | 2006 | de Nivelle, Hans
[Meng, Jia] | | Geo 2006j | Miscellaneous | |
| | 2006 | de Nivelle, Hans
[Meng, Jia] | | Geometric Resolution: A Proof Procedure Based on Finite Model Search
In: Automated reasoning : Third International Joint Conference, IJCAR 2006, 303-317 | Proceedings Article | |
| 1 |
| Meter, Peter |
| |
| | 2009 | Meter, Peter | | Just a test entry
In: Booktitle, 1001-1010 | Proceedings Article | |
| 1 |
| Meyer auf der Heide, Friedhelm (ed.) |
| |
| | 1996 | Ganzinger, Harald | | Saturation-based theorem proving (abstract)
In: Automata, Languages and Programming: International Colloquium (ICALP-23), 1-3 | Proceedings Article | |
| 1 |
| Meyers, Karen (ed.) |
| |
| | 2005 | Hoffmann, Jörg
[Brafman, Ronen] | | Contingent Planning via Heuristic Forward Search with Implicit Belief States
In: 15th International Conference on Automated Planning and Scheduling, 71-80 | Proceedings Article | |
| 1 |
| Meyer, A. R. (ed.) |
| |
| | 1991 | Basin, David A.
Howe, D. | | Some Normalization Properties of Martin-Löf's Type Theory, and Applications
In: International Conference on Theoretical Aspects of Computer Software (TACS '91), 475-494 | Proceedings Article | |
| 8 |
| Meyer, Christoph |
| |
| | 2001 | Ganzinger, Harald
Hustadt, Ullrich
Meyer, Christoph
Schmidt, Renate A. | | A Resolution-Based Decision Procedure for Extensions of K4
In: Advances in Modal Logic, Volume 2, 225-246 | Part of a Book | |
| | 1999 | Meyer, Christoph | | Soft Typing for Clausal Inference Systems
Universität des Saarlandes | Thesis - PhD thesis | |
| | 1999 | Ganzinger, Harald
Meyer, Christoph
Veanes, Margus | | The Two-Variable Guarded Fragment with Transitive Relations
In: Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science (LICS-99), 24-34 | Proceedings Article | |
| | 1998 | Weidenbach, Christoph
Meyer, Christoph
Cohrs, Christian
Engel, Thorsten
Keen, Enno | | SPASS V0.77
In: Journal of Automated Reasoning [21], 113-113 | Journal Article | |
| | 1998 | [Jacquemard, Florent]
Meyer, Christoph
Weidenbach, Christoph | | Unification in Extensions of Shallow Equational Theories
In: Proceedings of the 9th International Conference on Rewriting Techniques and Applications (RTA-98), 76-90 | Proceedings Article | |
| | 1997 | Ganzinger, Harald
Meyer, Christoph
Weidenbach, Christoph | | Soft Typing for Ordered Resolution
In: Proceedings of the 14th International Conference on Automated Deduction (CADE-14), 321-335 | Proceedings Article | |
| | 1996 | Graf, Peter
Meyer, Christoph | | Advanced indexing operations on substitution trees
In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), 553-567 | Proceedings Article | |
| | 1996 | Meyer, Christoph | | Parallel Unit Resulting Resolution
Universität des Saarlandes | Thesis - Masters thesis | |
| 1 |
| |
| | 2006 | [Meyer, Roland]
[Faber, Johannes]
Rybalchenko, Andrey | | Model checking Duration Calculus: a practical approach
In: Theoretical Aspects of Computing - ICTAC 2006 : Third International Colloquium, 332-346 | Proceedings Article | |
| 1 |
| |
| | 2001 | Charatonik, Witold
[Dal Zilio, Silvano]
[Gordon, Andrew Donald]
Mukhopadhyay, Supratik
Talbot, Jean-Marc | | The Complexity of Model Checking Mobile Ambients
In: Foundations of Software Science and Computation Structures. Proceedings of the 4th International Conference (FOSSACS-01). Held as Part of the Joint European Conferences on Theory and Practice of Software (ETAPS-01), 152-167 | Proceedings Article | |
| 1 |
| |
| | 2003 | Jaeger, Manfred | | Probabilistic Classifiers and the Concepts they Recognize
In: Proceedings of the Twentieth International Conference on Machine Learning (ICML-03), 266-273 | Proceedings Article | |
| 1 |
| |
| | 1995 | Mohr, Erik | | Resolution-Based Calculi for Modal Logics
Universität des Saarlandes | Thesis - Masters thesis | |
| 2 |
| |
| | 2004 | [Goranko, Valentin]
[Hustadt, Ullrich]
Schmidt, Renate A.
[Vakarelov, Dimiter] | | 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 | |
| | 2004 | Schmidt, Renate A.
Orłowska, Ewa
[Hustadt, Ullrich] | | Two Proof Systems for Peirce Algebras
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, 238-251 | Proceedings Article | |
| 1 |
| Monien, Burkhard (ed.) |
| |
| | 1996 | Ganzinger, Harald | | Saturation-based theorem proving (abstract)
In: Automata, Languages and Programming: International Colloquium (ICALP-23), 1-3 | Proceedings Article | |
| 1 |
| Montanari, Ugo (ed.) |
| |
| | 1995 | Podelski, Andreas
Smolka, Gert | | Situated Simplification
In: Proceedings of the First International Conference on Principles and Practice of Constraint Programming (CP'95), 328-344 | Proceedings Article | |
| 1 |
| Moral, Serafín (ed.) |
| |
| | 1998 | Jaeger, Manfred | | Measure Selection: Notions of Rationality and Representation Independence
In: Proceedings of the 14th Conference on Uncertainty in Artificial Intelligence (UAI-98), 274-281 | Proceedings Article | |
| 2 |
| Moral, S. (ed.) |
| |
| | 1993 | Fehrer, Detlef | | A Unifying Framework for Reason Maintenance
In: Symbolic and Quantitative Approaches to Reasoning and Uncertainty: Proceedings European Conference ECSQARU '93, 113-120 | Proceedings Article | |
| | 1993 | Weydert, Emil | | Plausible Inference for Default Conditionals
In: Symbolic and Quantitative Approaches to Reasoning and Uncertainty: Proceedings of the European Conference ECSQARU '93, 356-363 | Proceedings Article | |
| 1 |
| |
| | 2005 | Ratschan, Stefan
She, Zhikun | | Safety Verification of Hybrid Systems by Constraint Propagation Based Abstraction Refinement
In: Hybrid Systems: Computation and Control: 8th International Workshop, HSCC 2005, 573-589 | Proceedings Article | |
| 1 |
| Moreno Navarro, Juan José (ed.) |
| |
| | 1996 | Bockmayr, Alexander | | Constraints in functional logic programming (Abstract)
In: Integration of functional and logic languages, 4 | Proceedings Article | |
| 1 |
| |
| | 2005 | [Goncharov, Sergey]
[Harizanov, Valentina]
[Knight, Julia F.]
[Morozov, Andrey]
Romina, Anya | | On automorphic tuples of elements in computable models
In: Siberian Mathematical Journal [46], 405-412 | Journal Article | |
| 1 |
| |
| | 1993 | Bockmayr, Alexander | | Embedding OR Techniques in Constraint Logic Programming
In: Operations Research '92. 17th Symposium on Operations Research, 252-254 | Proceedings Article | |
| 1 |
| |
| | 1995 | Baumeister, Hubert | | Relations as Abstract Datatypes: An Institution to Specify Relations between Algebras
In: Proceedings of the 6th Joint Conference on Theory and Practice of Software Development (TAPSOFT '95), 756-771 | Proceedings Article | |
| 1 |
| |
| | 1995 | Krishna Rao, M. R. K. | | Semi-completeness of Hierarchical and Super-hierarchical Combinations of Term Rewriting Systems
In: Proceedings of the 6th Joint Conference on Theory and Practice of Software Development, 379-393 | Proceedings Article | |
| 1 |
| |
| | 1993 | Werner, Andreas
Bockmayr, Alexander
Krischer, Stefan | | How to Realize LSE Narrowing
In: Proceedings of the 2nd International Workshop on Functional/Logic Programming, ?-? | Proceedings Article | |
| 12 |
| |
| | 2003 | Charatonik, Witold
[Dal Zilio, Silvano]
[Gordon, Andrew Donald]
[Mukhopadhyay, Supratik]
[Talbot, Jean-Marc] | | Model checking mobile ambients
In: Theoretical Computer Science [308], 277-331 | Journal Article | |
| | 2002 | Mukhopadhyay, Supratik
Podelski, Andreas | | An Algebraic Framework for Abstract Model Checking
In: Abstraction, reformulation, and approximation : 5th International Symposium, SARA 2002, 152-169 | Proceedings Article | |
| | 2002 | Charatonik, Witold
Mukhopadhyay, Supratik
Podelski, Andreas | | Compositional Termination Analysis of Symbolic Forward Analysis
In: Verification, Model Checking, and Abstract Interpretation. Third International Workshop, VMCAI 2002, 109-125 | Proceedings Article | |
| | 2002 | Charatonik, Witold
Mukhopadhyay, Supratik
Podelski, Andreas | | Constraint-Based Infinite Model Checking and Tabulation for Stratified CLP
In: Logic Programming. 18th International Conference, ICLP 2002, 115-129 | Proceedings Article | |
| | 2001 | Mukhopadhyay, Supratik | | A Uniform Constraint-based Framework for the Verification of Infinite State Systems
Universität des Saarlandes | Thesis - PhD thesis | |
| | 2001 | Mukhopadhyay, Supratik
Podelski, Andreas | | Accurate Widenings and Boundedness Properties of Timed Systems
In: Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, 79-94 | Proceedings Article | |
| | 2001 | Mukhopadhyay, Supratik
Podelski, Andreas | | Constraint Database Models Characterizing Timed Bisimilarity
In: Proceedings of the 3rd International Symposium on Practical Aspects of Declarative Languages, 245-258 | Proceedings Article | |
| | 2001 | [Argon, Pablo]
[Delzanno, Giorgio]
Mukhopadhyay, Supratik
Podelski, Andreas | | Model Checking for Communication Protocols
In: Proceedings of the 28th Annual Conference on Current Trends in Theory and Practice of Informatics (SOFSEM-2001), 160-170 | Proceedings Article | |
| | 2001 | Charatonik, Witold
[Dal Zilio, Silvano]
[Gordon, Andrew Donald]
Mukhopadhyay, Supratik
[Talbot, Jean-Marc] | | The Complexity of Model Checking Mobile Ambients | Report | |
| | 2001 | Charatonik, Witold
[Dal Zilio, Silvano]
[Gordon, Andrew Donald]
Mukhopadhyay, Supratik
Talbot, Jean-Marc | | The Complexity of Model Checking Mobile Ambients
In: Foundations of Software Science and Computation Structures. Proceedings of the 4th International Conference (FOSSACS-01). Held as Part of the Joint European Conferences on Theory and Practice of Software (ETAPS-01), 152-167 | Proceedings Article | |
| | 2000 | Mukhopadhyay, Supratik
Podelski, Andreas | | Model Checking for Timed Logic Processes
In: Proceedings of the 1st International Conference on Computational Logic, 598-612 | Proceedings Article | |
| | 1999 | Mukhopadhyay, Supratik
Podelski, Andreas | | Beyond Region Graphs: Symbolic Forward Analysis of Timed Automata
In: Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science (FST&TCS-99), 232-244 | Proceedings Article | |
| 1 |
| Mukhopadhyay, Supratik (ed.) |
| |
| | 2003 | Podelski, Andreas | | Software Model Checking with Abstraction Refinement
In: Verification, model checking, and abstract interpretation : 4th International Conference, VMCAI 2003, 1-13 | Proceedings Article | |
| 5 |
| Müller, Martin |
| |
| | 2000 | [Müller, Martin]
[Niehren, Joachim]
Podelski, Andreas | | Ordering Constraints over Feature Trees
In: Constraints [5], 7-41 | Journal Article | |
| | 1999 | Talbot, Jean-Marc
[Niehren, Joachim]
[Müller, Martin] | | Entailment of Atomic Set Constraints is PSPACE-Complete
In: Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science (LICS-99), 285-294 | Proceedings Article | |
| | 1999 | Podelski, Andreas
Charatonik, Witold
[Müller, Martin] | | Set-based Failure Analysis for Logic Programs and Concurrent Constraint Programs
In: Programming Languages and Systems: Proceedings of the 8th European Symposium on Programming (ESOP-99), 177-192 | Proceedings Article | |
| | 1997 | [Müller, Martin]
[Niehren, Joachim]
Podelski, Andreas | | Inclusion Constraints over Non-empty Sets of Trees
In: Proceedings of the 7th International Joint Conference CAAP/FASE: Theory and practice of software development (TAPSOFT-97), 345-356 | Proceedings Article | |
| | 1997 | [Müller, Martin]
[Niehren, Joachim]
Podelski, Andreas | | Ordering Constraints over Feature Trees
In: Proceedings of the 3rd International Conference on Principles and Practice of Constraint Programming (CP-97), 549-562 | Proceedings Article | |
| 2 |
| Münch, Susanne |
| |
| | 2006 | Freiheit, Jörn
[Luuk, Marc]
[Münch, Susanne]
[Sijanski, Grozdana]
[Zangl, Fabrice] | | Lexecute: Visualisation and representation of legal procedures
In: Digital Evidence Journal [3], 17-27 | Journal Article | |
| | 2005 | Freiheit, Jörn
[Münch, Susanne]
[Schöttle, Hendrik]
[Sijanski, Grozdana]
[Zangl, Fabrice] | | 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 | |
| 1 |
| |
| | 1993 | [Bachmair, Leo]
Ganzinger, Harald
Waldmann, Uwe | | Superposition with simplification as a decision procedure for the monadic class with equality
In: Computational Logic and Proof Theory, Third Kurt Gödel Colloquium, KGC'93, 83-96 | Proceedings Article | |
| 1 |
| |
| | 1997 | Basin, David A.
Matthews, Seán
Viganò, Luca | | A New Method for Bounding the Complexity of Modal Logics
In: Proceedings of the 5th Kurt Gödel Colloquium on Computational Logic and Proof Theory (KGC-97), 89-102 | Proceedings Article | |
| 1 |
| |
| | 1999 | Tzakova, Miroslava | | Tableau Calculi for Hybrid Logics
In: Proceedings of the International Conference TABLEAUX'99 - Automated Reasoning with Analytic Tableaux and Related Methods, 278-292 | Proceedings Article | |
| 1 |
| |
| | 2003 | Hoffmann, Jörg
[Geffner, Hector] | | Branching Matters: Alternative Branching in Graphplan
In: 13th International Conference on Automated Planning and Scheduling (ICAPS-13), 22-31 | Proceedings Article | |
| 1 |
| |
| | 1995 | Krishna Rao, M. R. K.
Shyamasundar, R. K. | | Unification-free Execution of Well-moded Prolog Programs
In: Proc. of International Static Analysis Symposium, 243-260 | Proceedings Article | |
| 1 |
| |
| | 2003 | Sofronie-Stokkermans, Viorica | | Automated theorem proving by resolution in non-classical logics
In: Fourth International Conference Journees de l'Informatique Messine: Knowledge Discovery and Discrete Mathematics (JIM-03), 151-167 | Proceedings Article | |
| 1 |
| |
| | 2001 | Backes, Werner
[Wetzel, Susanne] | | Lattice Basis Reduction with Dynamic Approximation
In: Proceedings of the 4th Workshop On Algorithm Engineering (WAE-2000), 63-73 | Proceedings Article | |
| 1 |
| |
| | 2006 | Wies, Thomas
[Kuncak, Viktor]
[Lam, Patrick]
Podelski, Andreas
[Rinard, Martin C.] | | Field Constraint Analysis
In: Verification, Model Checking, and Abstract Interpretation : 7th International Conference, VMCAI 2006, 157-173 | Proceedings Article | |
| 1 |
| |
| | 2003 | Sofronie-Stokkermans, Viorica | | Automated theorem proving by resolution in non-classical logics
In: Fourth International Conference Journees de l'Informatique Messine: Knowledge Discovery and Discrete Mathematics (JIM-03), 151-167 | Proceedings Article | |
| 1 |
| |
| | 1995 | Ohlbach, Hans Jürgen
Schmidt, Renate A.
Hustadt, Ullrich | | Symbolic Arithmetical Reasoning with Qualified Number Restrictions
In: Proceedings of International Workshop on Description Logics'95, 89-95 | Proceedings Article | |
| 2 |
| |
| | 2000 | [Degtyarev, Anatoli]
[Gurevich, Yuri]
[Narendran, Paliath]
Veanes, Margus
[Voronkov, Andrei] | | Decidability and Complexity of Simultaneous Rigid E-unification with One Variable and Related Results
In: Theoretical Computer Science [243], 167-184 | Journal Article | |
| | 1998 | [Degtyarev, Anatoli]
[Gurevich, Yuri]
[Narendran, Paliath]
Veanes, Margus
[Voronkov, Andrei] | | The Decidability of Simultaneous Rigid E-Unification with One Variable
In: Proceedings of the 9th International Conference on Rewriting Techniques and Applications (RTA-98), 181-195 | Proceedings Article | |
| 1 |
| Narendran, Paliath (ed.) |
| |
| | 1999 | Stuber, Jürgen | | Theory path orderings
In: Proceedings of the 10th International Conference on Rewriting Techniques and Applications (RTA-99), 148-162 | Proceedings Article | |
| 1 |
| Naumann, Stefan |
| |
| | 1997 | Naumann, Stefan | | Integration des automatischen Beweisers SPASS in die mathematische Assistenzumgebung OMEGA
Universität des Saarlandes | Thesis - Masters thesis | |
| 1 |
| Nau, Dana (ed.) |
| |
| | 2003 | Hoffmann, Jörg
[Geffner, Hector] | | Branching Matters: Alternative Branching in Graphplan
In: 13th International Conference on Automated Planning and Scheduling (ICAPS-13), 22-31 | Proceedings Article | |
| 2 |
| Nebel, Bernhard |
| |
| | 2004 | [Trueg, Sebastian]
Hoffmann, Jörg
[Nebel, Bernhard] | | Applying Automatic Planning Systems to Airport Ground Traffic Control -- A Feasibility Study
In: KI 2004: Advances in Artificial Intelligence: 27th Annual German Conference on AI, KI 2004, 183-197 | Proceedings Article | |
| | 2003 | [Thiebaux, Sylvie]
Hoffmann, Jörg
[Nebel, Bernhard] | | In Defense of PDDL Axioms
In: 18th International Joint Conference on Artificial Intelligence, 961-966 | Proceedings Article | |
| 1 |
| Nebel, Bernhard Nebel (ed.) |
| |
| | 1992 | Gabbay, Dov M.
Ohlbach, Hans Jürgen | | 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 | |
| 5 |
| |
| | 2001 | Jaeger, Manfred | | Constraints as Data: a New Perspective on Inferring Probabilities
In: Proceedings of the 17th International Joint Conference on Artificial Intelligence (IJCAI-01), 755-760 | Proceedings Article | |
| | 1997 | Basin, David A.
Matthews, Seán
Viganò, Luca | | Labelled quantified modal logics
In: Proceedings of the 21st Annual German Conference on Artificial Intelligence (KI-97): Advances in Artificial Intelligence, 171-182 | Proceedings Article | |
| | 1997 | van der Torre, Leendert W. N.
[Tan, Yao-Hua] | | Reasoning about exceptions
In: Proceedings of the 21st Annual German Conference on Artificial Intelligence (KI-97): Advances in Artificial Intelligence, 405-408 | Proceedings Article | |
| | 1994 | Madden, Peter | | Formal Methods for Automated Program Improvement
In: KI-94: Advances in Artificial Intelligence. Proceedings of the 18th German Annual Conference on Artificial Intelligence, 367-378 | Proceedings Article | |
| | 1994 | Weydert, Emil | | Hyperrational Conditionals
In: Foundations of Knowledge Representation and Reasoning, 310-332 | Proceedings Article | |
| 1 |
| |
| | 1995 | Ohlbach, Hans Jürgen
Schmidt, Renate A.
Hustadt, Ullrich | | Symbolic Arithmetical Reasoning with Qualified Number Restrictions
In: Proceedings of International Workshop on Description Logics'95, 89-95 | Proceedings Article | |
| 1 |
| |
| | 1993 | Weydert, Emil | | Default Quantifiers: About Plausible Reasoning in First-Order Contexts
In: Working Notes of the Dutch/German Workshop on Nonmonotonic Reasoning Techniques and their Applications, ? | Proceedings Article | |
| 1 |
| |
| | 1992 | Frank, Ian
Basin, David A.
Bundy, Alan | | 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 | |
| 1 |
| |
| | 1996 | Jaeger, Manfred
Mannila, Heikki
Weydert, Emil | | Data Mining as Selective Theory Extraction in Probabilistic Logic
In: Proceedings of the 1996 SIGMOD Workshop on Research Issues in Data Mining and Knowledge Discovery, - | Proceedings Article | |
| 4 |
| |
| | 2000 | [Müller, Martin]
[Niehren, Joachim]
Podelski, Andreas | | Ordering Constraints over Feature Trees
In: Constraints [5], 7-41 | Journal Article | |
| | 1999 | Talbot, Jean-Marc
[Niehren, Joachim]
[Müller, Martin] | | Entailment of Atomic Set Constraints is PSPACE-Complete
In: Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science (LICS-99), 285-294 | Proceedings Article | |
| | 1997 | [Müller, Martin]
[Niehren, Joachim]
Podelski, Andreas | | Inclusion Constraints over Non-empty Sets of Trees
In: Proceedings of the 7th International Joint Conference CAAP/FASE: Theory and practice of software development (TAPSOFT-97), 345-356 | Proceedings Article | |
| | 1997 | [Müller, Martin]
[Niehren, Joachim]
Podelski, Andreas | | Ordering Constraints over Feature Trees
In: Proceedings of the 3rd International Conference on Principles and Practice of Constraint Programming (CP-97), 549-562 | Proceedings Article | |
| 1 |
| Nielsen, Mogen (ed.) |
| |
| | 1999 | Cortier, V.
Ganzinger, Harald
Jacquemard, Florent
Veanes, Margus | | Decidable fragments of simultaneous rigid reachability
In: Proceedings of the 26th International Colloquium on Automata, Languages and Programming (ICALP-99), 250-260 | Proceedings Article | |
| 3 |
| Nielsen, Mogens (ed.) |
| |
| | 1998 | [Abdelwaheb, Ayari]
[Basin, David A.]
Podelski, Andreas | | LISA: A Specification Language Based on WS2S
In: Proceedings of the 11th International Workshop on Computer Science Logic (CSL-97), 18-34 | Proceedings Article | |
| | 1995 | Baumeister, Hubert | | Relations as Abstract Datatypes: An Institution to Specify Relations between Algebras
In: Proceedings of the 6th Joint Conference on Theory and Practice of Software Development (TAPSOFT '95), 756-771 | Proceedings Article | |
| | 1995 | Krishna Rao, M. R. K. | | Semi-completeness of Hierarchical and Super-hierarchical Combinations of Term Rewriting Systems
In: Proceedings of the 6th Joint Conference on Theory and Practice of Software Development, 379-393 | Proceedings Article | |
| 1 |
| Nielsen, Thomas D. (ed.) |
| |
| | 2003 | Jaeger, Manfred | | A Representation Theorem and Applications
In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty :
7th European Conference, ECSQARU 2003, 50-61 | Proceedings Article | |
| 1 |
| Nielson, Flemming |
| |
| | 2001 | Nielson, Flemming
[Seidl, Helmut] | | Control-Flow Analysis in Cubic Time
In: Proceedings of the 10th European Symposium on Programming (ESOP-01) held as part of the Joint European Conferences on Theory and Practice of Software (ETAPS-01), 252-268 | Proceedings Article | |
| 1 |
| Niemelä, Ilkka (ed.) |
| |
| | 1996 | Weydert, Emil | | Default Quantifier Logic
In: Proceedings of the ECAI'96 Workshop on Integrating Nonmonotonicity into Automated Reasoning Systems, - | Proceedings Article | |
| 6 |
| Nieuwenhuis, Robert |
| |
| | 2004 | Ganzinger, Harald
[Hagen, George]
[Nieuwenhuis, Robert]
[Oliveras, Albert]
[Tinelli, Cesare] | | DPLL(T): Fast Decision Procedures
In: Computer aided verification : 16th International Conference, CAV 2004, 175-188 | Proceedings Article | |
| | 2004 | Ganzinger, Harald
[Nieuwenhuis, Robert]
[Nivela, Pilar] | | Fast Term Indexing with Coded Context Trees
In: Journal of Automated Reasoning [32], 103-120 | Journal Article | |
| | 2001 | Ganzinger, Harald
[Nieuwenhuis, Robert] | | Constraints and Theorem Proving
In: Contraints in Computational Logics, International Summer School (CCL-99), 159-201 | Proceedings Article | |
| | 2001 | Ganzinger, Harald
[Nieuwenhuis, Robert]
[Nivela, Pilar] | | Context trees
In: Automated reasoning : First International Joint Conference, IJCAR 2001, 242-256 | Proceedings Article | |
| | 2001 | [Nieuwenhuis, Robert]
Hillenbrand, Thomas
[Riazanov, Alexandre]
[Voronkov, Andrei] | | On the Evaluation of Indexing Techniques for Theorem Proving
In: Automated reasoning : First International Joint Conference, IJCAR 2001, 257-271 | Proceedings Article | |
| | 1993 | Bertling, Hubert
Ganzinger, Harald
Schäfers, Renate
Nieuwenhuis, Robert
Orejas, Fernando | | Completion Subsystem
In: Program Development by Specification and Transformation, The PROSPECTRA Methodology, Language Family, and System, 460-494 | Part of a Book | |
| 4 |
| Nieuwenhuis, Robert (ed.) |
| |
| | 2005 | Sofronie-Stokkermans, Viorica | | Hierarchic reasoning in local theory extensions
In: Automated deduction - CADE-20 : 20th International Conference on Automated Deduction, 219-234 | Proceedings Article | |
| | 2005 | Baumgartner, Peter
[Tinelli, Cesare] | | The Model Evolution Calculus with Equality
In: Automated deduction - CADE-20 : 20th International Conference on Automated Deduction, 392-408 | Proceedings Article | |
| | 2001 | Afshordel, Bijan
Hillenbrand, Thomas
Weidenbach, Christoph | | First-Order Atom Definitions Extended
In: Proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-2001), 309-319 | Proceedings Article | |
| | 2001 | de Nivelle, Hans | | Splitting through New Proposition Symbols
In: Proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-2001), 172-185 | Proceedings Article | |
| 9 |
| Nipkow, Tobias (ed.) |
| |
| | 2001 | Ganzinger, Harald
[McAllester, David] | | A new meta-complexity theorem for bottom-up logic programs
In: Automated reasoning : First International Joint Conference, IJCAR 2001, 514-528 | Proceedings Article | |
| | 2001 | de Nivelle, Hans
[Pratt-Hartmann, Ian] | | A Resolution-Based Decision Procedure for the Two-Variable Fragment with Equality
In: Automated reasoning : First International Joint Conference, IJCAR 2001, 211-225 | Proceedings Article | |
| | 2001 | Ganzinger, Harald
[Nieuwenhuis, Robert]
[Nivela, Pilar] | | Context trees
In: Automated reasoning : First International Joint Conference, IJCAR 2001, 242-256 | Proceedings Article | |
| | 2001 | [Nieuwenhuis, Robert]
Hillenbrand, Thomas
[Riazanov, Alexandre]
[Voronkov, Andrei] | | On the Evaluation of Indexing Techniques for Theorem Proving
In: Automated reasoning : First International Joint Conference, IJCAR 2001, 257-271 | Proceedings Article | |
| | 2001 | Waldmann, Uwe | | Superposition and Chaining for Totally Ordered Divisible Abelian Groups (Extended Abstract)
In: Automated reasoning : First International Joint Conference, IJCAR 2001, 226-241 | Proceedings Article | |
| | 1998 | Charatonik, Witold
Podelski, Andreas | | Co-definite Set Constraints
In: Proceedings of the 9th International Conference on Rewriting Techniques and Applications (RTA-98), 211-225 | Proceedings Article | |
| | 1998 | Schmidt, Renate A. | | E-Unification for Subsystems of S4
In: Proceedings of the 9th International Conference on Rewriting Techniques and Applications (RTA-98), 106-120 | Proceedings Article | |
| | 1998 | [Degtyarev, Anatoli]
[Gurevich, Yuri]
[Narendran, Paliath]
Veanes, Margus
[Voronkov, Andrei] | | The Decidability of Simultaneous Rigid E-Unification with One Variable
In: Proceedings of the 9th International Conference on Rewriting Techniques and Applications (RTA-98), 181-195 | Proceedings Article | |
| | 1998 | [Jacquemard, Florent]
Meyer, Christoph
Weidenbach, Christoph | | Unification in Extensions of Shallow Equational Theories
In: Proceedings of the 9th International Conference on Rewriting Techniques and Applications (RTA-98), 76-90 | Proceedings Article | |
| 1 |
| Nivat, Maurice |
| |
| | 1997 | [Nivat, Maurice]
Podelski, Andreas | | Minimal Ascending and Descending Tree Automata
In: SIAM Journal on Computing [26], 39-58 | Journal Article | |
| 2 |
| Nivat, Maurice (ed.) |
| |
| | 1996 | Krishna Rao, M. R. K. | | Some characteristics of strong innermost normalization
In: Algebraic Methodology and Software Technology, 5th International Conference, AMAST '96, 406-420 | Proceedings Article | |
| | 1994 | [Brink, Chris]
[Britz, Katarina]
Schmidt, Renate A. | | Peirce Algebras: Extended Abstract
In: Proceedings of the 3rd International Conference on Algebraic Methodology and Software Technology (AMAST '93), 163-166 | Proceedings Article | |
| 2 |
| |
| | 2004 | Ganzinger, Harald
[Nieuwenhuis, Robert]
[Nivela, Pilar] | | Fast Term Indexing with Coded Context Trees
In: Journal of Automated Reasoning [32], 103-120 | Journal Article | |
| | 2001 | Ganzinger, Harald
[Nieuwenhuis, Robert]
[Nivela, Pilar] | | Context trees
In: Automated reasoning : First International Joint Conference, IJCAR 2001, 242-256 | Proceedings Article | |
| 1 |
| Niwinski, Damian |
| |
| | 1998 | Charatonik, Witold
[McAllester, David]
[Niwinski, Damian]
Podelski, Andreas
[Walukiewicz, Igor] | | The Horn Mu-calculus
In: Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science (LICS-98), 58-69 | Proceedings Article | |
| 15 |
| Nonnengart, Andreas |
| |
| | 2001 | Nonnengart, Andreas
Weidenbach, Christoph | | Computing small clause normal forms
In: Handbook of Automated Reasoning, 335-367 | Part of a Book | |
| | 2001 | Nonnengart, Andreas
[Ohlbach, Hans Jürgen]
[Gabbay, Dov M.] | | Encoding two-valued non-classical logics in classic logic
In: Handbook of Automated Reasoning, 1403-1486 | Part of a Book | |
| | 2001 | Nonnengart, Andreas
[Ohlbach, Hans Jürgen]
[Szalas, Andrzej] | | Quantifier Elimination for Second-Order Predicate Logic | Unpublished/Draft | |
| | 2001 | Nonnengart, Andreas | | Strong Skolemization | Unpublished/Draft | |
| | 1999 | Nonnengart, Andreas
[Szalas, Andrzej] | | A Fixpoint Approach to Second-Order Quantifier Elimination with Applications to Correspondence Theory
In: Logic at Work: Essays Dedicated to the Memory of Helena Rasiowa, 18 | Part of a Book | |
| | 1998 | Nonnengart, Andreas | | Modal Frame Characterization by Way of Auxiliary Modalities
In: Logic Journal of the IGPL [6], 875-899 | Journal Article | |
| | 1998 | Nonnengart, Andreas
[Rock, Georg]
Weidenbach, Christoph | | On Generating Small Clause Normal Forms
In: Proceedings of the 15th International Conference on Automated Deduction (CADE-98), 397-411 | Proceedings Article | |
| | 1996 | Nonnengart, Andreas | | Resolution-Based Calculi for Modal and Temporal Logics
In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), 598-612 | Proceedings Article | |
| | 1995 | Nonnengart, Andreas | | A Resolution-Based Calculus for Temporal Logics
Universität des Saarlandes | Thesis - PhD thesis | |
| | 1994 | Fehrer, Detlef
Hustadt, Ullrich
Jaeger, Manfred
Nonnengart, Andreas
Ohlbach, Hans Jürgen
Schmidt, Renate A.
Weidenbach, Christoph
Weydert, Emil | | Description Logics for Natural Language Processing
In: International Workshop on Description Logics '94, 80-84 | Proceedings Article | |
| | 1994 | Nonnengart, Andreas | | How to Use Modalities and Sorts in Prolog
In: Logics in Artificial Intelligence: Proceedings of the JELIA'94, 365-378 | Proceedings Article | |
| | 1993 | Nonnengart, Andreas | | First-Order Modal Logic Theorem Proving and Functional Simulation
In: Proc.~13th Intern.~Joint Conference on Artificial Intelligence (IJCAI '93), 80-85 | Proceedings Article | |
| | 1993 | Hustadt, Ullrich
Nonnengart, Andreas | | Modalities in Knowledge Representation
In: Proc. of the 6th Australian Joint Conference on Artificial Intelligence (AI '93), 249-254 | Proceedings Article | |
| | 1992 | Nonnengart, Andreas
Ohlbach, Hans Jürgen | | Modal- und Temporallogik
In: Deduktionssysteme - Automatisierung des logischen Denkens, 239-284 | Part of a Book | |
| | 1992 | [Eisinger, Norbert]
Nonnengart, Andreas
[Präcklein, Axel] | | Termersetzungssysteme
In: Deduktionssysteme -- Automatisierung des logischen Denkens, 126-149 | Part of a Book | |
| 2 |
| Nonnengart, Andreas (ed.) |
| |
| | 1997 | | | Qualitative and Quantitative Practical Reasoning | Book | |
| | 1997 | Weydert, Emil | | Rational Default Quantifier Logic
In: Proceedings of the 1st International Joint Conference on Qualitative and Quantitative Practical Reasoning (ESQARU-FAPR-97), 589-600 | Proceedings Article | |
| 1 |
| |
| | 2005 | [Cuntz, Nicolas]
Freiheit, Jörn
[Kindler, Ekkart] | | 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 | |
| 1 |
| |
| | 2006 | [Simon, Carlo]
Freiheit, Jörn
[Olbrich, Sebastian] | | Using BPEL processes defined by Event-driven Process Chains
In: 5. GI-Workshop "EPK 2006 - Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten", 121-135 | Proceedings Article | |
| 3 |
| |
| | 1994 | Fehrer, Detlef
Hustadt, Ullrich
Jaeger, Manfred
Nonnengart, Andreas
Ohlbach, Hans Jürgen
Schmidt, Renate A.
Weidenbach, Christoph
Weydert, Emil | | Description Logics for Natural Language Processing
In: International Workshop on Description Logics '94, 80-84 | Proceedings Article | |
| | 1994 | Hustadt, Ullrich | | Do we need the closed-world assumption in knowledge representation?
In: Working Notes of the KI'94 Workshop: Reasoning about Structured Objects: Knowledge Representation meets Databases (KRDB'94), 24-26 | Proceedings Article | |
| | 1993 | Hustadt, Ullrich | | Automated Support for the Development of Non-classical Logics
In: Workshop: Modellierung epistemischer Propositionen, KI '93, | Proceedings Article | |
| 1 |
| |
| | 2006 | Malkis, Alexander
Podelski, Andreas
Rybalchenko, Andrey | | Thread-Modular Verification and Cartesian Abstraction | Unpublished/Draft | |
| 1 |
| |
| | 2004 | Baumgartner, Peter
[Grabowski, Barbara]
[Oevel, Walter]
[Melis, Erica] | | In2Math - Interaktive Mathematik- und Informatikgrundausbildung
In: Softwaretechnik-Trends [24], 36-45 | Journal Article | |
| 29 |
| |
| | 2001 | Nonnengart, Andreas
[Ohlbach, Hans Jürgen]
[Gabbay, Dov M.] | | Encoding two-valued non-classical logics in classic logic
In: Handbook of Automated Reasoning, 1403-1486 | Part of a Book | |
| | 2001 | Nonnengart, Andreas
[Ohlbach, Hans Jürgen]
[Szalas, Andrzej] | | Quantifier Elimination for Second-Order Predicate Logic | Unpublished/Draft | |
| | 1997 | Ohlbach, Hans Jürgen
Schmidt, Renate A. | | Functional Translation and Second-Order Frame Properties of Modal Logics
In: Journal of Logic and Computation [7], 581-603 | Journal Article | |
| | 1996 | Ohlbach, Hans Jürgen
[Koehler, Jana] | | Reasoning about Sets via Atomic Decomposition | Report | |
| | 1996 | Ohlbach, Hans Jürgen | | SCAN-Elimination of Predicate Quantifiers
In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), 161-165 | Proceedings Article | |
| | 1996 | Ohlbach, Hans Jürgen
Schmidt, Renate A.
Hustadt, Ullrich | | Translating Graded Modalities into Predicate Logic
In: Proof Theory of Modal Logic, 253-291 | Part of a Book | |
| | 1995 | Baader, Franz
Ohlbach, Hans Jürgen | | A Multi-Dimensional Terminological Knowledge Representation Language
In: Journal of Applied Non-Classical Logics [5], 153-198 | Journal Article | |
| | 1995 | Ohlbach, Hans Jürgen
Weidenbach, Christoph | | A Note on Assumptions about Skolem Functions
In: Journal of Automated Reasoning [15], 267-275 | Journal Article | |
| | 1995 | Ohlbach, Hans Jürgen | | Boolean Algebras with Functions - Correspondence, Completeness and Quantifier Elimination | Unpublished/Draft | |
| | 1995 | Ohlbach, Hans Jürgen | | Clause Killer Transformations | Unpublished/Draft | |
| | 1995 | Ohlbach, Hans Jürgen
Schmidt, Renate A.
Hustadt, Ullrich | | Symbolic Arithmetical Reasoning with Qualified Number Restrictions
In: Proceedings of International Workshop on Description Logics'95, 89-95 | Proceedings Article | |
| | 1994 | Fehrer, Detlef
Hustadt, Ullrich
Jaeger, Manfred
Nonnengart, Andreas
Ohlbach, Hans Jürgen
Schmidt, Renate A.
Weidenbach, Christoph
Weydert, Emil | | Description Logics for Natural Language Processing
In: International Workshop on Description Logics '94, 80-84 | Proceedings Article | |
| | 1994 | [Brink, Chris]
Gabbay, Dov M.
Ohlbach, Hans Jürgen | | Towards Automating Duality
In: Journal of Computers and Mathematics with Applications [29], 73-90 | Journal Article | |
| | 1993 | Eisinger, Norbert
Ohlbach, Hans Jürgen | | Deduction Systems Based on Resolution
In: Handbook of Logic in Artificial Intelligence and Logic Programming, 184-271 | Proceedings Article | |
| | 1993 | Ohlbach, Hans Jürgen | | Ein kurzes Tutorial über funktionale Übersetzung von Modallogik nach Prädikatenlogik
In: Bericht Nr. 15/93: Recommendations for Extensions to BGP-MS, 19-26 | Proceedings Article | |
| | 1993 | Ohlbach, Hans Jürgen | | Optimized Translation of Multi Modal Logic into Predicate Logic
In: Proceedings of the 4th International Conference on Logic Programming and Automated Reasoning (LPAR'93), 253-264 | Proceedings Article | |
| | 1993 | Ohlbach, Hans Jürgen | | Thema der Antrittsvorlesung: Transformation logischer Systeme
Universität des Saarlandes | Thesis - Habilitation thesis | |
| | 1993 | Ohlbach, Hans Jürgen | | Translation Methods for Non-Classical Logics: An Overview
In: Bulletin of the Interest Group in Propositional and Predicate Logics (IGPL) [1], 69-90 | Journal Article | |
| | 1992 | Gabbay, Dov M.
Ohlbach, Hans Jürgen | | From a Hilbert Calculus to its Model Theoretic Semantics
In: Proc.~4th Annual UK Conference on Logic Programming (APULK '92), 218-252 | Proceedings Article | |
| | 1992 | Ohlbach, Hans Jürgen | | Logic Engineering: Konstruktion von Logiken
In: KI [3], 34-38 | Journal Article | |
| | 1992 | Nonnengart, Andreas
Ohlbach, Hans Jürgen | | Modal- und Temporallogik
In: Deduktionssysteme - Automatisierung des logischen Denkens, 239-284 | Part of a Book | |
| | 1992 | Gabbay, Dov M.
Ohlbach, Hans Jürgen | | 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 | |
| | 1992 | Gabbay, Dov M.
Ohlbach, Hans Jürgen | | Quantifier Elimination in Second-Order Predicate Logic
In: South African Computer Journal [7], 35-43 | Journal Article | |
| | 1991 | Ohlbach, Hans Jürgen
Herzig, A. | | Parameter Structures for Parametrized Modal Operators
In: Proc.~Intern.~Joint Conference on Artificial Intelligence (IJCAI'91), 512-517 | Proceedings Article | |
| | 1991 | Eisinger, Norbert
Ohlbach, Hans Jürgen
Präcklein, Axel | | Reduction Rules for Resolution Based Systems
In: Artificial Intelligence [50], 141-181 | Journal Article | |
| | 1991 | Ohlbach, Hans Jürgen | | Semantics Based Translation Methods for Modal Logics
In: Journal of Logic and Computation [1], 691-746 | Journal Article | |
| | 1991 | Ohlbach, Hans Jürgen
Siekmann, Jörg H. | | The Markgraf Karl Refutation Procedure
In: Computational Logic, Essays in Honor of Alan Robinson, 41-112 | Proceedings Article | |
| | 1991 | Cunningham, J.
Gabbay, Dov M.
Ohlbach, Hans Jürgen | | Towards the MEDLAR Framework
In: ESPRIT '91 Conference Proceedings, 822-841 | Proceedings Article | |
| | 1988 | Ohlbach, Hans Jürgen | | A Resolution Calculus for Modal Logics
Universität Kaiserslautern | Thesis - PhD thesis | |
| 5 |
| Ohlbach, Hans Jürgen (ed.) |
| |
| | 1997 | | | Qualitative and Quantitative Practical Reasoning | Book | |
| | 1996 | Weydert, Emil | | System J - Revision Entailment: Default Reasoning through Ranking Measure Updates
In: Practical Reasoning - International Conference on Formal and Applied Practical Reasoning, FAPR'96, 637-649 | Proceedings Article | |
| | 1994 | | | Temporal Logic: Proceedings of the 1st International Conference on Temporal Logic | Proceedings | |
| | 1993 | Weidenbach, Christoph | | A New Sorted Logic
In: GWAI-92: Advances in Artificial Inteligence, Proceedings 16th German Workshop on Artificial Intelligence, 43-54 | Proceedings Article | |
| | 1993 | Schmidt, Renate A. | | Terminological Representation, Natural Language \& Relation Algebra
In: GWAI-92: Advances in Artificial Intelligence: Proc.~16th German Workshop on Artificial Intelligence, 357-371 | Proceedings Article | |
| 1 |
| |
| | 1998 | Ganzinger, Harald
Jacquemard, Florent
Veanes, Margus | | Rigid Reachability
In: Proceedings of the 4th Asian Computing Science Conference on Advances in Computing Science (ASIAN-98), 4-21 | Proceedings Article | |
| 1 |
| |
| | 1991 | Bachmair, Leo
Ganzinger, Harald | | Completion of first-order clauses with equality by strict superposition
In: Proceedings of the 2nd International Workshop on Conditional and Typed Rewriting, 162-180 | Proceedings Article | |
| 1 |
| |
| | 2006 | [Simon, Carlo]
Freiheit, Jörn
[Olbrich, Sebastian] | | Using BPEL processes defined by Event-driven Process Chains
In: 5. GI-Workshop "EPK 2006 - Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten", 121-135 | Proceedings Article | |
| 1 |
| |
| | 2004 | Ganzinger, Harald
[Hagen, George]
[Nieuwenhuis, Robert]
[Oliveras, Albert]
[Tinelli, Cesare] | | DPLL(T): Fast Decision Procedures
In: Computer aided verification : 16th International Conference, CAV 2004, 175-188 | Proceedings Article | |
| 1 |
| |
| | 2005 | [Charatonik, Witold]
[Georgieva, Lilia]
Maier, Patrick | | Bounded Model Checking of Pointer Programs
In: Computer Science Logic; 19th International Workshop, CSL 2005; 14th Annual Conference of the EACSL, 397-412 | Proceedings Article | |
| 1 |
| |
| | 1993 | Bertling, Hubert
Ganzinger, Harald
Schäfers, Renate
Nieuwenhuis, Robert
Orejas, Fernando | | Completion Subsystem
In: Program Development by Specification and Transformation, The PROSPECTRA Methodology, Language Family, and System, 460-494 | Part of a Book | |
| 1 |
| |
| | 2001 | Maier, Patrick | | A Set-Theoretic Framework for Assume-Guarantee Reasoning
In: Proceedings of the 28th International Colloquium on Automata, Languages and Programming (ICALP-2001), 821-834 | Proceedings Article | |
| 4 |
| |
| | 2003 | Sofronie-Stokkermans, Viorica | | Representation Theorems and the Semantics of Non-classical Logics, and Applications to Automated Theorem Proving
In: Beyond Two: Theory and Applications of Multiple Valued Logic, 59-100 | Part of a Book | |
| | 2000 | [Iturrioz, Luisa]
Sofronie-Stokkermans, Viorica | | SHn-algebras (Symmetric Heyting algebras of order n)
In: COST Action 15 (Many-Valued Logics for Computer Science Applications) ATLAS of Many-Valued Structures, 1-11 | Part of a Book | |
| | 2000 | Sofronie-Stokkermans, Viorica | | Some properties of Kleene algebras
In: COST Action 15 (Many-Valued Logics for Computer Science Applications) ATLAS of Many-Valued Structures, 1-7 | Part of a Book | |
| | 1999 | Nonnengart, Andreas
[Szalas, Andrzej] | | A Fixpoint Approach to Second-Order Quantifier Elimination with Applications to Correspondence Theory
In: Logic at Work: Essays Dedicated to the Memory of Helena Rasiowa, 18 | Part of a Book | |
| 1 |
| Orłowska, Ewa |
| |
| | 2004 | Schmidt, Renate A.
Orłowska, Ewa
[Hustadt, Ullrich] | | Two Proof Systems for Peirce Algebras
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, 238-251 | Proceedings Article | |
| 1 |
| Pacholski, Leszek |
| |
| | 1997 | [Pacholski, Leszek]
Podelski, Andreas | | Set Constraints: a Pearl in Research on Constraints
In: Proceedings of the 3rd International Conference on Principles and Practice of Constraint Programming (CP-97), 549-562 | Proceedings Article | |
| 1 |
| Pacholski, Leszek (ed.) |
| |
| | 2001 | [Argon, Pablo]
[Delzanno, Giorgio]
Mukhopadhyay, Supratik
Podelski, Andreas | | Model Checking for Communication Protocols
In: Proceedings of the 28th Annual Conference on Current Trends in Theory and Practice of Informatics (SOFSEM-2001), 160-170 | Proceedings Article | |
| 1 |
| Palamidessi, Catuscia (ed.) |
| |
| | 2000 | Mukhopadhyay, Supratik
Podelski, Andreas | | Model Checking for Timed Logic Processes
In: Proceedings of the 1st International Conference on Computational Logic, 598-612 | Proceedings Article | |
| 2 |
| Palm, Günther (ed.) |
| |
| | 2004 | [Trueg, Sebastian]
Hoffmann, Jörg
[Nebel, Bernhard] | | Applying Automatic Planning Systems to Airport Ground Traffic Control -- A Feasibility Study
In: KI 2004: Advances in Artificial Intelligence: 27th Annual German Conference on AI, KI 2004, 183-197 | Proceedings Article | |
| | 2004 | Baumgartner, Peter
[Furbach, Ulrich]
[Gross-Hardt, Margret]
[Kleemann, Thomas] | | 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 | |
| 1 |
| |
| | 1994 | Hopf, Jörn
[Klawonn, Frank] | | Learning the Rule Base of a Fuzzy Controller by a Genetic Algorithm
In: Fuzzy Systems in Computer Science, 63-74 | Part of a Book | |
| 2 |
| |
| | 2005 | Podelski, Andreas
Rybalchenko, Andrey | | Transition predicate abstraction and fair termination
In: Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005, 124-139 | Proceedings Article | |
| | 2000 | Podelski, Andreas | | Model Checking as Constraint Solving
In: Proceedings of the 7th International Symposium on Static Analysis (SAS-00), 221-237 | Proceedings Article | |
| 1 |
| Panetto, Herve (ed.) |
| |
| | 2005 | Freiheit, Jörn
[Münch, Susanne]
[Schöttle, Hendrik]
[Sijanski, Grozdana]
[Zangl, Fabrice] | | 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 | |
| 1 |
| Pang, Jun |
| |
| | 2006 | [Damm, Werner]
[Disch, Stefan]
[Hungar, Hardi]
[Pang, Jun]
[Pigorsch, Florian]
[Scholl, Christoph]
Waldmann, Uwe
[Wirtz, Boris] | | Automatic Verification of Hybrid Systems with Large Discrete State Space
In: Automated Technology for Verification and Analysis, 4th International Symposium, ATVA 2006, 276-291 | Proceedings Article | |
| 1 |
| Papadimitriou, Christos |
| |
| | 1993 | Dimopoulos, Yannis
Magirou, Vangelis
Papadimitriou, Christos | | On Kernels, Defaults and Even Graphs
In: Annals of Mathematics and Artificial Intelligence, | Journal Article | |
| 1 |
| Parigot, Michel (ed.) |
| |
| | 2000 | Talbot, Jean-Marc | | On the Alternation-free Horn mu-calculus
In: Proceedings of the 7th International Conference on Logic for Programming and Automated Reasoning (LPAR-2000), 418-435 | Proceedings Article | |
| 2 |
| Parsons, Simon (ed.) |
| |
| | 2001 | [Lang, Jérôme]
van der Torre, Leendert W. N.
Weydert, Emil | | Two Kinds of Conflicts between Desires (and how to resolve them)
In: Proceedings of the AAAI Symposium on Game and Decision Theoretic Agents, 54-59 | Proceedings Article | |
| | 1999 | van der Torre, Leendert W. N. | | Defeasible Goals
In: Proceedings of the 5th European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty (ECSQARU-99), 374-385 | Proceedings Article | |
| 1 |
| Patel-Schneider, Peter F. (ed.) |
| |
| | 1994 | Fehrer, Detlef
Hustadt, Ullrich
Jaeger, Manfred
Nonnengart, Andreas
Ohlbach, Hans Jürgen
Schmidt, Renate A.
Weidenbach, Christoph
Weydert, Emil | | Description Logics for Natural Language Processing
In: International Workshop on Description Logics '94, 80-84 | Proceedings Article | |
| 2 |
| Paulson, Lawrence C. (ed.) |
| |
| | 1996 | Matthews, Seán | | Implementing $\textrm FS_0$ in Isabelle: Adding Structure at the Metalevel
In: Design and Implementation of Symbolic Computation Systems (DISCO'96), 228-239 | Proceedings Article | |
| | 1995 | Ayari, Abdelwaheb
Basin, David A. | | Interpretation of the Deductive Tableau in HOL
In: Proceedings of the First Isabelle Users Workshop, 91-100 | Proceedings Article | |
| 1 |
| Pauly, Marc (ed.) |
| |
| | 2000 | de Nivelle, Hans | | An Overview of Resolution Decision Procedures
In: Formalizing the Dynamics of Information, 115-130 | Proceedings Article | |
| 1 |
| Paul, W. J. (ed.) |
| |
| | 1992 | Ganzinger, Harald
Stuber, Jürgen | | Inductive theorem proving by consistency for first-order clauses
In: Informatik - Festschrift zum 60. Geburtstag von Günter Hotz, 441-462 | Part of a Book | |
| 1 |
| Paun, Gheorghe (ed.) |
| |
| | 1999 | Sofronie-Stokkermans, Viorica
[Stokkermans, Karel] | | Modeling Interaction by Sheaves and Geometric Logic
In: Proceedings of the 12th International Symposium Fundamentals of Computation Theory (FCT-99), 512-523 | Proceedings Article | |
| 2 |
| Pearce, David (ed.) |
| |
| | 1994 | Nonnengart, Andreas | | How to Use Modalities and Sorts in Prolog
In: Logics in Artificial Intelligence: Proceedings of the JELIA'94, 365-378 | Proceedings Article | |
| | 1994 | Dimopoulos, Yannis | | The Computational Value of Joint Consistency
In: Logics in Artificial Intelligence: Proceedings of the JELIA'94, 50-65 | Proceedings Article | |
| 1 |
| |
| | 2005 | [Damm, Werner]
Pinto, Guilherme
Ratschan, Stefan | | 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 | Proceedings Article | |
| 1 |
| |
| | 2004 | Ganzinger, Harald
[Hagen, George]
[Nieuwenhuis, Robert]
[Oliveras, Albert]
[Tinelli, Cesare] | | DPLL(T): Fast Decision Procedures
In: Computer aided verification : 16th International Conference, CAV 2004, 175-188 | Proceedings Article | |
| 2 |
| |
| | 1994 | Hanus, Michael | | Combining Lazy Narrowing and Simplification
In: Proceedings of the 6th International Symposium on Programming Language Implementation and Logic Programming (PLILP'94), 370-384 | Proceedings Article | |
| | 1993 | Hanus, Michael
[Josephs, Berthold] | | A Debugging Model for Functional Logic Programs
In: Proceedings of the 5th International Symposium on Programming Language Implementation and Logic Programming (PLILP-93), 28-43 | Proceedings Article | |
| 3 |
| Pereira, Luís Moniz (ed.) |
| |
| | 2000 | Mukhopadhyay, Supratik
Podelski, Andreas | | Model Checking for Timed Logic Processes
In: Proceedings of the 1st International Conference on Computational Logic, 598-612 | Proceedings Article | |
| | 1994 | Nonnengart, Andreas | | How to Use Modalities and Sorts in Prolog
In: Logics in Artificial Intelligence: Proceedings of the JELIA'94, 365-378 | Proceedings Article | |
| | 1994 | Dimopoulos, Yannis | | The Computational Value of Joint Consistency
In: Logics in Artificial Intelligence: Proceedings of the JELIA'94, 50-65 | Proceedings Article | |
| 1 |
| Pérez, María S. (ed.) |
| |
| | 2005 | Freiheit, Jörn
[Münch, Susanne]
[Schöttle, Hendrik]
[Sijanski, Grozdana]
[Zangl, Fabrice] | | 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 | |
| 1 |
| Pfenning, Frank (ed.) |
| |
| | 1992 | Hanus, Michael | | Logic Programming with Type Specifications
In: Types in Logic Programming, 91-140 | Part of a Book | |
| 1 |
| Pierrot, Francois (ed.) |
| |
| | 1996 | Hopf, Jörn
Rau, Rainer | | Decision Making in an Economy Exploiting Fuzzy Rules Obtained from a Genetic Algorithm
In: Soft Computing with Industrial Applications, 331-336 | Proceedings Article | |
| 1 |
| Pigorsch, Florian |
| |
| | 2006 | [Damm, Werner]
[Disch, Stefan]
[Hungar, Hardi]
[Pang, Jun]
[Pigorsch, Florian]
[Scholl, Christoph]
Waldmann, Uwe
[Wirtz, Boris] | | Automatic Verification of Hybrid Systems with Large Discrete State Space
In: Automated Technology for Verification and Analysis, 4th International Symposium, ATVA 2006, 276-291 | Proceedings Article | |
| 1 |
| Pinto, Guilherme |
| |
| | 2005 | [Damm, Werner]
Pinto, Guilherme
Ratschan, Stefan | | 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 | Proceedings Article | |
| 1 |
| Pirri, Fiora (ed.) |
| |
| | 2003 | [Letz, Reinhold]
Stenz, Gernot | | Universal variables in disconnection tableaux
In: Automated reasoning with analytical tableaux and related methods : International Conference, TABLEAUX 2003, 117-133 | Proceedings Article | |
| 2 |
| Piskac, Ruzica |
| |
| | 2005 | Piskac, Ruzica | | Formal Correctness of Result Checking for Priority Queues
Universität des Saarlandes | Thesis - Masters thesis | |
| | 2005 | de Nivelle, Hans
Piskac, Ruzica | | Verification of an Off-Line Checker for Priority Queues
In: Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 210-219 | Proceedings Article | |
| 1 |
| |
| | 1994 | Fehrer, Detlef | | A Unifying Logical Framework for Reason Maintenance (Deliverable DI.1.2-3P)
In: Medlar II Report PPR2, 47-55 | Proceedings Article | |
| 1 |
| |
| | 1990 | Brahm, Uwe
[Pitz, Werner] | | Parkwächter
In: c't Magazin für computer technik [-], 252-253 | Journal Article | |
| 7 |
| |
| | 1994 | [Chadha, Ritu]
Plaisted, David A. | | Correctness of unification without occur check in Prolog
In: Journal of Logic Programming [18], 99-122 | Journal Article | |
| | 1994 | [Lee, Shie-Jue]
Plaisted, David A. | | Problem solving by searching for models with a theorem prover
In: Artificial Intelligence [69], 205-233 | Journal Article | |
| | 1994 | [Chu, Heng]
Plaisted, David A. | | Semantically Guided First-Order Theorem Proving using Hyper-Linking
In: Proceedings of the 12th International Conference on Automated Deduction (CADE-12), 192-206 | Proceedings Article | |
| | 1994 | Plaisted, David A. | | The Search Efficiency of Theorem Proving Strategies
In: Proceedings of the 12th International Conference on Automated Deduction (CADE-12), 57-71 | Proceedings Article | |
| | 1994 | [Lee, Shie-Jue]
Plaisted, David A. | | Use of replace rules in theorem proving
In: Methods of Logic in Computer Science [1], 217-240 | Journal Article | |
| | 1993 | Plaisted, David A. | | Equational Reasoning and Term Rewriting Systems
In: Handbook of Logic in Artificial Intelligence and Logic Programming, 273-364 | Proceedings Article | |
| | 1993 | Chadha, Ritu
Plaisted, David A. | | On the mechanical derivation of loop invariants
In: Journal of Symbolic Computation [15], 705-744 | Journal Article | |
| 3 |
| |
| | 1993 | Basin, David A.
Constable, Robert L. | | Metalogical Frameworks
In: Logical Environments, 1-29 | Part of a Book | |
| | 1991 | Basin, David A.
Kaufmann, Matt | | The Boyer-Moore Prover and Nuprl: An Experimental Comparison
In: Logical Frameworks, 90-119 | Proceedings Article | |
| | 1991 | Ohlbach, Hans Jürgen
Siekmann, Jörg H. | | The Markgraf Karl Refutation Procedure
In: Computational Logic, Essays in Honor of Alan Robinson, 41-112 | Proceedings Article | |
| 1 |
| |
| | 1993 | Matthews, Seán
Smaill, Alan
Basin, David A. | | Experience with $FS_0$ as a Framework Theory
In: Logical Environments, 61-82 | Part of a Book | |
| 1 |
| |
| | 2005 | [Pnueli, Amir]
Podelski, Andreas
Rybalchenko, Andrey | | Separating Fairness and Well-Foundedness for the Analysis of Fair Discrete Systems
In: Tools and Algorithms for the Construction and Analysis of Systems: 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, 124-139 | Proceedings Article | |
| 65 |
| |
| | 2007 | [Podelski, Andreas]
Wagner, Silke | | A Method and a Tool for Automatic Verification of Region Stability for Hybrid Systems | Report | |
| | 2007 | [Podelski, Andreas]
Wagner, Silke | | A Sound and Complete Proof Rule for Region Stability of Hybrid Systems
In: Hybrid systems: computation and control : 10th International Conference, HSCC 2007, 750-753 | Poster | |
| | 2007 | [Podelski, Andreas]
Rybalchenko, Andrey | | ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement
In: Practical aspects of declarative languages : 9th International Symposium, PADL 2007, 245-259 | Proceedings Article | |
| | 2007 | [Cook, Byron]
[Gotsman, Alexey]
[Podelski, Andreas]
Rybalchenko, Andrey
[Vardi, Moshe] | | Proving that programs eventually do something good
In: 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2007), 265-276 | Proceedings Article | |
| | 2007 | [Cook, Byron]
[Podelski, Andreas]
Rybalchenko, Andrey | | Proving Thread Termination
In: PLDI'07 : Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 320-330 | Proceedings Article | |
| | 2007 | Wagner, Silke
[Podelski, Andreas] | | Region Stability Proofs for Hybrid Systems
In: Formal Modelling and Analysis of Timed Systems: 5th International Conference, FORMATS 2007, 16 | Proceedings Article | |
| | 2007 | Podelski, Andreas
Rybalchenko, Andrey | | Transition Predicate Abstraction and Fair Termination
In: ACM Transactions on Programming Languages and Systems [29], 30 | Journal Article | |
| | 2006 | [Dräge, Klaus]
[Finkbeiner, Bernd]
Podelski, Andreas | | Directed Model Checking with Distance-Preserving Abstractions
In: Model checking software : 13th International SPIN Workshop, 19-34 | Proceedings Article | |
| | 2006 | Wies, Thomas
[Kuncak, Viktor]
[Lam, Patrick]
Podelski, Andreas
[Rinard, Martin C.] | | Field Constraint Analysis
In: Verification, Model Checking, and Abstract Interpretation : 7th International Conference, VMCAI 2006, 157-173 | Proceedings Article | |
| | 2006 | Podelski, Andreas
Wagner, Silke | | Model Checking of Hybrid Systems: From Reachability towards Stability
In: Hybrid Systems: Computation and Control : 9th International Workshop, HSCC 2006
, 507-521 | Proceedings Article | |
| | 2006 | [Cook, Byron]
Podelski, Andreas
Rybalchenko, Andrey | | Termination Proofs for Systems Code
In: PLDI 2006 : Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, 415-426
In: ACM SIGPLAN Notices [41], 415-426 | Proceedings Article | |
| | 2006 | Cook, Byron
Podelski, Andreas
Rybalchenko, Andrey | | Terminator: Beyond Safety
In: Computer aided verification : 18th International Conference, CAV 2006, 415-418 | Proceedings Article | |
| | 2006 | Malkis, Alexander
Podelski, Andreas
Rybalchenko, Andrey | | Thread-Modular Verification and Cartesian Abstraction | Unpublished/Draft | |
| | 2006 | Malkis, Alexander
Podelski, Andreas
Rybalchenko, Andrey | | Thread-Modular Verification is Cartesian Abstract Interpretation
In: Theoretical Aspects of Computing - ICTAC 2006 : Third International Colloquium, 183-197 | Proceedings Article | |
| | 2006 | [Jensen, Kurt]
Podelski, Andreas | | Tools and algorithms for the construction and analysis of systems
In: International Journal on Software Tools for Technology Transfer [8], 177-179 | Journal Article | |
| | 2005 | [Cook, Byron]
Podelski, Andreas
Rybalchenko, Andrey | | Abstraction-refinement for Termination
In: Static analysis : 12th International Symposium, SAS 2005, 87-101 | Proceedings Article | |
| | 2005 | Podelski, Andreas
Wies, Thomas | | Boolean Heaps
In: Static analysis : 12th International Symposium, SAS 2005, 268-283 | Proceedings Article | |
| | 2005 | Podelski, Andreas
Rybalchenko, Andrey
[Cook, Byron] | | Counterexample-Guided Abstraction Refinement for Termination | Unpublished/Draft | |
| | 2005 | [Pnueli, Amir]
Podelski, Andreas
Rybalchenko, Andrey | | Separating Fairness and Well-Foundedness for the Analysis of Fair Discrete Systems
In: Tools and Algorithms for the Construction and Analysis of Systems: 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, 124-139 | Proceedings Article | |
| | 2005 | Podelski, Andreas
Schaefer, Ina
Wagner, Silke | | Summaries for While Programs with Recursion
In: Programming Languages and Systems: 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, 94-107 | Proceedings Article | |
| | 2005 | Podelski, Andreas
Rybalchenko, Andrey | | Transition predicate abstraction and fair termination
In: Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005, 124-139 | Proceedings Article | |
| | 2005 | Blanchet, Bruno
Podelski, Andreas | | Verification of Cryptographic Protocols: Tagging Enforces Termination
In: Theoretical Computer Science [333], 67-90 | Journal Article | |
| | 2004 | Podelski, Andreas
Rybalchenko, Andrey | | A Complete Method for the Synthesis of Linear Ranking Functions
In: Verification, model checking, and abstract interpretation : 5th International Conference, VMCAI 2004, 239-251 | Proceedings Article | |
| | 2004 | Podelski, Andreas | | Introduction to the Special Issue on Verification and Computational Logic
In: Theory and Practice of Logic Programming (TPLP) [4], 541-751 | Journal Article | |
| | 2004 | Podelski, Andreas
Schaefer, Ina
Wagner, Silke | | Summaries for While Programs with Recursion | Report | |
| | 2004 | Podelski, Andreas
Rybalchenko, Andrey | | Transition Invariants
In: Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, LICS 2004, 32-41 | Proceedings Article | |
| | 2003 | Podelski, Andreas
[Ball, Tom]
[Rajamani, Sriram K.] | | Boolean and Cartesian Abstraction for Model Checking C Programs
In: International Journal on Software Tools for Technology Transfer (STTT) [5], 1-15 | Journal Article | |
| | 2003 | Podelski, Andreas | | Software Model Checking with Abstraction Refinement
In: Verification, model checking, and abstract interpretation : 4th International Conference, VMCAI 2003, 1-13 | Proceedings Article | |
| | 2003 | Blanchet, Bruno
Podelski, Andreas | | Verification of Cryptographic Protocols: Tagging Enforces Termination
In: Foundations of software science and computation structures : 6th International Conference, FOSSACS 2003, 136-152 | Proceedings Article | |
| | 2002 | Mukhopadhyay, Supratik
Podelski, Andreas | | An Algebraic Framework for Abstract Model Checking
In: Abstraction, reformulation, and approximation : 5th International Symposium, SARA 2002, 152-169 | Proceedings Article | |
| | 2002 | Charatonik, Witold
Mukhopadhyay, Supratik
Podelski, Andreas | | Compositional Termination Analysis of Symbolic Forward Analysis
In: Verification, Model Checking, and Abstract Interpretation. Third International Workshop, VMCAI 2002, 109-125 | Proceedings Article | |
| | 2002 | Charatonik, Witold
Mukhopadhyay, Supratik
Podelski, Andreas | | Constraint-Based Infinite Model Checking and Tabulation for Stratified CLP
In: Logic Programming. 18th International Conference, ICLP 2002, 115-129 | Proceedings Article | |
| | 2002 | Hillenbrand, Thomas
Podelski, Andreas
Topić, Dalibor | | Is Logic Effective for Analyzing C Programs?
In: Symposium on the Effectiveness of Logic in Computer Science in Honour of Moshe Vardi, 27-30 | Proceedings Article | |
| | 2002 | Podelski, Andreas
[Ball, Tom]
[Rajamani, Sriram K.] | | Relative Completeness of Abstraction Refinement for Software Model Checking
In: Tools and algorithms for the construction and analysis of systems : 8th International Conference, TACAS 2002, 158-172 | Proceedings Article | |
| | 2002 | Charatonik, Witold
Podelski, Andreas | | Set Constraints with Intersection
In: Information and Computation [179], 213-229 | Journal Article | |
| | 2001 | Mukhopadhyay, Supratik
Podelski, Andreas | | Accurate Widenings and Boundedness Properties of Timed Systems
In: Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, 79-94 | Proceedings Article | |
| | 2001 | [Ball, Thomas]
Podelski, Andreas
[Rajamani, Sriram K.] | | Boolean and Cartesian Abstraction for Model Checking C Programs
In: Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS-2001), 268-283 | Proceedings Article | |
| | 2001 | Delzanno, Giorgio
Podelski, Andreas | | Constraint-based Deductive Model Checking
In: International Journal on Software Tools for Technology Transfer (STTT) [3], 250-270 | Journal Article | |
| | 2001 | Mukhopadhyay, Supratik
Podelski, Andreas | | Constraint Database Models Characterizing Timed Bisimilarity
In: Proceedings of the 3rd International Symposium on Practical Aspects of Declarative Languages, 245-258 | Proceedings Article | |
| | 2001 | [Argon, Pablo]
[Delzanno, Giorgio]
Mukhopadhyay, Supratik
Podelski, Andreas | | Model Checking for Communication Protocols
In: Proceedings of the 28th Annual Conference on Current Trends in Theory and Practice of Informatics (SOFSEM-2001), 160-170 | Proceedings Article | |
| | 2000 | [Esparza, Javier]
Podelski, Andreas | | 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 | |
| | 2000 | Podelski, Andreas | | Model Checking as Constraint Solving
In: Proceedings of the 7th International Symposium on Static Analysis (SAS-00), 221-237 | Proceedings Article | |
| | 2000 | Mukhopadhyay, Supratik
Podelski, Andreas | | Model Checking for Timed Logic Processes
In: Proceedings of the 1st International Conference on Computational Logic, 598-612 | Proceedings Article | |
| | 2000 | [Müller, Martin]
[Niehren, Joachim]
Podelski, Andreas | | Ordering Constraints over Feature Trees
In: Constraints [5], 7-41 | Journal Article | |
| | 2000 | Charatonik, Witold
Podelski, Andreas
Talbot, Jean-Marc | | Paths vs. Trees in Set-based Program Analysis
In: Proceedings of the 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL-00), 330-337 | Proceedings Article | |
| | 1999 | Mukhopadhyay, Supratik
Podelski, Andreas | | Beyond Region Graphs: Symbolic Forward Analysis of Timed Automata
In: Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science (FST&TCS-99), 232-244 | Proceedings Article | |
| | 1999 | Delzanno, Giorgio
[Esparza, Javier]
Podelski, Andreas | | Constraint-Based Analysis of Broadcast Protocols
In: Proceedings of the 13th International Workshop on Computer Science Logic (CSL-99), 8th Annual Conference on the EACSL, 50-66 | Proceedings Article | |
| | 1999 | Delzanno, Giorgio
Podelski, Andreas | | Model Checking in CLP
In: Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS-99), 223-239 | Proceedings Article | |
| | 1999 | Podelski, Andreas
Charatonik, Witold
[Müller, Martin] | | Set-based Failure Analysis for Logic Programs and Concurrent Constraint Programs
In: Programming Languages and Systems: Proceedings of the 8th European Symposium on Programming (ESOP-99), 177-192 | Proceedings Article | |
| | 1998 | Charatonik, Witold
Podelski, Andreas | | Co-definite Set Constraints
In: Proceedings of the 9th International Conference on Rewriting Techniques and Applications (RTA-98), 211-225 | Proceedings Article | |
| | 1998 | Charatonik, Witold
Podelski, Andreas | | Directional Type Inference for Logic Programs
In: Proceedings of the 5th International Symposium in Static Analysis (SAS-98), 278-294 | Proceedings Article | |
| | 1998 | [Abdelwaheb, Ayari]
[Basin, David A.]
Podelski, Andreas | | LISA: A Specification Language Based on WS2S
In: Proceedings of the 11th International Workshop on Computer Science Logic (CSL-97), 18-34 | Proceedings Article | |
| | 1998 | Charatonik, Witold
Podelski, Andreas | | Set-Based Analysis of Reactive Infinite-state Systems
In: Tools and Algorithms for the Construction and Analysis of Systems (TACAS-98), 358-375 | Proceedings Article | |
| | 1998 | Charatonik, Witold
[McAllester, David]
[Niwinski, Damian]
Podelski, Andreas
[Walukiewicz, Igor] | | The Horn Mu-calculus
In: Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science (LICS-98), 58-69 | Proceedings Article | |
| | 1998 | Podelski, Andreas | | Thema der Antrittsvorlesung: Alte Resultate aus der Automatentheorie
Universität des Saarlandes | Thesis - Habilitation thesis | |
| | 1997 | [Müller, Martin]
[Niehren, Joachim]
Podelski, Andreas | | Inclusion Constraints over Non-empty Sets of Trees
In: Proceedings of the 7th International Joint Conference CAAP/FASE: Theory and practice of software development (TAPSOFT-97), 345-356 | Proceedings Article | |
| | 1997 | [Nivat, Maurice]
Podelski, Andreas | | Minimal Ascending and Descending Tree Automata
In: SIAM Journal on Computing [26], 39-58 | Journal Article | |
| | 1997 | [Müller, Martin]
[Niehren, Joachim]
Podelski, Andreas | | Ordering Constraints over Feature Trees
In: Proceedings of the 3rd International Conference on Principles and Practice of Constraint Programming (CP-97), 549-562 | Proceedings Article | |
| | 1997 | Podelski, Andreas | | Set-Based Analysis of Logic Programs and Reactive Logic Programs
In: Proceedings of the International Symposium on Logic Programming (ILPS-14), 35-36 | Proceedings Article | |
| | 1997 | Charatonik, Witold
Podelski, Andreas | | Set Constraints with Intersection
In: Proceedings of the Twelfth Annual IEEE Symposium on Logic in Computer Science (LICS-97), 362-372 | Proceedings Article | |
| | 1997 | [Pacholski, Leszek]
Podelski, Andreas | | Set Constraints: a Pearl in Research on Constraints
In: Proceedings of the 3rd International Conference on Principles and Practice of Constraint Programming (CP-97), 549-562 | Proceedings Article | |
| | 1997 | Podelski, Andreas
[Smolka, Gert] | | Situated Simplification
In: Theoretical Computer Science [173], 235-252 | Journal Article | |
| | 1996 | Charatonik, Witold
Podelski, Andreas | | The Independence Property of a Class of Set Constraints
In: Principles and Practice of Constraint Programming, Proceedings of the Second International Conference (CP'96), 76-90 | Proceedings Article | |
| | 1995 | Podelski, Andreas
Smolka, Gert | | Operational Semantics of Constraint Logic Programming with Coroutining
In: Proceedings of the 12th International Conference on Logic Programming, 449-463 | Proceedings Article | |
| | 1995 | Podelski, Andreas
Smolka, Gert | | Situated Simplification
In: Proceedings of the First International Conference on Principles and Practice of Constraint Programming (CP'95), 328-344 | Proceedings Article | |
| 5 |
| |
| | 2007 | Rybalchenko, Andrey
Sofronie-Stokkermans, Viorica | | Constraint Solving for Interpolation
In: 8th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2007), ? | Proceedings Article | |
| | 2007 | [Beyer, Dirk]
[Henzinger, Thomas]
[Majumdar, Rupak]
Rybalchenko, Andrey | | Invariant Synthesis for Combined Theories
In: Verification, Model Checking, and Abstract Interpretation : 8th International Conference, VMCAI 2007, 378-394 | Proceedings Article | |
| | 2004 | | | Tools and algorithms for the construction and analysis of systems : 10th International Conference, TACAS 2004 ; held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004 | Proceedings | |
| | 1995 | | | Constraint Programming: Basics and Trends
In: Constraint Programming: Basics and Trends, 328 | Proceedings | |
| | 1995 | Bockmayr, Alexander | | Solving pseudo-Boolean constraints
In: Constraint Programming: Basics and Trends, 22-38 | Proceedings Article | |
| 1 |
| |
| | 1997 | Hustadt, Ullrich
Schmidt, Renate A. | | On Evaluating Decision Procedures for Modal Logics
In: Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence (IJCAI-97), 202-207 | Proceedings Article | |
| 1 |
| |
| | 2004 | [Dubois, Catherine]
[Jaume, Mathieu]
[Pons, Olivier]
Prevosto, Virgile | | L'atelier FOCAL
In: Actes du 6ème Atelier sur les Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2004), 321-324 | Proceedings Article | |
| 1 |
| |
| | 1994 | Jaeger, Manfred | | A Logic for Default Reasoning About Probabilities
In: Proceedings of the 10th Conference on Uncertainty in Artificial Intelligence (UAI'94), 352-359 | Proceedings Article | |
| 1 |
| |
| | 2004 | Hoffmann, Jörg
[Porteous, Julie]
[Sebastia, Laura] | | Ordered Landmarks in Planning
In: Journal of Artificial Intelligence Research [22], 215-278 | Journal Article | |
| 2 |
| |
| | 1992 | [Eisinger, Norbert]
Nonnengart, Andreas
[Präcklein, Axel] | | Termersetzungssysteme
In: Deduktionssysteme -- Automatisierung des logischen Denkens, 126-149 | Part of a Book | |
| | 1991 | Eisinger, Norbert
Ohlbach, Hans Jürgen
Präcklein, Axel | | Reduction Rules for Resolution Based Systems
In: Artificial Intelligence [50], 141-181 | Journal Article | |
| 5 |
| Prade, Henri (ed.) |
| |
| | 1999 | van der Torre, Leendert W. N.
[Tan, Yao-Hua] | | An Update Semantics for Defeasible Obligations
In: Proceedings of the 15th Conference on Uncertainty in Artificial Intelligence (UAI-99), 631-638 | Proceedings Article | |
| | 1998 | van der Torre, Leendert W. N.
[Tan, Yao-Hua] | | An update semantics for prima facie obligations
In: Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98), 38-42 | Proceedings Article | |
| | 1998 | van der Torre, Leendert W. N. | | Labeled logics of conditional goals
In: Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98), 368-369 | Proceedings Article | |
| | 1998 | Sofronie-Stokkermans, Viorica | | On Translation of Finitely-Valued Logics to Classical First-Order Logic
In: Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98), 410-411 | Proceedings Article | |
| | 1998 | [Firozabadhi, Babak Sadighi]
van der Torre, Leendert W. N. | | Towards a formal analysis of control systems
In: Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98), 317-318 | Proceedings Article | |
| 1 |
| Prakken, Henri (ed.) |
| |
| | 1999 | van der Torre, Leendert W. N.
[Tan, Yao-Hua] | | An update semantics for deontic reasoning
In: Norms, Logics and Information Systems: New Studies on Deontic Logic and Computer Science, 73-90 | Part of a Book | |
| 1 |
| Pratt-Hartmann, Ian |
| |
| | 2001 | de Nivelle, Hans
[Pratt-Hartmann, Ian] | | A Resolution-Based Decision Procedure for the Two-Variable Fragment with Equality
In: Automated reasoning : First International Joint Conference, IJCAR 2001, 211-225 | Proceedings Article | |
| 3 |
| Pratt, Vaughan (ed.) |
| |
| | 1998 | Jaeger, Manfred | | Convergence Results for Relational Bayesian Networks
In: Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science (LICS-98), 44-55 | Proceedings Article | |
| | 1998 | Charatonik, Witold
[McAllester, David]
[Niwinski, Damian]
Podelski, Andreas
[Walukiewicz, Igor] | | The Horn Mu-calculus
In: Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science (LICS-98), 58-69 | Proceedings Article | |
| | 1998 | Veanes, Margus | | The Relation Between Second-Order Unification and Simultaneous Rigid E-Unification
In: Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science (LICS-98), 264-275 | Proceedings Article | |
| 5 |
| Prevosto, Virgile |
| |
| | 2006 | Prevosto, Virgile | | Certified mathematical hierarchies: the FoCal system.
In: Proceedings of the MAP (Mathematics, Algorithms, Proofs) Workshop, | Electronic Proceedings Article | |
| | 2006 | [Prevosto, Virgile]
Waldmann, Uwe | | SPASS+T
In: ESCoR: FLoC'06 Workshop on Empirically Successful Computerized Reasoning, 18-33 | Proceedings Article | |
| | 2005 | [Delahaye, David]
[Jaume, Mathieu]
Prevosto, Virgile | | Coq, un outil pour l'enseignement
In: Technique et Science Informatiques [24], 1139-1160 | Journal Article | |
| | 2005 | Prevosto, Virgile
[Boulmé, Sylvain] | | Proof Contexts with Late Binding
In: Typed Lambda Calculi and Applications: 7th International Conference, TLCA 2005, 325-339 | Proceedings Article | |
| | 2004 | [Dubois, Catherine]
[Jaume, Mathieu]
[Pons, Olivier]
Prevosto, Virgile | | L'atelier FOCAL
In: Actes du 6ème Atelier sur les Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2004), 321-324 | Proceedings Article | |
| 1 |
| Pribbenow, Simone (ed.) |
| |
| | 1995 | Barth, Peter
[Kleine Büning, Hans]
Weidenbach, Christoph | | Workshop CPL Computational Propositional Logic
In: KI-95 Activities: Workshops, Posters, Demos, 71-72 | Proceedings Article | |
| 1 |
| Radermacher, F. J. |
| |
| | 1993 | Bockmayr, Alexander
Radermacher, F. J. | | Künstliche Intelligenz und Operations Research
In: Grundlagen und Anwendungen der Künstlichen Intelligenz. 17. Fachtagung für Künstliche Intelligenz, 249-254 | Proceedings Article | |
| 1 |
| Rahman, Shahid |
| |
| | 1997 | [Rahman, Shahid]
[Rückert, Helge]
Fischmann, Matthias | | Dialogues and Ontology, the Dialogical Approach to Free Logic
In: Logique et Analyse [160], 357-374 | Journal Article | |
| 3 |
| Rajamani, Sriram K. |
| |
| | 2003 | Podelski, Andreas
[Ball, Tom]
[Rajamani, Sriram K.] | | Boolean and Cartesian Abstraction for Model Checking C Programs
In: International Journal on Software Tools for Technology Transfer (STTT) [5], 1-15 | Journal Article | |
| | 2002 | Podelski, Andreas
[Ball, Tom]
[Rajamani, Sriram K.] | | Relative Completeness of Abstraction Refinement for Software Model Checking
In: Tools and algorithms for the construction and analysis of systems : 8th International Conference, TACAS 2002, 158-172 | Proceedings Article | |
| | 2001 | [Ball, Thomas]
Podelski, Andreas
[Rajamani, Sriram K.] | | Boolean and Cartesian Abstraction for Model Checking C Programs
In: Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS-2001), 268-283 | Proceedings Article | |
| 1 |
| Rajan, Kanna (ed.) |
| |
| | 2005 | Hoffmann, Jörg
[Brafman, Ronen] | | Contingent Planning via Heuristic Forward Search with Implicit Belief States
In: 15th International Conference on Automated Planning and Scheduling, 71-80 | Proceedings Article | |
| 1 |
| Ramakrishnan, I.V. (ed.) |
| |
| | 2001 | Mukhopadhyay, Supratik
Podelski, Andreas | | Constraint Database Models Characterizing Timed Bisimilarity
In: Proceedings of the 3rd International Symposium on Practical Aspects of Declarative Languages, 245-258 | Proceedings Article | |
| 1 |
| Ramani, S. (ed.) |
| |
| | 1996 | Krishna Rao, M. R. K. | | Learning Prolog programs from examples
In: Knowledge Based Computer Systems, 19-30 | Proceedings Article | |
| 1 |
| Ramanujam, R (ed.) |
| |
| | 1999 | Mukhopadhyay, Supratik
Podelski, Andreas | | Beyond Region Graphs: Symbolic Forward Analysis of Timed Automata
In: Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science (FST&TCS-99), 232-244 | Proceedings Article | |
| 1 |
| Raman, V. (ed.) |
| |
| | 1999 | Mukhopadhyay, Supratik
Podelski, Andreas | | Beyond Region Graphs: Symbolic Forward Analysis of Timed Automata
In: Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science (FST&TCS-99), 232-244 | Proceedings Article | |
| 1 |
| Raskin, Jean-François |
| |
| | 2000 | Delzanno, Giorgio
[Raskin, Jean-François] | | Symbolic Representation of Upward-Closed Sets
In: Proceedings of the 6th Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS-00); Held as Part of the European Joint Conferences on the Theory and Practice of Software (ETAPS-00), 426-440 | Proceedings Article | |
| 1 |
| Raskin, J.-F. (ed.) |
| |
| | 2007 | Wagner, Silke
[Podelski, Andreas] | | Region Stability Proofs for Hybrid Systems
In: Formal Modelling and Analysis of Timed Systems: 5th International Conference, FORMATS 2007, 16 | Proceedings Article | |
