Max-Planck-Institut für Informatik
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

Publications Master Template

Publications Master Template

Entries sorted by: 1. Author,Editor - 1. by Individual - 1. by Names

Login to this database


 

Viewing:

1. Author,Editor - 1. by Individual - 1. by Names
Next Page
Show entries starting with: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
#YearAuthor(s) [non member]TitleType
1
Hide details for Ianni, Giovambattista (ed.)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
Hide details for Ida, Tetsuo (ed.)Ida, Tetsuo (ed.)
2006Ratschan, 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
Hide details for Ito, Takayasu (ed.)Ito, Takayasu (ed.)
1997Matthews, SeánExtending 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
Hide details for Ito, T. (ed.)Ito, T. (ed.)
1991Basin, 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
Hide details for Iturrioz, LuisaIturrioz, 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
Hide details for Iturrioz, Luisa (ed.)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
2000Sofronie-Stokkermans, VioricaSome 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
Hide details for Jacobs, SwenJacobs, Swen
2007Jacobs, Swen
Sofronie-Stokkermans, Viorica
Applications of hierarchical reasoning in the verification of complex systems
In: Electronic Notes in Theoretical Computer Science [??],
Electronic Journal Article
2006Jacobs, Swen
Sofronie-Stokkermans, Viorica
Attachment IconApplications 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
2005Jacobs, Swen
Waldmann, Uwe
Attachment IconComparing Instance Generation Methods for Automated Reasoning
In: Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX 2005, 153-168
Proceedings Article
2004Jacobs, SwenAttachment IconInstance Generation Methods for Automated Reasoning
Universität des Saarlandes
Thesis - Masters thesis
4
Hide details for Jacquemard, FlorentJacquemard, Florent
2000Ganzinger, 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
1999Cortier, 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
1998Ganzinger, 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
Hide details for Jaeger, ManfredJaeger, Manfred
2003Jaeger, ManfredAttachment IconA Representation Theorem and Applications
In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty :
7th European Conference, ECSQARU 2003, 50-61
Proceedings Article
2003Jaeger, ManfredProbabilistic 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]
Attachment IconA Theory of Inductive Query Answering
In: Proceedings of the 2002 IEEE International Conference on Data Mining (ICDM'02), 123-130
Proceedings Article
2002Jaeger, ManfredAttachment IconProbababilistic 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
2002Jaeger, ManfredProbabilistic Decision Graphs
Universität des Saarlandes
Thesis - Habilitation thesis
2002Jaeger, ManfredAttachment IconRelational Bayesian Networks: a Survey
In: Electronic Transactions on Artificial Intelligence [6],
Electronic Journal Article
2001Jaeger, ManfredAttachment IconAutomatic Derivation of Probabilistic Inference Rules
In: International Journal of Approximate Reasoning [28], 1-22
Journal Article
2001Jaeger, ManfredAttachment IconComplex Probabilistic Modeling with Recursive Relational Bayesian Networks
In: Annals of Mathematics and Artificial Intelligence [32], 179-220
Journal Article
2001Jaeger, ManfredAttachment IconConstraints 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
2000Jaeger, ManfredAttachment IconOn the complexity of inference about probabilistic relational models
In: Artificial Intelligence [117], 297-308
Journal Article
1999Jaeger, ManfredAttachment IconFairness, Computable Fairness and Randomness
In: Proceedings of the 2nd International Workshop on Probabilistic Methods in Verification (PROBMIV-99), 57-66
Proceedings Article
1998Jaeger, ManfredAttachment IconConvergence Results for Relational Bayesian Networks
In: Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science (LICS-98), 44-55
Proceedings Article
1998Jaeger, ManfredAttachment IconMeasure Selection: Notions of Rationality and Representation Independence
In: Proceedings of the 14th Conference on Uncertainty in Artificial Intelligence (UAI-98), 274-281
Proceedings Article
1998Jaeger, ManfredAttachment IconReasoning 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
1997Jaeger, ManfredAttachment IconRelational Bayesian Networks
In: Proceedings of the 13th Conference of Uncertainty in Artificial Intelligence (UAI-13), 266-273
Proceedings Article
1996Jaeger, 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
1996Jaeger, ManfredRepresentation Independence of Nonmonotonic Inference Relations
In: Principles of Knowledge Representation and Reasoning, Proceedings of the 5th International Conference (KR-96), 461-472
Proceedings Article
1995Jaeger, ManfredDefault Reasoning about Probabilities
Universität des Saarlandes
Thesis - PhD thesis
1995Jaeger, ManfredMinimum Cross-Entropy Reasoning: A Statistical Justification
In: Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI-95), 1847-1852
Proceedings Article
1994Jaeger, ManfredA Logic for Default Reasoning About Probabilities
In: Proceedings of the 10th Conference on Uncertainty in Artificial Intelligence (UAI'94), 352-359
Proceedings Article
1994Fehrer, 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
1994Jaeger, ManfredProbabilistic Reasoning in Terminological Logics
In: Principles of Knowledge Representation an Reasoning: Proceedings of the 4th International Conference (KR94), 305-316
Proceedings Article
1993Jaeger, ManfredCircumscription: Completeness Reviewed
In: Artificial Intelligence [60], 293-301
Journal Article
1
Hide details for Jaffar, Joxan (ed.)Jaffar, Joxan (ed.)
1996Vorobyov, SergeiOn the bounded theories of finite trees
In: Second Asian Computing Science Conference, ASIAN'96, 152-161
Proceedings Article
1
Hide details for Jamshidi, Mohammad (ed.)Jamshidi, Mohammad (ed.)
1996Hopf, 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
Hide details for Jancar, Petr (ed.)Jancar, Petr (ed.)
2002Charatonik, 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
Hide details for Jantke, Klaus (ed.)Jantke, Klaus (ed.)
1995Krishna Rao, M. R. K.Incremental Learning of Logic Programs
In: Proceedings of International Workshop on Algorithmic Learning Theory, 95-109
Proceedings Article
1
Hide details for Jarrar, Mustafa (ed.)Jarrar, Mustafa (ed.)
2005Freiheit, Jörn
[Münch, Susanne]
[Schöttle, Hendrik]
[Sijanski, Grozdana]
[Zangl, Fabrice]
Attachment IconEnhanced 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
Hide details for Jaulin, LucJaulin, Luc
2004[Jaulin, Luc]
Ratschan, Stefan
[Hardouin, Laurent]
Set Computation for Nonlinear Control
In: Reliable Computing [10], 1-26
Journal Article
2
Hide details for Jaume, MathieuJaume, Mathieu
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
Hide details for Jensen, KurtJensen, 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
Hide details for Jensen, Kurt (ed.)Jensen, Kurt (ed.)
2004Tools 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 2004Proceedings
1
Hide details for Jeusfeld, Manfred A. (ed.)Jeusfeld, Manfred A. (ed.)
1994Hustadt, UllrichDo 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
Hide details for Johann, PatriciaJohann, 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
Hide details for John Bell (ed.)John Bell (ed.)
1999Weydert, 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
Hide details for Jones, Robert B. (ed.)Jones, Robert B. (ed.)
2006Cook, Byron
Podelski, Andreas
Rybalchenko, Andrey
Terminator: Beyond Safety
In: Computer aided verification : 18th International Conference, CAV 2006, 415-418
Proceedings Article
1
Hide details for Josephs, BertholdJosephs, Berthold
1993Hanus, 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
Hide details for Jouannaud, Jean-Pierre (ed.)Jouannaud, Jean-Pierre (ed.)
1994Bachmair, 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
1994Barth, PeterSimplifying 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
Hide details for Juilland, Jacques (ed.)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
Hide details for Jung, GeorgJung, Georg
2001Jung, GeorgAttachment IconEin 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
Hide details for Kaelbling, Leslie (ed.)Kaelbling, Leslie (ed.)
2005Hoffmann, JörgA Covering Problem for Hypercubes
In: Proceedings of the 19th International Joint Conference on Artificial Intelligence, 579-580
Poster
1
Hide details for Kakas, A. C. (ed.)Kakas, A. C. (ed.)
1993Hustadt, UllrichAbductive Disjunctive Logic Programming
In: ICLP '93 Postconference Workshop on Abductive Reasoning, ?
Proceedings Article
1
Hide details for Kaoen, Joost-Pieter (ed.)Kaoen, Joost-Pieter (ed.)
2002Podelski, 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
Hide details for Kaplan, St. (ed.)Kaplan, St. (ed.)
1991Bachmair, 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
Hide details for Kapur, Deepak (ed.)Kapur, Deepak (ed.)
2000DeductionProceedings
1992Madden, PeterAutomated Program Transformation Through Proof Transformation
In: Proceedings of the 11th International Conference on Automated Deduction (CADE-11), 446-460
Proceedings Article
2
Hide details for Kapur, D. (ed.)Kapur, D. (ed.)
1992Bachmair, 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
1992Basin, David A.
Walsh, Toby
Difference Matching
In: Proceedings of the11th International Conference on Automated Deduction (CADE-11), 295-309
Proceedings Article
1
Hide details for Karmann, A. (ed.)Karmann, A. (ed.)
1993Bockmayr, AlexanderEmbedding OR Techniques in Constraint Logic Programming
In: Operations Research '92. 17th Symposium on Operations Research, 252-254
Proceedings Article
4
Hide details for Kasper, ThomasKasper, Thomas
1998Kasper, ThomasA Unifying Logical Framework for Integer Linear Programming and Finite Domain Constraint Programming
Universität des Saarlandes
Thesis - PhD thesis
1998Bockmayr, 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
1996Bockmayr, Alexander
Barth, Peter
Kasper, Thomas
Methods and Tools for Pseudo-Boolean Problems
In: 2. Workshop Boolesche Probleme, 105-109
Proceedings Article
1996Bockmayr, Alexander
Kasper, Thomas
Pseudo-Boolean and Finite Domain Constraint Programming: A Case Study
In: Deklarative Constraint Programmierung, 29-41
Proceedings Article
1
Hide details for Kaufmann, MattKaufmann, Matt
1991Basin, David A.
Kaufmann, Matt
The Boyer-Moore Prover and Nuprl: An Experimental Comparison
In: Logical Frameworks, 90-119
Proceedings Article
1
Hide details for Kaufmann, Matt (ed.)Kaufmann, Matt (ed.)
1994Proceedings of the Workshop on Correctness and Metatheoretic Extensibility of Automated Reasoning SystemsReport
1
Hide details for Kaufmann, Stefan (ed.)Kaufmann, Stefan (ed.)
2000de Nivelle, HansAn Overview of Resolution Decision Procedures
In: Formalizing the Dynamics of Information, 115-130
Proceedings Article
1
Hide details for Kavitha, M. (ed.)Kavitha, M. (ed.)
2004Baumgartner, 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
Hide details for Kazakov, YevgenyKazakov, Yevgeny
2006Kazakov, YevgenyAttachment IconSaturation-Based Decision Procedures For Extensions Of The Guarded Fragment
Universität des Saarlandes
Thesis - PhD thesis
2004Kazakov, YevgenyAttachment IconA 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
2004Kazakov, 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
2004de Nivelle, Hans
Kazakov, Yevgeny
Attachment IconResolution Decision Procedures for the Guarded Fragment with
Transitive Guards
Report
2003Kazakov, Yevgeny
de Nivelle, Hans
Attachment IconSubsumption 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
2002Kazakov, YevgenyAttachment IconRecursive resolution for modal logic
In: Symposium on the Effectiveness of Logic in Computer Science in Honour of Moshe Vardi, 11-15
Proceedings Article
3
Hide details for Keen, EnnoKeen, Enno
2002Weidenbach, Christoph
Brahm, Uwe
Hillenbrand, Thomas
Keen, Enno
Theobalt, Christian
Topić, Dalibor
Attachment IconSPASS Version 2.0
In: Automated deduction, CADE-18 : 18th International Conference on Automated Deduction, 275-279
Proceedings Article
1999Weidenbach, 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
1998Weidenbach, Christoph
Meyer, Christoph
Cohrs, Christian
Engel, Thorsten
Keen, Enno
SPASS V0.77
In: Journal of Automated Reasoning [21], 113-113
Journal Article
1
Hide details for Kepser, Stephan (ed.)Kepser, Stephan (ed.)
1996Weidenbach, ChristophUnification in Sort Theories
In: Proceedings of the 10th International Workshop on Unification, UNIF'96, 16-25
Proceedings Article
1
Hide details for Kerber, ManfredKerber, Manfred
1996[Hähnle, Reiner]
[Kerber, Manfred]
Weidenbach, Christoph
Common Syntax of the DFG-Schwerpunktprogramm ``Deduktion''Report
1
Hide details for Kerber, Manfred (ed.)Kerber, Manfred (ed.)
2000Mukhopadhyay, Supratik
Podelski, Andreas
Model Checking for Timed Logic Processes
In: Proceedings of the 1st International Conference on Computational Logic, 598-612
Proceedings Article
1
Hide details for Kerner, I. O. (ed.)Kerner, I. O. (ed.)
1998Weidenbach, ChristophRechnen in sortierter Prädikatenlogik
In: Ausgezeichnete Informatikdissertationen 1997, 183-197
Part of a Book
1
Hide details for Khasidashvili, Zurab (ed.)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
Hide details for Kijania-Placek, Katarzyna (ed.)Kijania-Placek, Katarzyna (ed.)
1999Sofronie-Stokkermans, VioricaResolution-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
Hide details for Kindler, EkkartKindler, 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
Hide details for Kirchner, Claude (ed.)Kirchner, Claude (ed.)
1998Bachmair, 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
1998Nonnengart, 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
1998Bachmair, Leo
Ganzinger, Harald
Strict Basic Superposition
In: Proceedings of the 15th International Conference on Automated Deduction (CADE-98), 160-174
Proceedings Article
1998Waldmann, UweSuperposition for Divisible Torsion-Free Abelian Groups
In: Proceedings of the 15th International Conference on Automated Deduction (CADE-98), 144-159
Proceedings Article
7
Hide details for Kirchner, Hélène (ed.)Kirchner, Hélène (ed.)
1998Bachmair, 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
1998Nonnengart, 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
1998Bachmair, Leo
Ganzinger, Harald
Strict Basic Superposition
In: Proceedings of the 15th International Conference on Automated Deduction (CADE-98), 160-174
Proceedings Article
1998Waldmann, UweSuperposition for Divisible Torsion-Free Abelian Groups
In: Proceedings of the 15th International Conference on Automated Deduction (CADE-98), 144-159
Proceedings Article
1992Socher-Ambrosius, RolfA Goal Oriented Strategy Based on Completion
In: Proc.~3rd Intern.~Conference on Algebraic and Logic Programming, 435-445
Proceedings Article
1992Hanus, MichaelIncremental Rewriting in Narrowing Derivations
In: Proceedings of the 3rd International Conference on Algebraic and Logic Programming (ALP-92), 228-243
Proceedings Article
1992Bachmair, Leo
Ganzinger, Harald
Waldmann, Uwe
Theorem proving for hierarchic first-order theories
In: Algebraic and Logic Programming, 420-434
Proceedings Article
1
Hide details for Kirchner, H. (ed.)Kirchner, H. (ed.)
2000Eisenbrand, 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
Hide details for Klarlund, NilsKlarlund, Nils
1998Basin, David A.
[Klarlund, Nils]
Automata Based Symbolic Reasoning in Hardware Verification
In: Formal Methods in Systems Design [13], 255-288
Journal Article
1995Basin, 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
Hide details for Klawonn, FrankKlawonn, Frank
1994Hopf, 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
1993Hopf, Jörn
[Klawonn, Frank]
Selbstlernende Fuzzy-Controller auf der Basis Genetischer Algorithmen
In: Fuzzy-Systeme '93 / Management unsicherer Informationen, 21-27
Proceedings Article
2
Hide details for Kleemann, ThomasKleemann, Thomas
2005Baumgartner, 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
2004Baumgartner, 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
Hide details for Kleine Büning, HansKleine Büning, Hans
1995Barth, Peter
[Kleine Büning, Hans]
Weidenbach, Christoph
Workshop CPL Computational Propositional Logic
In: KI-95 Activities: Workshops, Posters, Demos, 71-72
Proceedings Article
1
Hide details for Klotzki, PiaKlotzki, Pia
1995Klotzki, PiaWiedemann-Algorithmus zur Lösung dünnbesetzter Gleichungssysteme über Fp
Universität des Saarlandes
Thesis - Masters thesis
1
Hide details for Knight, Julia F.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
Hide details for Kobsa, Alfred (ed.)Kobsa, Alfred (ed.)
1993Ohlbach, Hans JürgenEin 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
Hide details for Koehler, JanaKoehler, Jana
1996Ohlbach, Hans Jürgen
[Koehler, Jana]
Reasoning about Sets via Atomic DecompositionReport
1
Hide details for Koehler, Jana (ed.)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
Hide details for Koenig, Sven (ed.)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
2002Mukhopadhyay, 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
Hide details for Kohlas, Jürg (ed.)Kohlas, Jürg (ed.)
1995Weydert, EmilNumeric 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
Hide details for Kohlhase, MichaelKohlhase, Michael
2001de 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
Hide details for Kolaitis, Phokion (ed.)Kolaitis, Phokion (ed.)
2003Ganzinger, Harald
Korovin, Konstantin
Attachment IconNew Directions in Instantiation-Based Theorem Proving
In: 18th Annual IEEE Symposium on Logic in Computer Science (LICS-03), 55-64
Proceedings Article
2003Korovin, Konstantin
[Voronkov, Andrei]
Attachment IconOrienting Equalities with the Knuth-Bendix Order
In: 18th Annual IEEE Symposium on Logic in Computer Science (LICS-03), 75-84
Proceedings Article
1
Hide details for Konev, Boris (ed.)Konev, Boris (ed.)
2003de Nivelle, HansImplementing the clausal normal form transformation with proof generation
In: Fourth Workshop on the Implementation of Logics, 69-83
Proceedings Article
9
Hide details for Korovin, KonstantinKorovin, Konstantin
2006Ganzinger, Harald
[Korovin, Konstantin]
Theory Instantiation
In: 13th Conference on Logic for Programming Artificial Intelligence Reasoning (LPAR'06), 497-511
Proceedings Article
2006Ganzinger, Harald
[Korovin, Konstantin]
Theory Instantiation
In: Logic for Programming, Artificial Intelligence, and Reasoning : 13th International Conference, LPAR 2006, 497-511
Proceedings Article
2005Korovin, Konstantin
[Voronkov, Andrei]
Knuth-Bendix constraint solving is NP-complete
In: ACM Transactions on Computational Logic [6], 361-388
Journal Article
2004Ganzinger, 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
2003Korovin, Konstantin
[Voronkov, Andrei]
Attachment IconAC-compatible Knuth-Bendix Order
In: Automated deduction, CADE-19 : 19th International Conference on Automated Deduction, 47-59
Proceedings Article
2003Korovin, KonstantinKnuth-Bendix orders in automated deduction and term rewriting
University of Manchester
Thesis - PhD thesis
2003Ganzinger, Harald
Korovin, Konstantin
Attachment IconNew Directions in Instantiation-Based Theorem Proving
In: 18th Annual IEEE Symposium on Logic in Computer Science (LICS-03), 55-64
Proceedings Article
2003Korovin, Konstantin
[Voronkov, Andrei]
Attachment IconOrienting Equalities with the Knuth-Bendix Order
In: 18th Annual IEEE Symposium on Logic in Computer Science (LICS-03), 75-84
Proceedings Article
2003Korovin, Konstantin
[Voronkov, Andrei]
Orienting rewrite rules with the Knuth-Bendix order
In: Information and Computation [183], 165-186
Journal Article
1
Hide details for Kovalerchuk, B. (ed.)Kovalerchuk, B. (ed.)
2006She, 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
Hide details for Kraan, InaKraan, 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
1993Basin, 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
1993Kraan, 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
1993Kraan, 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
Hide details for Kracht, M. (ed.)Kracht, M. (ed.)
1998Schmidt, 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
Hide details for Kreowski, H.-J. (ed.)Kreowski, H.-J. (ed.)
1999Basin, David A.
Krieg-Brückner, Bernd
Formalization of the Development Process
In: Algebraic foundations of systems specification, 521-562
Part of a Book
1
Hide details for Kretinsky, Mojomir (ed.)Kretinsky, Mojomir (ed.)
2002Charatonik, 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
Hide details for Krieg-Brückner, BerndKrieg-Brückner, Bernd
1999Basin, David A.
Krieg-Brückner, Bernd
Formalization of the Development Process
In: Algebraic foundations of systems specification, 521-562
Part of a Book
1
Hide details for Krieg-Brückner, Bernd (ed.)Krieg-Brückner, Bernd (ed.)
1993Bertling, 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
Hide details for Krieg-Brückner, B. (ed.)Krieg-Brückner, B. (ed.)
1999Basin, David A.
Krieg-Brückner, Bernd
Formalization of the Development Process
In: Algebraic foundations of systems specification, 521-562
Part of a Book
7
Hide details for Krischer, StefanKrischer, Stefan
1998[Werner, Andreas]
Bockmayr, Alexander
[Krischer, Stefan]
How to realize LSE narrowing
In: New Generation Computing [16], 397-434
Journal Article
1995Bockmayr, 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
1993Werner, Andreas
Bockmayr, Alexander
Krischer, Stefan
A Concept for the Implementation of LSE Narrowing
In: 9.~Workshop Logische Programmierung, ?
Proceedings Article
1993Werner, Andreas
Bockmayr, Alexander
Krischer, Stefan
How to Realize LSE NarrowingReport
1993Werner, Andreas
Bockmayr, Alexander
Krischer, Stefan
How to Realize LSE Narrowing
In: Proceedings of the 2nd International Workshop on Functional/Logic Programming, ?-?
Proceedings Article
1991Krischer, 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
Hide details for Krishna Rao, M. R. K.Krishna Rao, M. R. K.
2000Krishna Rao, M. R. K.Some characteristics of strong innermost normalization
In: Theoretical Computer Science [239], 141-164
Journal Article
2000Krishna Rao, M. R. K.Some classes of prolog programs inferable from positive data
In: Theoretical Computer Science [241], 211-223
Journal Article
1998Krishna Rao, M. R. K.Modular Aspects of term graph rewriting
In: Theoretical Computer Science [208], 59-86
Journal Article
1997Krishna Rao, M. R. K.A framework for incremental learning of logic programs
In: Theoretical Computer Science [185], 191-213
Journal Article
1996Krishna Rao, M. R. K.A class of Prolog programs inferable from positive data
In: Algorithmic Learning Theory, 272-284
Proceedings Article
1996Krishna Rao, M. R. K.Completeness results for basic narrowing in non-copying implementations
In: Logic Programming, 393-407
Proceedings Article
1996Krishna Rao, M. R. K.Learning Prolog programs from examples
In: Knowledge Based Computer Systems, 19-30
Proceedings Article
1996Krishna Rao, M. R. K.Modularity of termination in term graph rewriting
In: Rewriting Techniques and Applications, 230-244
Proceedings Article
1996Krishna Rao, M. R. K.Relating confluence, innermost-confluence and outermost-confluence properties of term rewriting systems
In: Acta Informatica [33], 595-606
Journal Article
1996Krishna 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
1995Krishna Rao, M. R. K.Graph reducibility of term rewriting systems
In: Proceedings of Mathematical Foundations of Computer Science, 371-381
Proceedings Article
1995Krishna Rao, M. R. K.Incremental Learning of Logic Programs
In: Proceedings of International Workshop on Algorithmic Learning Theory, 95-109
Proceedings Article
1995Krishna Rao, M. R. K.Modular Proofs for Completeness of hierarchical term rewriting systems
In: Theoretical Computer Science [151], 487-512
Journal Article
1995Krishna 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
1995Krishna 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
Hide details for Kruse, Rudolf (ed.)Kruse, Rudolf (ed.)
1997Qualitative and Quantitative Practical ReasoningBook
1997Weydert, EmilRational 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
Hide details for Kruse, R. (ed.)Kruse, R. (ed.)
1994Hopf, 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
1993Fehrer, DetlefA Unifying Framework for Reason Maintenance
In: Symbolic and Quantitative Approaches to Reasoning and Uncertainty: Proceedings European Conference ECSQARU '93, 113-120
Proceedings Article
1993Weydert, EmilPlausible 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
Hide details for Kucera, Antonin (ed.)Kucera, Antonin (ed.)
2002Charatonik, 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
Hide details for Kuncak, ViktorKuncak, Viktor
2006Wies, Thomas
[Kuncak, Viktor]
[Lam, Patrick]
Podelski, Andreas
[Rinard, Martin C.]
Attachment IconField Constraint Analysis
In: Verification, Model Checking, and Abstract Interpretation : 7th International Conference, VMCAI 2006, 157-173
Proceedings Article
4
Hide details for Kunze, Jürgen (ed.)Kunze, Jürgen (ed.)
1994Hustadt, UllrichCommon and Mutual Belief for Agent Modeling
In: KI-94 Workshops: Extended Abstracts, 123-124
Proceedings Article
1994Hustadt, UllrichDo we need the closed-world assumption in knowledge representation?
In: KI-94 Workshops: Extended Abstracts, 293-294
Proceedings Article
1994Weidenbach, ChristophSorts, Resolution, Tableaux and Propositional Logic
In: KI-94 Workshops: Extended Abstracts, 315-316
Proceedings Article
1994Schmidt, Renate A.Terminological Logics and Conceptual Graphs: An Historical Perspective
In: KI-94 Workshops: Extended Abstracts, 135-136
Proceedings Article
1
Hide details for Kunze, J. (ed.)Kunze, J. (ed.)
1994Struth, GeorgIntensionality, Possible Worlds and Propositional Attitudes: Formal and Philosophical Foundations of Modal Semantics
In: KI-94 Workshops: Extended Abstracts, 108-109
Proceedings Article
1
Hide details for Kupferschmid, SebastianKupferschmid, 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
Hide details for Kwiatkowska, Marta (ed.)Kwiatkowska, Marta (ed.)
1999Jaeger, ManfredAttachment IconFairness, Computable Fairness and Randomness
In: Proceedings of the 2nd International Workshop on Probabilistic Methods in Verification (PROBMIV-99), 57-66
Proceedings Article
1
Hide details for Lakemeyer, Gerhard (ed.)Lakemeyer, Gerhard (ed.)
1994Weydert, EmilHyperrational Conditionals
In: Foundations of Knowledge Representation and Reasoning, 310-332
Proceedings Article
1
Hide details for Lam, PatrickLam, Patrick
2006Wies, Thomas
[Kuncak, Viktor]
[Lam, Patrick]
Podelski, Andreas
[Rinard, Martin C.]
Attachment IconField Constraint Analysis
In: Verification, Model Checking, and Abstract Interpretation : 7th International Conference, VMCAI 2006, 157-173
Proceedings Article
2
Hide details for Lang, JérômeLang, 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
Hide details for Lang, Jerome (ed.)Lang, Jerome (ed.)
1998Weydert, 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
Hide details for Laskey, Kathryn B. (ed.)Laskey, Kathryn B. (ed.)
1999van 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
Hide details for Lassez, J. L. (ed.)Lassez, J. L. (ed.)
1991Ohlbach, 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
Hide details for Laux, Arnim (ed.)Laux, Arnim (ed.)
1995Hustadt, UllrichIntroducing Epistemic Operators into a Description Logic
In: Knowledge and Belief in Philosophie and Artificial Intelligence, 65-85
Part of a Book
1994Hustadt, UllrichCommon 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
Hide details for Lau, Kung-Kiu (ed.)Lau, Kung-Kiu (ed.)
2000Mukhopadhyay, Supratik
Podelski, Andreas
Model Checking for Timed Logic Processes
In: Proceedings of the 1st International Conference on Computational Logic, 598-612
Proceedings Article
1
Hide details for Lau, K. K. (ed.)Lau, K. K. (ed.)
1993Kraan, 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
Hide details for Le Charlier, Baudouin (ed.)Le Charlier, Baudouin (ed.)
1994Hanus, 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
Hide details for Le Métayer, Daniel (ed.)Le Métayer, Daniel (ed.)
2002Charatonik, 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
Hide details for Leeser, M. E.Leeser, M. E.
1991Basin, 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
Hide details for Lee, Chin SoonLee, Chin Soon
2009Lee, Chin SoonRanking 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
2004Lee, Chin SoonSize-change Termination AnalyzerUnpublished/Draft
1
Hide details for Lee, Sau DanLee, Sau Dan
2002[de Raedt, Luc]
Jaeger, Manfred
[Lee, Sau Dan]
[Mannila, Heikki]
Attachment IconA Theory of Inductive Query Answering
In: Proceedings of the 2002 IEEE International Conference on Data Mining (ICDM'02), 123-130
Proceedings Article
2
Hide details for Lee, Shie-JueLee, 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
Hide details for Lehmann, Jos (ed.)Lehmann, Jos (ed.)
2005Freiheit, Jörn
[Münch, Susanne]
[Schöttle, Hendrik]
[Sijanski, Grozdana]
[Zangl, Fabrice]
Attachment IconEnhanced 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
Hide details for Leite, João (ed.)Leite, João (ed.)
2004Kazakov, YevgenyAttachment IconA 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
2004Baumgartner, 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
Hide details for Leitsch, AlexanderLeitsch, 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
Hide details for Leitsch, Alexander (ed.)Leitsch, Alexander (ed.)
2001Ganzinger, Harald
[McAllester, David]
Attachment IconA new meta-complexity theorem for bottom-up logic programs
In: Automated reasoning : First International Joint Conference, IJCAR 2001, 514-528
Proceedings Article
2001de 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
2001Ganzinger, Harald
[Nieuwenhuis, Robert]
[Nivela, Pilar]
Attachment IconContext trees
In: Automated reasoning : First International Joint Conference, IJCAR 2001, 242-256
Proceedings Article
2001[Nieuwenhuis, Robert]
Hillenbrand, Thomas
[Riazanov, Alexandre]
[Voronkov, Andrei]
Attachment IconOn the Evaluation of Indexing Techniques for Theorem Proving
In: Automated reasoning : First International Joint Conference, IJCAR 2001, 257-271
Proceedings Article
2001Waldmann, UweSuperposition 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
Hide details for Leitsch, A. (ed.)Leitsch, A. (ed.)
1997Basin, 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
Hide details for Lenzerini, Maurizio (ed.)Lenzerini, Maurizio (ed.)
1994Fehrer, 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
Hide details for Lenzerini, M. (ed.)Lenzerini, M. (ed.)
1995Ohlbach, 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
Hide details for Leone, Nicola (ed.)Leone, Nicola (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
2
Hide details for Letz, ReinholdLetz, Reinhold
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
Hide details for Leven, PeterLeven, Peter
1998Leven, PeterIntegrating Clausal Decision Procedures in a Tactic Based Theorem Prover
Universität des Saarlandes
Thesis - Masters thesis
1
Hide details for Levi, Georgio (ed.)Levi, Georgio (ed.)
1992Hanus, MichaelIncremental Rewriting in Narrowing Derivations
In: Proceedings of the 3rd International Conference on Algebraic and Logic Programming (ALP-92), 228-243
Proceedings Article
3
Hide details for Levi, Giorgio (ed.)Levi, Giorgio (ed.)
2004Podelski, 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
1998Charatonik, 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
Hide details for Levi, G. (ed.)Levi, G. (ed.)
1992Socher-Ambrosius, RolfA Goal Oriented Strategy Based on Completion
In: Proc.~3rd Intern.~Conference on Algebraic and Logic Programming, 435-445
Proceedings Article
1992Bachmair, Leo
Ganzinger, Harald
Waldmann, Uwe
Theorem proving for hierarchic first-order theories
In: Algebraic and Logic Programming, 420-434
Proceedings Article
1
Hide details for Levy, Jean-Jacques (ed.)Levy, Jean-Jacques (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
Hide details for Levy, JordiLevy, Jordi
2000[Levy, Jordi]
Veanes, Margus
On the Undecidability of Second-Order Unification
In: Information and Computation [159], 125-150
Journal Article
1
Hide details for Lilith, NimrodLilith, Nimrod
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
Hide details for Lindenstrauss, Naomi (ed.)Lindenstrauss, Naomi (ed.)
1995Bockmayr, Alexander
[Werner, Andreas]
LSE narrowing for decreasing conditional term rewrite systems
In: Conditional Term Rewriting Systems CTRS'94, 51-70
Proceedings Article
1
Hide details for Lindenstrauss, N. (ed.)Lindenstrauss, N. (ed.)
1995Bachmair, 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
Hide details for Liquori, LuigiLiquori, Luigi
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
Hide details for Liu, H. (ed.)Liu, H. (ed.)
1993Hustadt, 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
Hide details for Liu, ZhuojunLiu, Zhuojun
1998Wu, Jinzhao
[Liu, Zhuojun]
Well-Behaved Inference Rules for First-Order Theorem Proving
In: Journal of Automated Reasoning [21], 381-400
Journal Article
1
Hide details for Li, YongliLi, Yongli
1998Wu, 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
Hide details for Li, Zhibin (ed.)Li, Zhibin (ed.)
1998Wu, 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
Hide details for Lloyd, John W. (ed.)Lloyd, John W. (ed.)
2000Mukhopadhyay, Supratik
Podelski, Andreas
Model Checking for Timed Logic Processes
In: Proceedings of the 1st International Conference on Computational Logic, 598-612
Proceedings Article
1996Bockmayr, AlexanderConstraints in functional logic programming (Abstract)
In: Integration of functional and logic languages, 4
Proceedings Article
5
Hide details for Löchner, BerndLöchner, Bernd
2003[Avenhaus, Jürgen]
Hillenbrand, Thomas
[Löchner, Bernd]
Attachment IconOn 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]
Attachment IconThe 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
Attachment IconA Phytography of WALDMEISTER
In: AI Communications [15], 127-133
Journal Article
2002Hillenbrand, Thomas
[Löchner, Bernd]
Attachment IconThe Next WALDMEISTER Loop
In: Automated deduction, CADE-18 : 18th International Conference on Automated Deduction, 486-500
Proceedings Article
2001Hillenbrand, Thomas
[Löchner, Bernd]
Attachment IconThe Next WALDMEISTER Loop (Extended Abstract)
In: Proceedings of the Second International Workshop on the Implementation of Logics, IWIL 2001, 13-21
Proceedings Article
1
Hide details for Lombardi, Henri (ed.)Lombardi, Henri (ed.)
2006Prevosto, VirgileCertified mathematical hierarchies: the FoCal system.
In: Proceedings of the MAP (Mathematics, Algorithms, Proofs) Workshop,
Electronic Proceedings Article
1
Hide details for Lombart, V.Lombart, V.
1995Bundy, 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
Hide details for Longo, Giuseppe (ed.)Longo, Giuseppe (ed.)
1999Ganzinger, Harald
de Nivelle, Hans
Attachment IconA 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
1999Talbot, 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
1999Ganzinger, 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
Hide details for Long, Derek (ed.)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
2006Hoffmann, 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
2006Hoffmann, 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
Hide details for Lopez de Mantaraz, Ramon (ed.)Lopez de Mantaraz, Ramon (ed.)
1994Jaeger, ManfredA Logic for Default Reasoning About Probabilities
In: Proceedings of the 10th Conference on Uncertainty in Artificial Intelligence (UAI'94), 352-359
Proceedings Article
1
Hide details for Luuk, MarcLuuk, Marc
2006Freiheit, 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
Hide details for Lu, MiLu, Mi
2000[Lu, Mi]
Wu, Jinzhao
On Theorem proving in Annotated Logics
In: Journal of Applied Non-Classical Logics [10], 121-143
Journal Article
1998Wu, 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
Hide details for Lynch, ChristopherLynch, Christopher
1995Bachmair, Leo
Ganzinger, Harald
[Lynch, Christopher]
[Snyder, Wayne]
Basic Paramodulation
In: Information and Computation [121], 172-192
Journal Article
1992Bachmair, 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
Hide details for MacNish, Craig (ed.)MacNish, Craig (ed.)
1994Nonnengart, AndreasHow to Use Modalities and Sorts in Prolog
In: Logics in Artificial Intelligence: Proceedings of the JELIA'94, 365-378
Proceedings Article
1994Dimopoulos, YannisThe Computational Value of Joint Consistency
In: Logics in Artificial Intelligence: Proceedings of the JELIA'94, 50-65
Proceedings Article
6
Hide details for Madden, PeterMadden, Peter
1999Madden, Peter
[Bundy, Alan]
[Smaill, Alan]
Recursive Program Optimization Through Inductive Synthesis Proof Transformation
In: Journal of Automated Reasoning [22], 65-115
Journal Article
1995Madden, 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
1995Madden, PeterProgram improvement by proof planning
In: Proceedings of British Colloquium on Theoretical Computer Science (BCTCS 11),
Proceedings Article
1994Madden, PeterFormal 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
1993Madden, 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
1992Madden, PeterAutomated Program Transformation Through Proof Transformation
In: Proceedings of the 11th International Conference on Automated Deduction (CADE-11), 446-460
Proceedings Article
2
Hide details for Magirou, VangelisMagirou, Vangelis
1994Dimopoulos, Yannis
[Magirou, Vangelis]
A Graph Theoretic Approach to Default Logic
In: Information and Computation [112], 239-256
Journal Article
1993Dimopoulos, Yannis
Magirou, Vangelis
Papadimitriou, Christos
On Kernels, Defaults and Even Graphs
In: Annals of Mathematics and Artificial Intelligence,
Journal Article
1
Hide details for Maher, Michael (ed.)Maher, Michael (ed.)
1996Krishna Rao, M. R. K.Completeness results for basic narrowing in non-copying implementations
In: Logic Programming, 393-407
Proceedings Article
1
Hide details for Maibaum, T. S. E. (ed.)Maibaum, T. S. E. (ed.)
1991Baumeister, HubertUnifying 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
Hide details for Maibaum, T.S.E. (ed.)Maibaum, T.S.E. (ed.)
1991Hanus, MichaelParametric 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
Hide details for Maier, PatrickMaier, Patrick
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
2004Maier, PatrickAttachment IconIntuitionistic LTL and a New Characterization of Safety and LivenessReport
2004Maier, PatrickIntuitionistic 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
2003Maier, PatrickAttachment IconA Lattice-Theoretic Framework For Circular Assume-Guarantee Reasoning
Universität des Saarlandes
Thesis - PhD thesis
2003Maier, PatrickCompositional 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
2002Maier, PatrickA 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
2001Maier, PatrickA 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
Hide details for Majumdar, RupakMajumdar, 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
Attachment IconPath Invariants
In: PLDI'07 : Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 300-309
Proceedings Article
2
Hide details for Makinson, DavidMakinson, David
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
Hide details for Malkis, AlexanderMalkis, Alexander
2006Malkis, Alexander
Podelski, Andreas
Rybalchenko, Andrey
Attachment IconThread-Modular Verification and Cartesian AbstractionUnpublished/Draft
2006Malkis, 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
Hide details for Maluszynski, Jan (ed.)Maluszynski, Jan (ed.)
1997Podelski, AndreasSet-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
Hide details for Mancarella, P. (ed.)Mancarella, P. (ed.)
1993Hustadt, UllrichAbductive Disjunctive Logic Programming
In: ICLP '93 Postconference Workshop on Abductive Reasoning, ?
Proceedings Article
2
Hide details for Mannila, HeikkiMannila, Heikki
2002[de Raedt, Luc]
Jaeger, Manfred
[Lee, Sau Dan]
[Mannila, Heikki]
Attachment IconA Theory of Inductive Query Answering
In: Proceedings of the 2002 IEEE International Conference on Data Mining (ICDM'02), 123-130
Proceedings Article
1996Jaeger, 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
Hide details for Mantel, Heiko (ed.)Mantel, Heiko (ed.)
2006Sofronie-Stokkermans, VioricaLocal reasoning in verification
In: Proceedings of VERIFY'06: Verification Workshop, 128-145
Electronic Proceedings Article
1
Hide details for Marché, Claude (ed.)Marché, Claude (ed.)
2001Ganzinger, Harald
[Nieuwenhuis, Robert]
Attachment IconConstraints and Theorem Proving
In: Contraints in Computational Logics, International Summer School (CCL-99), 159-201
Proceedings Article
2
Hide details for Marcinkowski, Jerzy (ed.)Marcinkowski, Jerzy (ed.)
2004Ganzinger, 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
2004Maier, PatrickIntuitionistic 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
Hide details for Marek, V. W. (ed.)Marek, V. W. (ed.)
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
Hide details for Margaria, Tiziana (ed.)Margaria, Tiziana (ed.)
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
1996Ayari, 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
Hide details for Martelli, MaurizioMartelli, 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
1999Delzanno, 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
Hide details for Martin, David (ed.)Martin, David (ed.)
2005Freiheit, Jörn
[Münch, Susanne]
[Schöttle, Hendrik]
[Sijanski, Grozdana]
[Zangl, Fabrice]
Attachment IconEnhanced 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
Hide details for Mascardi, VivianaMascardi, Viviana
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
Hide details for Matthews, SeanMatthews, Sean
2002Basin, David A.
Matthews, Sean
Logical Frameworks
In: Handbook of Philosophical Logic, 89-164
Part of a Book
2000Matthews, 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
1998Basin, David A.
Matthews, Seán
Viganò, Luca
Natural Deduction for Non-Classical Logics
In: Studia Logica [60], 119-160
Journal Article
1998Matthews, Seán
Basin, David A.
Scoped Metatheorems
In: Electronic Notes in Computer Science [15], 1-14
Journal Article
1997Basin, 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
1997Matthews, SeánA 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
1997Matthews, SeánExtending 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
1997Basin, 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
1997Basin, 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
1996Basin, 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
1996Basin, David A.
Matthews, Seán
Adding Metatheoretic facilities to First-order Theories
In: Journal of Logic and Computation [6], 835-849
Journal Article
1996Basin, 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
1996Matthews, SeánImplementing $\textrm FS_0$ in Isabelle: Adding Structure at the Metalevel
In: Design and Implementation of Symbolic Computation Systems (DISCO'96), 228-239
Proceedings Article
1996Matthews, Seán
[Simpson, Alex]
Reflection using the derivability conditions
In: Logic and Algebra, 603-616
Part of a Book
1996Basin, 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
1994Matthews, SeánA Theory and its Metatheory in $FS_0$
In: What is a logical system?, 329-354
Part of a Book
1993Basin, 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
1993Basin, 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
1993Matthews, Seán
Smaill, Alan
Basin, David A.
Experience with $FS_0$ as a Framework Theory
In: Logical Environments, 61-82
Part of a Book
1992Matthews, SeánReflection in a Logical System
In: Proc.~IMSA '92 Workshop on Reflection and Meta-Level Architecture, 178-183
Proceedings Article
1
Hide details for Maus, StefanMaus, Stefan
2005[Daum, Matthias]
Maus, Stefan
[Schirmer, Norbert]
Seghir, Mohammed Nassim
Attachment IconIntegration 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
Hide details for Mayr, Ernst W. (ed.)Mayr, Ernst W. (ed.)
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
Hide details for McAllester, DavidMcAllester, David
2002Ganzinger, Harald
[McAllester, David]
Attachment IconLogical Algorithms
In: Logic Programming. 18th International Conference, ICLP 2002, 209-223
Proceedings Article
2001Ganzinger, Harald
[McAllester, David]
Attachment IconA new meta-complexity theorem for bottom-up logic programs
In: Automated reasoning : First International Joint Conference, IJCAR 2001, 514-528
Proceedings Article
1998Charatonik, 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
Hide details for McAllester, David (ed.)McAllester, David (ed.)
2000de 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
2000Sofronie-Stokkermans, VioricaAttachment IconOn unification for bounded distributive lattices
In: Proceedings of the 17th International Conference on Automated Deduction (CADE-17), 465-481
Proceedings Article
1999Waldmann, UweCancellative 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
1999Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR-99)Proceedings
3
Hide details for McCluskey, Lee (ed.)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
2006Hoffmann, 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
2006Hoffmann, 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
Hide details for McCune, William (ed.)McCune, William (ed.)
1997Matthews, SeánA 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
1997Ganzinger, 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
Hide details for McKinley, Kathryn S. (ed.)McKinley, Kathryn S. (ed.)
2007[Beyer, Dirk]
[Henzinger, Thomas]
[Majumdar, Rupak]
Rybalchenko, Andrey
Attachment IconPath 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
Attachment IconProving Thread Termination
In: PLDI'07 : Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 320-330
Proceedings Article
1
Hide details for McNamara, Paul (ed.)McNamara, Paul (ed.)
1999van 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
Hide details for McRobbie, Michael A. (ed.)McRobbie, Michael A. (ed.)
1996Ganzinger, 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
Hide details for McRobbie, M. A. (ed.)McRobbie, M. A. (ed.)
1996Graf, 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
1996Vorobyov, SergeiAn 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
1996Graf, PeterPath indexing for AC-theories
In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), 718-732
Proceedings Article
1996Nonnengart, AndreasResolution-Based Calculi for Modal and Temporal Logics
In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), 598-612
Proceedings Article
1996Ohlbach, Hans JürgenSCAN-Elimination of Predicate Quantifiers
In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), 161-165
Proceedings Article
1996Weidenbach, 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
1996Basin, 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
1996Weidenbach, ChristophUnification in Pseudo-Linear Sort Theories is Decidable
In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), 343-357
Proceedings Article
1
Hide details for Mediratta, AnupamMediratta, Anupam
2004Baumgartner, 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
Hide details for Meersman, Robert (ed.)Meersman, Robert (ed.)
2005Freiheit, Jörn
[Münch, Susanne]
[Schöttle, Hendrik]
[Sijanski, Grozdana]
[Zangl, Fabrice]
Attachment IconEnhanced 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
Hide details for Melis, EricaMelis, Erica
2004Baumgartner, Peter
[Grabowski, Barbara]
[Oevel, Walter]
[Melis, Erica]
In2Math - Interaktive Mathematik- und Informatikgrundausbildung
In: Softwaretechnik-Trends [24], 36-45
Journal Article
1
Hide details for Mellish, Chris S. (ed.)Mellish, Chris S. (ed.)
1995Jaeger, ManfredMinimum Cross-Entropy Reasoning: A Statistical Justification
In: Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI-95), 1847-1852
Proceedings Article
1
Hide details for Mellish, C. (ed.)Mellish, C. (ed.)
1995Bundy, 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
Hide details for Méndez, Gonzalo (ed.)Méndez, Gonzalo (ed.)
2005Freiheit, Jörn
[Münch, Susanne]
[Schöttle, Hendrik]
[Sijanski, Grozdana]
[Zangl, Fabrice]
Attachment IconEnhanced 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
Hide details for Mendling, Jan (ed.)Mendling, Jan (ed.)
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
Hide details for Meng, JiaMeng, Jia
2006de Nivelle, Hans
[Meng, Jia]
Geo 2006jMiscellaneous
2006de 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
Hide details for Meter, PeterMeter, Peter
2009Meter, PeterJust a test entry
In: Booktitle, 1001-1010
Proceedings Article
1
Hide details for Meyer auf der Heide, Friedhelm (ed.)Meyer auf der Heide, Friedhelm (ed.)
1996Ganzinger, HaraldSaturation-based theorem proving (abstract)
In: Automata, Languages and Programming: International Colloquium (ICALP-23), 1-3
Proceedings Article
1
Hide details for Meyers, Karen (ed.)Meyers, Karen (ed.)
2005Hoffmann, 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
Hide details for Meyer, A. R. (ed.)Meyer, A. R. (ed.)
1991Basin, 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
Hide details for Meyer, ChristophMeyer, Christoph
2001Ganzinger, Harald
Hustadt, Ullrich
Meyer, Christoph
Schmidt, Renate A.
Attachment IconA Resolution-Based Decision Procedure for Extensions of K4
In: Advances in Modal Logic, Volume 2, 225-246
Part of a Book
1999Meyer, ChristophSoft Typing for Clausal Inference Systems
Universität des Saarlandes
Thesis - PhD thesis
1999Ganzinger, 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
1998Weidenbach, 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
1997Ganzinger, 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
1996Graf, 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
1996Meyer, ChristophAttachment IconParallel Unit Resulting Resolution
Universität des Saarlandes
Thesis - Masters thesis
1
Hide details for Meyer, RolandMeyer, Roland
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
Hide details for Miculan, Marino (ed.)Miculan, Marino (ed.)
2001Charatonik, 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
Hide details for Mishra, Nina (ed.)Mishra, Nina (ed.)
2003Jaeger, ManfredProbabilistic Classifiers and the Concepts they Recognize
In: Proceedings of the Twentieth International Conference on Machine Learning (ICML-03), 266-273
Proceedings Article
1
Hide details for Mohr, ErikMohr, Erik
1995Mohr, ErikResolution-Based Calculi for Modal Logics
Universität des Saarlandes
Thesis - Masters thesis
2
Hide details for Möller, Bernhard (ed.)Möller, Bernhard (ed.)
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
2004Schmidt, 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
Hide details for Monien, Burkhard (ed.)Monien, Burkhard (ed.)
1996Ganzinger, HaraldSaturation-based theorem proving (abstract)
In: Automata, Languages and Programming: International Colloquium (ICALP-23), 1-3
Proceedings Article
1
Hide details for Montanari, Ugo (ed.)Montanari, Ugo (ed.)
1995Podelski, 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
Hide details for Moral, Serafín (ed.)Moral, Serafín (ed.)
1998Jaeger, ManfredAttachment IconMeasure 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
Hide details for Moral, S. (ed.)Moral, S. (ed.)
1993Fehrer, DetlefA Unifying Framework for Reason Maintenance
In: Symbolic and Quantitative Approaches to Reasoning and Uncertainty: Proceedings European Conference ECSQARU '93, 113-120
Proceedings Article
1993Weydert, EmilPlausible 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
Hide details for Morari, Manfred (ed.)Morari, Manfred (ed.)
2005Ratschan, 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
Hide details for Moreno Navarro, Juan José (ed.)Moreno Navarro, Juan José (ed.)
1996Bockmayr, AlexanderConstraints in functional logic programming (Abstract)
In: Integration of functional and logic languages, 4
Proceedings Article
1
Hide details for Morozov, AndreyMorozov, Andrey
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
Hide details for Mosler, K. (ed.)Mosler, K. (ed.)
1993Bockmayr, AlexanderEmbedding OR Techniques in Constraint Logic Programming
In: Operations Research '92. 17th Symposium on Operations Research, 252-254
Proceedings Article
1
Hide details for Mosses, Peter D. (ed.)Mosses, Peter D. (ed.)
1995Baumeister, HubertRelations 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
Hide details for Mosses, Peter (ed.)Mosses, Peter (ed.)
1995Krishna 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
Hide details for Mück, A. (ed.)Mück, A. (ed.)
1993Werner, Andreas
Bockmayr, Alexander
Krischer, Stefan
How to Realize LSE Narrowing
In: Proceedings of the 2nd International Workshop on Functional/Logic Programming, ?-?
Proceedings Article
12
Hide details for Mukhopadhyay, SupratikMukhopadhyay, Supratik
2003Charatonik, 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
2002Mukhopadhyay, Supratik
Podelski, Andreas
An Algebraic Framework for Abstract Model Checking
In: Abstraction, reformulation, and approximation : 5th International Symposium, SARA 2002, 152-169
Proceedings Article
2002Charatonik, 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
2002Charatonik, 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
2001Mukhopadhyay, SupratikAttachment IconA Uniform Constraint-based Framework for the Verification of Infinite State Systems
Universität des Saarlandes
Thesis - PhD thesis
2001Mukhopadhyay, 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
2001Mukhopadhyay, Supratik
Podelski, Andreas
Attachment IconConstraint 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
2001Charatonik, Witold
[Dal Zilio, Silvano]
[Gordon, Andrew Donald]
Mukhopadhyay, Supratik
[Talbot, Jean-Marc]
The Complexity of Model Checking Mobile AmbientsReport
2001Charatonik, 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
2000Mukhopadhyay, Supratik
Podelski, Andreas
Model Checking for Timed Logic Processes
In: Proceedings of the 1st International Conference on Computational Logic, 598-612
Proceedings Article
1999Mukhopadhyay, Supratik
Podelski, Andreas
Attachment IconBeyond 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
Hide details for Mukhopadhyay, Supratik (ed.)Mukhopadhyay, Supratik (ed.)
2003Podelski, AndreasSoftware Model Checking with Abstraction Refinement
In: Verification, model checking, and abstract interpretation : 4th International Conference, VMCAI 2003, 1-13
Proceedings Article
5
Hide details for Müller, MartinMüller, Martin
2000[Müller, Martin]
[Niehren, Joachim]
Podelski, Andreas
Ordering Constraints over Feature Trees
In: Constraints [5], 7-41
Journal Article
1999Talbot, 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
1999Podelski, 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
Hide details for Münch, SusanneMünch, Susanne
2006Freiheit, 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
2005Freiheit, Jörn
[Münch, Susanne]
[Schöttle, Hendrik]
[Sijanski, Grozdana]
[Zangl, Fabrice]
Attachment IconEnhanced 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
Hide details for Mundici, Daniele (ed.)Mundici, Daniele (ed.)
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
Hide details for Mundici, D. (ed.)Mundici, D. (ed.)
1997Basin, 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
Hide details for Murray, Neil V. (ed.)Murray, Neil V. (ed.)
1999Tzakova, MiroslavaTableau 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
Hide details for Muscettola, Nicola (ed.)Muscettola, Nicola (ed.)
2003Hoffmann, 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
Hide details for Mycroft, Alan (ed.)Mycroft, Alan (ed.)
1995Krishna 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
Hide details for Nadif, Mohamed (ed.)Nadif, Mohamed (ed.)
2003Sofronie-Stokkermans, VioricaAttachment IconAutomated 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
Hide details for Näher, Stefan (ed.)Näher, Stefan (ed.)
2001Backes, 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
Hide details for Namjoshi, Kedar S. (ed.)Namjoshi, Kedar S. (ed.)
2006Wies, Thomas
[Kuncak, Viktor]
[Lam, Patrick]
Podelski, Andreas
[Rinard, Martin C.]
Attachment IconField Constraint Analysis
In: Verification, Model Checking, and Abstract Interpretation : 7th International Conference, VMCAI 2006, 157-173
Proceedings Article
1
Hide details for Napoli, Amedeo (ed.)Napoli, Amedeo (ed.)
2003Sofronie-Stokkermans, VioricaAttachment IconAutomated 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
Hide details for Nardi, D. (ed.)Nardi, D. (ed.)
1995Ohlbach, 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
Hide details for Narendran, PaliathNarendran, Paliath
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
Hide details for Narendran, Paliath (ed.)Narendran, Paliath (ed.)
1999Stuber, JürgenTheory path orderings
In: Proceedings of the 10th International Conference on Rewriting Techniques and Applications (RTA-99), 148-162
Proceedings Article
1
Hide details for Naumann, StefanNaumann, Stefan
1997Naumann, StefanIntegration des automatischen Beweisers SPASS in die mathematische Assistenzumgebung OMEGA
Universität des Saarlandes
Thesis - Masters thesis
1
Hide details for Nau, Dana (ed.)Nau, Dana (ed.)
2003Hoffmann, 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
Hide details for Nebel, BernhardNebel, 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
Hide details for Nebel, Bernhard Nebel (ed.)Nebel, Bernhard Nebel (ed.)
1992Gabbay, 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
Hide details for Nebel, Bernhard (ed.)Nebel, Bernhard (ed.)
2001Jaeger, ManfredAttachment IconConstraints 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
1997Basin, 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
1997van 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
1994Madden, PeterFormal 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
1994Weydert, EmilHyperrational Conditionals
In: Foundations of Knowledge Representation and Reasoning, 310-332
Proceedings Article
1
Hide details for Nebel, B. (ed.)Nebel, B. (ed.)
1995Ohlbach, 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
Hide details for Nejdl, W. (ed.)Nejdl, W. (ed.)
1993Weydert, EmilDefault 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
Hide details for Neuman, B. (ed.)Neuman, B. (ed.)
1992Frank, 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
Hide details for Ng, Raymond (ed.)Ng, Raymond (ed.)
1996Jaeger, 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
Hide details for Niehren, JoachimNiehren, Joachim
2000[Müller, Martin]
[Niehren, Joachim]
Podelski, Andreas
Ordering Constraints over Feature Trees
In: Constraints [5], 7-41
Journal Article
1999Talbot, 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
Hide details for Nielsen, Mogen (ed.)Nielsen, Mogen (ed.)
1999Cortier, 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
Hide details for Nielsen, Mogens (ed.)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
1995Baumeister, HubertRelations 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
1995Krishna 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
Hide details for Nielsen, Thomas D. (ed.)Nielsen, Thomas D. (ed.)
2003Jaeger, ManfredAttachment IconA Representation Theorem and Applications
In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty :
7th European Conference, ECSQARU 2003, 50-61
Proceedings Article
1
Hide details for Nielson, FlemmingNielson, Flemming
2001Nielson, 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
Hide details for Niemelä, Ilkka (ed.)Niemelä, Ilkka (ed.)
1996Weydert, EmilDefault Quantifier Logic
In: Proceedings of the ECAI'96 Workshop on Integrating Nonmonotonicity into Automated Reasoning Systems, -
Proceedings Article
6
Hide details for Nieuwenhuis, RobertNieuwenhuis, Robert
2004Ganzinger, 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
2004Ganzinger, Harald
[Nieuwenhuis, Robert]
[Nivela, Pilar]
Attachment IconFast Term Indexing with Coded Context Trees
In: Journal of Automated Reasoning [32], 103-120
Journal Article
2001Ganzinger, Harald
[Nieuwenhuis, Robert]
Attachment IconConstraints and Theorem Proving
In: Contraints in Computational Logics, International Summer School (CCL-99), 159-201
Proceedings Article
2001Ganzinger, Harald
[Nieuwenhuis, Robert]
[Nivela, Pilar]
Attachment IconContext trees
In: Automated reasoning : First International Joint Conference, IJCAR 2001, 242-256
Proceedings Article
2001[Nieuwenhuis, Robert]
Hillenbrand, Thomas
[Riazanov, Alexandre]
[Voronkov, Andrei]
Attachment IconOn the Evaluation of Indexing Techniques for Theorem Proving
In: Automated reasoning : First International Joint Conference, IJCAR 2001, 257-271
Proceedings Article
1993Bertling, 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
Hide details for Nieuwenhuis, Robert (ed.)Nieuwenhuis, Robert (ed.)
2005Sofronie-Stokkermans, VioricaAttachment IconHierarchic reasoning in local theory extensions
In: Automated deduction - CADE-20 : 20th International Conference on Automated Deduction, 219-234
Proceedings Article
2005Baumgartner, Peter
[Tinelli, Cesare]
The Model Evolution Calculus with Equality
In: Automated deduction - CADE-20 : 20th International Conference on Automated Deduction, 392-408
Proceedings Article
2001Afshordel, Bijan
Hillenbrand, Thomas
Weidenbach, Christoph
Attachment IconFirst-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
2001de Nivelle, HansSplitting 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
Hide details for Nipkow, Tobias (ed.)Nipkow, Tobias (ed.)
2001Ganzinger, Harald
[McAllester, David]
Attachment IconA new meta-complexity theorem for bottom-up logic programs
In: Automated reasoning : First International Joint Conference, IJCAR 2001, 514-528
Proceedings Article
2001de 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
2001Ganzinger, Harald
[Nieuwenhuis, Robert]
[Nivela, Pilar]
Attachment IconContext trees
In: Automated reasoning : First International Joint Conference, IJCAR 2001, 242-256
Proceedings Article
2001[Nieuwenhuis, Robert]
Hillenbrand, Thomas
[Riazanov, Alexandre]
[Voronkov, Andrei]
Attachment IconOn the Evaluation of Indexing Techniques for Theorem Proving
In: Automated reasoning : First International Joint Conference, IJCAR 2001, 257-271
Proceedings Article
2001Waldmann, UweSuperposition and Chaining for Totally Ordered Divisible Abelian Groups (Extended Abstract)
In: Automated reasoning : First International Joint Conference, IJCAR 2001, 226-241
Proceedings Article
1998Charatonik, 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
1998Schmidt, 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
Hide details for Nivat, MauriceNivat, Maurice
1997[Nivat, Maurice]
Podelski, Andreas
Minimal Ascending and Descending Tree Automata
In: SIAM Journal on Computing [26], 39-58
Journal Article
2
Hide details for Nivat, Maurice (ed.)Nivat, Maurice (ed.)
1996Krishna 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
Hide details for Nivela, PilarNivela, Pilar
2004Ganzinger, Harald
[Nieuwenhuis, Robert]
[Nivela, Pilar]
Attachment IconFast Term Indexing with Coded Context Trees
In: Journal of Automated Reasoning [32], 103-120
Journal Article
2001Ganzinger, Harald
[Nieuwenhuis, Robert]
[Nivela, Pilar]
Attachment IconContext trees
In: Automated reasoning : First International Joint Conference, IJCAR 2001, 242-256
Proceedings Article
1
Hide details for Niwinski, DamianNiwinski, Damian
1998Charatonik, 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
Hide details for Nonnengart, AndreasNonnengart, Andreas
2001Nonnengart, Andreas
Weidenbach, Christoph
Computing small clause normal forms
In: Handbook of Automated Reasoning, 335-367
Part of a Book
2001Nonnengart, 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
2001Nonnengart, Andreas
[Ohlbach, Hans Jürgen]
[Szalas, Andrzej]
Quantifier Elimination for Second-Order Predicate LogicUnpublished/Draft
2001Nonnengart, AndreasStrong SkolemizationUnpublished/Draft
1999Nonnengart, 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
1998Nonnengart, AndreasModal Frame Characterization by Way of Auxiliary Modalities
In: Logic Journal of the IGPL [6], 875-899
Journal Article
1998Nonnengart, 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
1996Nonnengart, AndreasResolution-Based Calculi for Modal and Temporal Logics
In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), 598-612
Proceedings Article
1995Nonnengart, AndreasA Resolution-Based Calculus for Temporal Logics
Universität des Saarlandes
Thesis - PhD thesis
1994Fehrer, 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
1994Nonnengart, AndreasHow to Use Modalities and Sorts in Prolog
In: Logics in Artificial Intelligence: Proceedings of the JELIA'94, 365-378
Proceedings Article
1993Nonnengart, AndreasFirst-Order Modal Logic Theorem Proving and Functional Simulation
In: Proc.~13th Intern.~Joint Conference on Artificial Intelligence (IJCAI '93), 80-85
Proceedings Article
1993Hustadt, Ullrich
Nonnengart, Andreas
Modalities in Knowledge Representation
In: Proc. of the 6th Australian Joint Conference on Artificial Intelligence (AI '93), 249-254
Proceedings Article
1992Nonnengart, 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
Hide details for Nonnengart, Andreas (ed.)Nonnengart, Andreas (ed.)
1997Qualitative and Quantitative Practical ReasoningBook
1997Weydert, EmilRational 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
Hide details for Nuettgens, Markus (ed.)Nuettgens, Markus (ed.)
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
Hide details for Nüttgens, Markus (ed.)Nüttgens, Markus (ed.)
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
Hide details for Nutt, Werner (ed.)Nutt, Werner (ed.)
1994Fehrer, 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
1994Hustadt, UllrichDo 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
1993Hustadt, UllrichAutomated Support for the Development of Non-classical Logics
In: Workshop: Modellierung epistemischer Propositionen, KI '93,
Proceedings Article
1
Hide details for O'Leary, John (ed.)O'Leary, John (ed.)
2006Malkis, Alexander
Podelski, Andreas
Rybalchenko, Andrey
Attachment IconThread-Modular Verification and Cartesian AbstractionUnpublished/Draft
1
Hide details for Oevel, WalterOevel, Walter
2004Baumgartner, Peter
[Grabowski, Barbara]
[Oevel, Walter]
[Melis, Erica]
In2Math - Interaktive Mathematik- und Informatikgrundausbildung
In: Softwaretechnik-Trends [24], 36-45
Journal Article
29
Hide details for Ohlbach, Hans JürgenOhlbach, Hans Jürgen
2001Nonnengart, 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
2001Nonnengart, Andreas
[Ohlbach, Hans Jürgen]
[Szalas, Andrzej]
Quantifier Elimination for Second-Order Predicate LogicUnpublished/Draft
1997Ohlbach, 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
1996Ohlbach, Hans Jürgen
[Koehler, Jana]
Reasoning about Sets via Atomic DecompositionReport
1996Ohlbach, Hans JürgenSCAN-Elimination of Predicate Quantifiers
In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), 161-165
Proceedings Article
1996Ohlbach, 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
1995Baader, Franz
Ohlbach, Hans Jürgen
A Multi-Dimensional Terminological Knowledge Representation Language
In: Journal of Applied Non-Classical Logics [5], 153-198
Journal Article
1995Ohlbach, Hans Jürgen
Weidenbach, Christoph
A Note on Assumptions about Skolem Functions
In: Journal of Automated Reasoning [15], 267-275
Journal Article
1995Ohlbach, Hans JürgenBoolean Algebras with Functions - Correspondence, Completeness and Quantifier EliminationUnpublished/Draft
1995Ohlbach, Hans JürgenClause Killer TransformationsUnpublished/Draft
1995Ohlbach, 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
1994Fehrer, 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
1993Eisinger, Norbert
Ohlbach, Hans Jürgen
Deduction Systems Based on Resolution
In: Handbook of Logic in Artificial Intelligence and Logic Programming, 184-271
Proceedings Article
1993Ohlbach, Hans JürgenEin 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
1993Ohlbach, Hans JürgenOptimized 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
1993Ohlbach, Hans JürgenThema der Antrittsvorlesung: Transformation logischer Systeme
Universität des Saarlandes
Thesis - Habilitation thesis
1993Ohlbach, Hans JürgenTranslation Methods for Non-Classical Logics: An Overview
In: Bulletin of the Interest Group in Propositional and Predicate Logics (IGPL) [1], 69-90
Journal Article
1992Gabbay, 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
1992Ohlbach, Hans JürgenLogic Engineering: Konstruktion von Logiken
In: KI [3], 34-38
Journal Article
1992Nonnengart, Andreas
Ohlbach, Hans Jürgen
Modal- und Temporallogik
In: Deduktionssysteme - Automatisierung des logischen Denkens, 239-284
Part of a Book
1992Gabbay, 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
1992Gabbay, Dov M.
Ohlbach, Hans Jürgen
Quantifier Elimination in Second-Order Predicate Logic
In: South African Computer Journal [7], 35-43
Journal Article
1991Ohlbach, 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
1991Eisinger, Norbert
Ohlbach, Hans Jürgen
Präcklein, Axel
Reduction Rules for Resolution Based Systems
In: Artificial Intelligence [50], 141-181
Journal Article
1991Ohlbach, Hans JürgenSemantics Based Translation Methods for Modal Logics
In: Journal of Logic and Computation [1], 691-746
Journal Article
1991Ohlbach, 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
1991Cunningham, J.
Gabbay, Dov M.
Ohlbach, Hans Jürgen
Towards the MEDLAR Framework
In: ESPRIT '91 Conference Proceedings, 822-841
Proceedings Article
1988Ohlbach, Hans JürgenA Resolution Calculus for Modal Logics
Universität Kaiserslautern
Thesis - PhD thesis
5
Hide details for Ohlbach, Hans Jürgen (ed.)Ohlbach, Hans Jürgen (ed.)
1997Qualitative and Quantitative Practical ReasoningBook
1996Weydert, EmilSystem 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
1994Temporal Logic: Proceedings of the 1st International Conference on Temporal LogicProceedings
1993Weidenbach, ChristophA New Sorted Logic
In: GWAI-92: Advances in Artificial Inteligence, Proceedings 16th German Workshop on Artificial Intelligence, 43-54
Proceedings Article
1993Schmidt, 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
Hide details for Ohori, Atsushi (ed.)Ohori, Atsushi (ed.)
1998Ganzinger, 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
Hide details for Okada, M. (ed.)Okada, M. (ed.)
1991Bachmair, 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
Hide details for Olbrich, SebastianOlbrich, Sebastian
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
Hide details for Oliveras, AlbertOliveras, Albert
2004Ganzinger, 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
Hide details for Ong, Luke (ed.)Ong, Luke (ed.)
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
Hide details for Orejas, FernandoOrejas, Fernando
1993Bertling, 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
Hide details for Orejas, Fernando (ed.)Orejas, Fernando (ed.)
2001Maier, PatrickA 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
Hide details for Orlowska, Ewa (ed.)Orlowska, Ewa (ed.)
2003Sofronie-Stokkermans, VioricaAttachment IconRepresentation 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
2000Sofronie-Stokkermans, VioricaSome 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
1999Nonnengart, 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
Hide details for Orłowska, EwaOrłowska, Ewa
2004Schmidt, 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
Hide details for Pacholski, LeszekPacholski, 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
Hide details for Pacholski, Leszek (ed.)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
Hide details for Palamidessi, Catuscia (ed.)Palamidessi, Catuscia (ed.)
2000Mukhopadhyay, Supratik
Podelski, Andreas
Model Checking for Timed Logic Processes
In: Proceedings of the 1st International Conference on Computational Logic, 598-612
Proceedings Article
2
Hide details for Palm, Günther (ed.)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
2004Baumgartner, 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
Hide details for Palm, R. (ed.)Palm, R. (ed.)
1994Hopf, 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
Hide details for Palsberg, Jens (ed.)Palsberg, Jens (ed.)
2005Podelski, 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
2000Podelski, AndreasModel Checking as Constraint Solving
In: Proceedings of the 7th International Symposium on Static Analysis (SAS-00), 221-237
Proceedings Article
1
Hide details for Panetto, Herve (ed.)Panetto, Herve (ed.)
2005Freiheit, Jörn
[Münch, Susanne]
[Schöttle, Hendrik]
[Sijanski, Grozdana]
[Zangl, Fabrice]
Attachment IconEnhanced 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
Hide details for Pang, JunPang, 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
Hide details for Papadimitriou, ChristosPapadimitriou, Christos
1993Dimopoulos, Yannis
Magirou, Vangelis
Papadimitriou, Christos
On Kernels, Defaults and Even Graphs
In: Annals of Mathematics and Artificial Intelligence,
Journal Article
1
Hide details for Parigot, Michel (ed.)Parigot, Michel (ed.)
2000Talbot, Jean-MarcOn 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
Hide details for Parsons, Simon (ed.)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
1999van 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
Hide details for Patel-Schneider, Peter F. (ed.)Patel-Schneider, Peter F. (ed.)
1994Fehrer, 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
Hide details for Paulson, Lawrence C. (ed.)Paulson, Lawrence C. (ed.)
1996Matthews, SeánImplementing $\textrm FS_0$ in Isabelle: Adding Structure at the Metalevel
In: Design and Implementation of Symbolic Computation Systems (DISCO'96), 228-239
Proceedings Article
1995Ayari, Abdelwaheb
Basin, David A.
Interpretation of the Deductive Tableau in HOL
In: Proceedings of the First Isabelle Users Workshop, 91-100
Proceedings Article
1
Hide details for Pauly, Marc (ed.)Pauly, Marc (ed.)
2000de Nivelle, HansAn Overview of Resolution Decision Procedures
In: Formalizing the Dynamics of Information, 115-130
Proceedings Article
1
Hide details for Paul, W. J. (ed.)Paul, W. J. (ed.)
1992Ganzinger, 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
Hide details for Paun, Gheorghe (ed.)Paun, Gheorghe (ed.)
1999Sofronie-Stokkermans, Viorica
[Stokkermans, Karel]
Attachment IconModeling Interaction by Sheaves and Geometric Logic
In: Proceedings of the 12th International Symposium Fundamentals of Computation Theory (FCT-99), 512-523
Proceedings Article
2
Hide details for Pearce, David (ed.)Pearce, David (ed.)
1994Nonnengart, AndreasHow to Use Modalities and Sorts in Prolog
In: Logics in Artificial Intelligence: Proceedings of the JELIA'94, 365-378
Proceedings Article
1994Dimopoulos, YannisThe Computational Value of Joint Consistency
In: Logics in Artificial Intelligence: Proceedings of the JELIA'94, 50-65
Proceedings Article
1
Hide details for Peled, Doron A (ed.)Peled, Doron A (ed.)
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
Hide details for Peled, Doron (ed.)Peled, Doron (ed.)
2004Ganzinger, 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
Hide details for Penjam, Jaan (ed.)Penjam, Jaan (ed.)
1994Hanus, MichaelCombining Lazy Narrowing and Simplification
In: Proceedings of the 6th International Symposium on Programming Language Implementation and Logic Programming (PLILP'94), 370-384
Proceedings Article
1993Hanus, 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
Hide details for Pereira, Luís Moniz (ed.)Pereira, Luís Moniz (ed.)
2000Mukhopadhyay, Supratik
Podelski, Andreas
Model Checking for Timed Logic Processes
In: Proceedings of the 1st International Conference on Computational Logic, 598-612
Proceedings Article
1994Nonnengart, AndreasHow to Use Modalities and Sorts in Prolog
In: Logics in Artificial Intelligence: Proceedings of the JELIA'94, 365-378
Proceedings Article
1994Dimopoulos, YannisThe Computational Value of Joint Consistency
In: Logics in Artificial Intelligence: Proceedings of the JELIA'94, 50-65
Proceedings Article
1
Hide details for Pérez, María S. (ed.)Pérez, María S. (ed.)
2005Freiheit, Jörn
[Münch, Susanne]
[Schöttle, Hendrik]
[Sijanski, Grozdana]
[Zangl, Fabrice]
Attachment IconEnhanced 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
Hide details for Pfenning, Frank (ed.)Pfenning, Frank (ed.)
1992Hanus, MichaelLogic Programming with Type Specifications
In: Types in Logic Programming, 91-140
Part of a Book
1
Hide details for Pierrot, Francois (ed.)Pierrot, Francois (ed.)
1996Hopf, 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
Hide details for Pigorsch, FlorianPigorsch, 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
Hide details for Pinto, GuilhermePinto, 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
Hide details for Pirri, Fiora (ed.)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
Hide details for Piskac, RuzicaPiskac, Ruzica
2005Piskac, RuzicaFormal Correctness of Result Checking for Priority Queues
Universität des Saarlandes
Thesis - Masters thesis
2005de 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
Hide details for Pitt, Jeremy (ed.)Pitt, Jeremy (ed.)
1994Fehrer, DetlefA Unifying Logical Framework for Reason Maintenance (Deliverable DI.1.2-3P)
In: Medlar II Report PPR2, 47-55
Proceedings Article
1
Hide details for Pitz, WernerPitz, Werner
1990Brahm, Uwe
[Pitz, Werner]
Parkwächter
In: c't Magazin für computer technik [-], 252-253
Journal Article
7
Hide details for Plaisted, David A.Plaisted, David A.
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
1994Plaisted, 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
1993Plaisted, David A.Equational Reasoning and Term Rewriting Systems
In: Handbook of Logic in Artificial Intelligence and Logic Programming, 273-364
Proceedings Article
1993Chadha, Ritu
Plaisted, David A.
On the mechanical derivation of loop invariants
In: Journal of Symbolic Computation [15], 705-744
Journal Article
3
Hide details for Plotkin, Gordon (ed.)Plotkin, Gordon (ed.)
1993Basin, David A.
Constable, Robert L.
Metalogical Frameworks
In: Logical Environments, 1-29
Part of a Book
1991Basin, David A.
Kaufmann, Matt
The Boyer-Moore Prover and Nuprl: An Experimental Comparison
In: Logical Frameworks, 90-119
Proceedings Article
1991Ohlbach, 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
Hide details for Plotkin, G. (ed.)Plotkin, G. (ed.)
1993Matthews, 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
Hide details for Pnueli, AmirPnueli, Amir
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
Hide details for Podelski, AndreasPodelski, Andreas
2007[Podelski, Andreas]
Wagner, Silke
Attachment IconA Method and a Tool for Automatic Verification of Region Stability for Hybrid SystemsReport
2007[Podelski, Andreas]
Wagner, Silke
Attachment IconA 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
Attachment IconARMC: 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
Attachment IconProving Thread Termination
In: PLDI'07 : Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 320-330
Proceedings Article
2007Wagner, 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
2007Podelski, 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
2006Wies, Thomas
[Kuncak, Viktor]
[Lam, Patrick]
Podelski, Andreas
[Rinard, Martin C.]
Attachment IconField Constraint Analysis
In: Verification, Model Checking, and Abstract Interpretation : 7th International Conference, VMCAI 2006, 157-173
Proceedings Article
2006Podelski, 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
2006Cook, Byron
Podelski, Andreas
Rybalchenko, Andrey
Terminator: Beyond Safety
In: Computer aided verification : 18th International Conference, CAV 2006, 415-418
Proceedings Article
2006Malkis, Alexander
Podelski, Andreas
Rybalchenko, Andrey
Attachment IconThread-Modular Verification and Cartesian AbstractionUnpublished/Draft
2006Malkis, 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
2005Podelski, Andreas
Wies, Thomas
Boolean Heaps
In: Static analysis : 12th International Symposium, SAS 2005, 268-283
Proceedings Article
2005Podelski, Andreas
Rybalchenko, Andrey
[Cook, Byron]
Counterexample-Guided Abstraction Refinement for TerminationUnpublished/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
2005Podelski, Andreas
Schaefer, Ina
Wagner, Silke
Attachment IconSummaries 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
2005Podelski, 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
2005Blanchet, Bruno
Podelski, Andreas
Verification of Cryptographic Protocols: Tagging Enforces Termination
In: Theoretical Computer Science [333], 67-90
Journal Article
2004Podelski, 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
2004Podelski, AndreasIntroduction to the Special Issue on Verification and Computational Logic
In: Theory and Practice of Logic Programming (TPLP) [4], 541-751
Journal Article
2004Podelski, Andreas
Schaefer, Ina
Wagner, Silke
Attachment IconSummaries for While Programs with RecursionReport
2004Podelski, Andreas
Rybalchenko, Andrey
Transition Invariants
In: Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, LICS 2004, 32-41
Proceedings Article
2003Podelski, 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
2003Podelski, AndreasSoftware Model Checking with Abstraction Refinement
In: Verification, model checking, and abstract interpretation : 4th International Conference, VMCAI 2003, 1-13
Proceedings Article
2003Blanchet, 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
2002Mukhopadhyay, Supratik
Podelski, Andreas
An Algebraic Framework for Abstract Model Checking
In: Abstraction, reformulation, and approximation : 5th International Symposium, SARA 2002, 152-169
Proceedings Article
2002Charatonik, 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
2002Charatonik, 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
2002Hillenbrand, Thomas
Podelski, Andreas
Topić, Dalibor
Attachment IconIs 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
2002Podelski, 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
2002Charatonik, Witold
Podelski, Andreas
Set Constraints with Intersection
In: Information and Computation [179], 213-229
Journal Article
2001Mukhopadhyay, 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
2001Delzanno, Giorgio
Podelski, Andreas
Constraint-based Deductive Model Checking
In: International Journal on Software Tools for Technology Transfer (STTT) [3], 250-270
Journal Article
2001Mukhopadhyay, Supratik
Podelski, Andreas
Attachment IconConstraint 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
2000Podelski, AndreasModel Checking as Constraint Solving
In: Proceedings of the 7th International Symposium on Static Analysis (SAS-00), 221-237
Proceedings Article
2000Mukhopadhyay, 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
2000Charatonik, 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
1999Mukhopadhyay, Supratik
Podelski, Andreas
Attachment IconBeyond 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
1999Delzanno, 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
1999Delzanno, 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
1999Podelski, 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
1998Charatonik, 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
1998Charatonik, 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
1998Charatonik, 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
1998Charatonik, 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
1998Podelski, AndreasThema 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
1997Podelski, AndreasSet-Based Analysis of Logic Programs and Reactive Logic Programs
In: Proceedings of the International Symposium on Logic Programming (ILPS-14), 35-36
Proceedings Article
1997Charatonik, 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
1997Podelski, Andreas
[Smolka, Gert]
Situated Simplification
In: Theoretical Computer Science [173], 235-252
Journal Article
1996Charatonik, 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
1995Podelski, 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
1995Podelski, 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
Hide details for Podelski, Andreas (ed.)Podelski, Andreas (ed.)
2007Rybalchenko, 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
2004Tools 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 2004Proceedings
1995Constraint Programming: Basics and Trends
In: Constraint Programming: Basics and Trends, 328
Proceedings
1995Bockmayr, AlexanderSolving pseudo-Boolean constraints
In: Constraint Programming: Basics and Trends, 22-38
Proceedings Article
1
Hide details for Pollack, Martha E. (ed.)Pollack, Martha E. (ed.)
1997Hustadt, 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
Hide details for Pons, OlivierPons, Olivier
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
Hide details for Poole, David (ed.)Poole, David (ed.)
1994Jaeger, ManfredA Logic for Default Reasoning About Probabilities
In: Proceedings of the 10th Conference on Uncertainty in Artificial Intelligence (UAI'94), 352-359
Proceedings Article
1
Hide details for Porteous, JuliePorteous, Julie
2004Hoffmann, Jörg
[Porteous, Julie]
[Sebastia, Laura]
Ordered Landmarks in Planning
In: Journal of Artificial Intelligence Research [22], 215-278
Journal Article
2
Hide details for Präcklein, AxelPräcklein, Axel
1992[Eisinger, Norbert]
Nonnengart, Andreas
[Präcklein, Axel]
Termersetzungssysteme
In: Deduktionssysteme -- Automatisierung des logischen Denkens, 126-149
Part of a Book
1991Eisinger, Norbert
Ohlbach, Hans Jürgen
Präcklein, Axel
Reduction Rules for Resolution Based Systems
In: Artificial Intelligence [50], 141-181
Journal Article
5
Hide details for Prade, Henri (ed.)Prade, Henri (ed.)
1999van 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
1998van 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
1998van 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
1998Sofronie-Stokkermans, VioricaOn 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
Hide details for Prakken, Henri (ed.)Prakken, Henri (ed.)
1999van 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
Hide details for Pratt-Hartmann, IanPratt-Hartmann, Ian
2001de 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
Hide details for Pratt, Vaughan (ed.)Pratt, Vaughan (ed.)
1998Jaeger, ManfredAttachment IconConvergence Results for Relational Bayesian Networks
In: Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science (LICS-98), 44-55
Proceedings Article
1998Charatonik, 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
1998Veanes, MargusThe 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
Hide details for Prevosto, VirgilePrevosto, Virgile
2006Prevosto, VirgileCertified 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
2005Prevosto, 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
Hide details for Pribbenow, Simone (ed.)Pribbenow, Simone (ed.)
1995Barth, Peter
[Kleine Büning, Hans]
Weidenbach, Christoph
Workshop CPL Computational Propositional Logic
In: KI-95 Activities: Workshops, Posters, Demos, 71-72
Proceedings Article
1
Hide details for Radermacher, F. J.Radermacher, F. J.
1993Bockmayr, 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
Hide details for Rahman, ShahidRahman, 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
Hide details for Rajamani, Sriram K.Rajamani, Sriram K.
2003Podelski, 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
2002Podelski, 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
Hide details for Rajan, Kanna (ed.)Rajan, Kanna (ed.)
2005Hoffmann, 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
Hide details for Ramakrishnan, I.V. (ed.)Ramakrishnan, I.V. (ed.)
2001Mukhopadhyay, Supratik
Podelski, Andreas
Attachment IconConstraint Database Models Characterizing Timed Bisimilarity
In: Proceedings of the 3rd International Symposium on Practical Aspects of Declarative Languages, 245-258
Proceedings Article
1
Hide details for Ramani, S. (ed.)Ramani, S. (ed.)
1996Krishna Rao, M. R. K.Learning Prolog programs from examples
In: Knowledge Based Computer Systems, 19-30
Proceedings Article
1
Hide details for Ramanujam, R (ed.)Ramanujam, R (ed.)
1999Mukhopadhyay, Supratik
Podelski, Andreas
Attachment IconBeyond 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
Hide details for Raman, V. (ed.)Raman, V. (ed.)
1999Mukhopadhyay, Supratik
Podelski, Andreas
Attachment IconBeyond 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
Hide details for Raskin, Jean-FrançoisRaskin, Jean-François
2000Delzanno, 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
Hide details for Raskin, J.-F. (ed.)Raskin, J.-F. (ed.)
2007Wagner, 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
Next Page