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: 2. Titles of all years

Login to this database


 

Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)
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

TitleAuthor(s) [non member]Editor(s) [non member]YearType
0-1 Constraints and 0-1 Optimization
In: 3rd Workshop on Constraint Logic Programming (WCLP '93), ?
Bockmayr, AlexanderBenhamou, F.
Colmerauer, A.
Smolka, G.
1993Proceedings Article
0/1 Optimization and 0/1 Primal Separation are Equivalent
In: Proceedings of the 13th Annual ACM SIAM Symposium on Discrete Algorithms, 920-926
Eisenbrand, Friedrich
Rinaldi, Giovanni
[Ventura, Paolo]
2002Proceedings Article
A Calculus for and Termination of Rippling
In: Automated mathematical induction, 147-180
Basin, David A.
[Walsh, Toby]
Zhang, Hantao1996Part of a Book
A Calculus for and Termination of Rippling
In: Journal of Automated Reasoning [16], 147-180
Basin, David A.
[Walsh, Toby]
1996Journal Article
Attachment IconA Calculus of Simplification for Superposition
Universität des Saarlandes
Christen, Michael1997Thesis - Masters thesis
A class of Prolog programs inferable from positive data
In: Algorithmic Learning Theory, 272-284
Krishna Rao, M. R. K.Arikawa, Setsuo
Sharma, Arun
1996Proceedings Article
A Complete Method for the Synthesis of Linear Ranking Functions
In: Verification, model checking, and abstract interpretation : 5th International Conference, VMCAI 2004, 239-251
Podelski, Andreas
Rybalchenko, Andrey
[Levi, Giorgio]
[Steffen, Bernhard]
2004Proceedings Article
A Complete Symbolic 0-1 Constraint Solver
In: 3rd Workshop on Constraint Logic Programming (WCLP '93), ?
Barth, PeterBenhamou, F.
Colmerauer, A.
Smolka, Gert
1993Proceedings Article
A completion procedure for conditional equations
In: Journal of Symbolic Computation [11], 51-81
Ganzinger, Harald1991Journal Article
A Concept for the Implementation of LSE Narrowing
In: 9.~Workshop Logische Programmierung, ?
Werner, Andreas
Bockmayr, Alexander
Krischer, Stefan
Beierle, C.1993Proceedings Article
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
Basin, David A.
Matthews, Seán
Shyamasundar, R. K.1993Proceedings Article
A Covering Problem for Hypercubes
In: Proceedings of the 19th International Joint Conference on Artificial Intelligence, 579-580
Hoffmann, Jörg[Kaelbling, Leslie]2005Poster
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
Hanus, Michael
[Josephs, Berthold]
Bruynooghe, Maurice
Penjam, Jaan
1993Proceedings Article
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
Nonnengart, Andreas
[Szalas, Andrzej]
[Orlowska, Ewa]1999Part of a Book
A Framework for Circular Assume-Guarantee Rules
In: Symposium on the Effectiveness of Logic in Computer Science in Honour of Moshe Vardi, 55-58
Maier, PatrickCharatonik, Witold
Ganzinger, Harald
2002Proceedings Article
A framework for incremental learning of logic programs
In: Theoretical Computer Science [185], 191-213
Krishna Rao, M. R. K.1997Journal Article
A Framework for Non-Classical Logics
Universität des Saarlandes
Viganò, Luca1997Thesis - PhD thesis
A Framework for Program Development Based on Schematic Proof
In: Proc. 7th Intern.~Workshop on Software Specification and Design, 162-171
Basin, David A.
Bundy, Alan
Kraan, Ina
Matthews, Seán
1993Proceedings Article
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
Madden, Peter
[Green, Ian]
Calmet, Jacques
Campbell, John A.
1995Proceedings Article
A Goal Oriented Strategy Based on Completion
In: Proc.~3rd Intern.~Conference on Algebraic and Logic Programming, 435-445
Socher-Ambrosius, RolfKirchner, Hélène
Levi, G.
1992Proceedings Article
A Graph Theoretic Approach to Default Logic
In: Information and Computation [112], 239-256
Dimopoulos, Yannis
[Magirou, Vangelis]
1994Journal Article
A Higher-order Interpretation of Deductive Tableau
In: Journal of Symbolic Computation [31], 487-520
[Ayari, Abdelwaheb]
Basin, David A.
2001Journal Article
A Hybrid Concept Language
In: Proceedings of the 5th International Symposium on Artificial Intelligence and Mathematics, ?
[Blackburn, Patrick]
Tzakova, Miroslava
[Boros, Endre]
[Greiner, Russel]
1998Proceedings Article
Attachment IconA Lattice-Theoretic Framework For Circular Assume-Guarantee Reasoning
Universität des Saarlandes
Maier, Patrick2003Thesis - PhD thesis
A Logic for Default Reasoning About Probabilities
In: Proceedings of the 10th Conference on Uncertainty in Artificial Intelligence (UAI'94), 352-359
Jaeger, ManfredLopez de Mantaraz, Ramon
Poole, David
1994Proceedings Article
Attachment IconA Method and a Tool for Automatic Verification of Region Stability for Hybrid Systems[Podelski, Andreas]
Wagner, Silke
2007Report
Attachment IconA Model Checker based on Abstraction Refinement
Universität des Saarlandes
Rybalchenko, Andrey2002Thesis - Masters thesis
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
[Basin, David A.]
Matthews, Seán
[Viganò, Luca]
Ginzburg, Jonathan
Khasidashvili, Zurab
Vogel, Carl
Levy, Jean-Jacques
Vallduvi, Enric
1998Proceedings Article
A Multi-Dimensional Terminological Knowledge Representation Language
In: Journal of Applied Non-Classical Logics [5], 153-198
Baader, Franz
Ohlbach, Hans Jürgen
1995Journal Article
A Multi-Modal Logic for Stereotyping
In: Proceedings of the 4th International Conference on User Modeling UM94, 87-92
Hustadt, Ullrich1994Proceedings Article
A Needed Narrowing Strategy
In: Proceedings of the 21st ACM Symposium on Principles of Programming Languages (POPL'94), 268-279
[Antoy, Sergio]
[Echahed, Rachid]
Hanus, Michael
1994Proceedings Article
A New Clausal Class Decidable by Hyperresolution[Georgieva, Lilia]
[Hustadt, Ullrich]
[Schmidt, Renate A.]
2002Report
A New Clausal Class Decidable by Hyperresolution
In: Automated deduction, CADE-18 : 18th International Conference on Automated Deduction, 260-274
[Georgieva, Lilia]
[Hustadt, Ullrich]
[Schmidt, Renate A.]
[Voronkov, Andrei]2002Proceedings Article
A New Input Technique for Accented Letters in Alphabetical Scripts
In: Proceedings of the 20th International Unicode Conference, C12
Waldmann, Uwe2002Proceedings Article
Attachment IconA new meta-complexity theorem for bottom-up logic programs
In: Automated reasoning : First International Joint Conference, IJCAR 2001, 514-528
Ganzinger, Harald
[McAllester, David]
[Goré, Rajeev]
[Leitsch, Alexander]
[Nipkow, Tobias]
2001Proceedings Article
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
Basin, David A.
Matthews, Seán
Viganò, Luca
Gottlob, G.
Leitsch, A.
Mundici, D.
1997Proceedings Article
A New Sorted Logic
In: GWAI-92: Advances in Artificial Inteligence, Proceedings 16th German Workshop on Artificial Intelligence, 43-54
Weidenbach, ChristophOhlbach, Hans Jürgen1993Proceedings Article
A Note on Assumptions about Skolem Functions
In: Journal of Automated Reasoning [15], 267-275
Ohlbach, Hans Jürgen
Weidenbach, Christoph
1995Journal Article
Attachment IconA Phytography of WALDMEISTER
In: AI Communications [15], 127-133
[Löchner, Bernd]
Hillenbrand, Thomas
2002Journal Article
Attachment 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
Kazakov, Yevgeny[Alferes, José Júlio]
[Leite, João]
2004Proceedings Article
A practical implementation of simple consequence relations using inductive definitions
In: Proceedings of the 14th International Conference on Automated Deduction (CADE-14), 306-320
Matthews, SeánMcCune, William1997Proceedings Article
A Principle for Incorporating Axioms into the First-Order Translation of Modal Formulae
In: Automated deduction, CADE-19 : 19th International Conference on Automated Deduction, 412-426
Schmidt, Renate A.
[Hustadt, Ullrich]
[Baader, Franz]2003Proceedings Article
A Recursion Planning Analysis of Inductive Completion
In: Annals of Mathematics and Artificial Intelligence [8], 363-381
Barnett, Richard
Basin, David A.
Hesketh, Jane
1993Journal Article
A Refined Version of General E-Unification
In: Proceedings of the 12th International Conference on Automated Deduction (CADE-12), 665-677
Socher-Ambrosius, RolfBundy, Alan1994Proceedings Article
Attachment IconA Reinterpretation of the Deductive Tableaux System in Higher-Order Logic
Universität des Saarlandes
Ayari, Abdelwaheb1995Thesis - Masters thesis
Attachment IconA Representation Theorem and Applications
In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty :
7th European Conference, ECSQARU 2003, 50-61
Jaeger, Manfred[Nielsen, Thomas D.]
[Zhang, Nevin L.]
2003Proceedings Article
A Resolution-Based Calculus for Temporal Logics
Universität des Saarlandes
Nonnengart, Andreas1995Thesis - PhD thesis
Attachment IconA Resolution-Based Decision Procedure for Extensions of K4
In: Advances in Modal Logic, Volume 2, 225-246
Ganzinger, Harald
Hustadt, Ullrich
Meyer, Christoph
Schmidt, Renate A.
[Zakharyaschev, Michael]
[Segerberg, Krister]
[de Rijke, Maarten]
[Wansing, Heinrich]
2001Part of a Book
A Resolution-Based Decision Procedure for the Two-Variable Fragment with Equality
In: Automated reasoning : First International Joint Conference, IJCAR 2001, 211-225
de Nivelle, Hans
[Pratt-Hartmann, Ian]
[Goré, Rajeev]
[Leitsch, Alexander]
[Nipkow, Tobias]
2001Proceedings Article
A Resolution Calculus for Modal Logics
Universität Kaiserslautern
Ohlbach, Hans Jürgen1988Thesis - PhD thesis
A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards
In: Automated reasoning : Second International Joint Conference, IJCAR 2004, 122-136
Kazakov, Yevgeny
de Nivelle, Hans
[Basin, David]
[Rusinowitch, Michael]
2004Proceedings Article
A Semi-Algebraic Approach for the Computation of Lyapunov Functions
In: 2th IASTED International Conference on COMPUTATIONAL INTELLIGENCE, 7-12
She, Zhikun
Xia, Bican
[Xiao, Rong]
[Kovalerchuk, B.]2006Proceedings Article
A Set-Theoretic Framework for Assume-Guarantee Reasoning
In: Proceedings of the 28th International Colloquium on Automata, Languages and Programming (ICALP-2001), 821-834
Maier, Patrick[Orejas, Fernando]
[Spirakis, Paul G.]
[van Leeuwen, Jan]
2001Proceedings Article
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
[Podelski, Andreas]
Wagner, Silke
Bemporad, Alberto
Bicchi, Antonio
Buttazzo, Giorgio C.
2007Poster
A specification logic for concurrent object-oriented programming
In: Mathematical Structures in Computer Science [9], 253-286
Delzanno, Giorgio
[Galmiche, Didier]
[Martelli, Maurizio]
1999Journal Article
A Superposition Calculus for Divisible Torsion-Free Abelian Groups
In: Proceedings of the International Workshop on First-Order Theorem Proving (FTP-97), 130-134
Waldmann, Uwe[Bonacina, Maria Paola]
[Furbach, Ulrich]
1997Proceedings Article
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
Ganzinger, Harald
de Nivelle, Hans
[Longo, Giuseppe]1999Proceedings Article
Attachment IconA Superposition View on Nelson-Oppen
In: Contributions to the Doctoral Programme of the 2nd International Joint Conference on Automated Reasoning, 16-20
Hillenbrand, Thomas[Sattler, Ulrike]2004Electronic Proceedings Article
A Term Equality Problem Equivalent to Graph Isomorphism
In: Information Processing Letters [51], 61-66
Basin, David A.1994Journal Article
A Theoretical Basis for Constraint Logic and Functional Programming
In: Proc.~1st African Conference on Research in Computer Science, 793-804
Bockmayr, AlexanderTchuente, M.1992Proceedings Article
A Theory and its Metatheory in $FS_0$
In: What is a logical system?, 329-354
Matthews, SeánGabbay, Dov M.1994Part of a Book
Attachment IconA Theory of Inductive Query Answering
In: Proceedings of the 2002 IEEE International Conference on Data Mining (ICDM'02), 123-130
[de Raedt, Luc]
Jaeger, Manfred
[Lee, Sau Dan]
[Mannila, Heikki]
2002Proceedings Article
A Topography of Labelled Modal Logics
In: Frontiers of Combining Systems (First International Workshop, Munich, March 1996), 75-92
Basin, David A.
Matthews, Seán
Viganò, Luca
Baader, Franz
Schulz, Klaus U.
1996Part of a Book
Attachment IconA Uniform Constraint-based Framework for the Verification of Infinite State Systems
Universität des Saarlandes
Mukhopadhyay, Supratik2001Thesis - PhD thesis
A Unifying Framework for Reason Maintenance
In: Symbolic and Quantitative Approaches to Reasoning and Uncertainty: Proceedings European Conference ECSQARU '93, 113-120
Fehrer, DetlefClarke, M.
Kruse, R.
Moral, S.
1993Proceedings Article
A Unifying Logical Framework for Integer Linear Programming and Finite Domain Constraint Programming
Universität des Saarlandes
Kasper, Thomas1998Thesis - PhD thesis
A unifying logical framework for reason maintenance
Universität des Saarlandes
Fehrer, Detlef1995Thesis - PhD thesis
A Unifying Logical Framework for Reason Maintenance (Deliverable DI.1.2-3P)
In: Medlar II Report PPR2, 47-55
Fehrer, DetlefCunningham, Jim
Pitt, Jeremy
1994Proceedings Article
Abductive Disjunctive Logic Programming
In: ICLP '93 Postconference Workshop on Abductive Reasoning, ?
Hustadt, UllrichCodognet, P.
Dung, P. M.
Kakas, A. C.
Mancarella, P.
1993Proceedings Article
Abstraction-refinement for Termination
In: Static analysis : 12th International Symposium, SAS 2005, 87-101
[Cook, Byron]
Podelski, Andreas
Rybalchenko, Andrey
[Hankin, Chris]
[Siveroni, Igor]
2005Proceedings Article
Attachment IconAbstrakte Übergangsrelationen als Mittel zur Verifikation von Programmeigenschaften
Universität des Saarlandes
Schäf, Martin2006Thesis - Masters thesis
Attachment IconAC-compatible Knuth-Bendix Order
In: Automated deduction, CADE-19 : 19th International Conference on Automated Deduction, 47-59
Korovin, Konstantin
[Voronkov, Andrei]
[Baader, Franz]2003Proceedings Article
Accurate Widenings and Boundedness Properties of Timed Systems
In: Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, 79-94
Mukhopadhyay, Supratik
Podelski, Andreas
Zamulin, Alexandre
Broy, Manfred
Bjorner, Dines
2001Proceedings Article
Adapting an AI Planning Heuristic for Directed Model Checking
In: Model checking software : 13th International SPIN Workshop, 35-52
[Kupferschmid, Sebastian]
Hoffmann, Jörg
[Dierks, Henning]
[Behrmann, Gerd]
[Valmari, Antti]2006Proceedings Article
Adaption of a Fuzzy Controller for a Cybernetic System through an Evolutionary Algorithm
Universität des Saarlandes
Rau, Rainer1997Thesis - Masters thesis
Adding Metatheoretic facilities to First-order Theories
In: Journal of Logic and Computation [6], 835-849
Basin, David A.
Matthews, Seán
1996Journal Article
Advanced indexing operations on substitution trees
In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), 553-567
Graf, Peter
Meyer, Christoph
McRobbie, M. A.
Slaney, J. K.
1996Proceedings Article
Algebraic and Logical Aspects of Unification
In: Proc.~1st Workshop on Word Equations and Related Topics, 171-180
Bockmayr, AlexanderSchulz, K. U.1992Proceedings Article
Algebraic and logical methods in automated theorem proving and in the study of concurrency
Universität des Saarlandes
Sofronie-Stokkermans, Viorica2004Thesis - Habilitation thesis
Attachment IconAn Abstract Model of Routing in Mobile Ad Hoc Networks
In: Sixth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, 137-156
[Yuan, Cong]
[Billington, Jonathan]
Freiheit, Jörn
2005Proceedings Article
An Algebraic Framework for Abstract Model Checking
In: Abstraction, reformulation, and approximation : 5th International Symposium, SARA 2002, 152-169
Mukhopadhyay, Supratik
Podelski, Andreas
[Koenig, Sven]
[Holte, Robert C.]
2002Proceedings Article
An Algebraic Method to Decide the Deduction Problem in Many-Valued Logics
In: Journal of Applied Non-Classical Logics [8], 353-360
Wu, Jinzhao
[Tan, Hongyan]
[Li, Yongli]
1998Journal Article
An Algorithm for Isolating the Real Solutions of Semi-algebraic Systems
In: Journal of Symbolic Computation [34], 461-477
Xia, Bican
[Yang, Lu]
2002Journal Article
An Empirical Analysis of Modal Theorem Provers
In: Journal of Applied Non-Classical Logics [9], 479-522
Hustadt, Ullrich
Schmidt, Renate A.
1999Journal Article
An improved lower bound for the elementary theories of trees
In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), 275-287
Vorobyov, Sergei[McRobbie, M. A.]
[Slaney, J. K.]
1996Proceedings Article
An Overview of Resolution Decision Procedures
In: Formalizing the Dynamics of Information, 115-130
de Nivelle, Hans[Faller, Martina]
[Kaufmann, Stefan]
[Pauly, Marc]
2000Proceedings Article
An Undecidable Fragment of the Theory of Set Constraints
In: Information Processing Letters [68], 147-151
Charatonik, Witold1998Journal Article
An Update Semantics for Defeasible Obligations
In: Proceedings of the 15th Conference on Uncertainty in Artificial Intelligence (UAI-99), 631-638
van der Torre, Leendert W. N.
[Tan, Yao-Hua]
[Laskey, Kathryn B.]
[Prade, Henri]
1999Proceedings Article
An update semantics for deontic reasoning
In: Norms, Logics and Information Systems: New Studies on Deontic Logic and Computer Science, 73-90
van der Torre, Leendert W. N.
[Tan, Yao-Hua]
[McNamara, Paul]
[Prakken, Henri]
1999Part of a Book
An update semantics for prima facie obligations
In: Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98), 38-42
van der Torre, Leendert W. N.
[Tan, Yao-Hua]
Prade, Henri1998Proceedings Article
Analysis of Nonlinear Constraints in CLP($\calR$)
In: Proceedings of the 10th International Conference on Logic Programming (ICLP '93), 83-99
Hanus, MichaelWarren, David Scott1993Proceedings Article
Analysis of Residuating Logic Programs
In: Journal of Logic Programming [24], 219-245
Hanus, Michael1995Journal Article
Applications of hierarchical reasoning in the verification of complex systems
In: Electronic Notes in Theoretical Computer Science [??],
Jacobs, Swen
Sofronie-Stokkermans, Viorica
2007Electronic Journal Article
Attachment IconApplications of hierarchical reasoning in the verification of complex systems
In: PDPAR'06: Pragmatical Aspects of Decision Procedures in Automated Reasoning, 15-26
Jacobs, Swen
Sofronie-Stokkermans, Viorica
[Cook, Byron]
[Sebastiani, Roberto]
2006Electronic Proceedings Article
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
[Trueg, Sebastian]
Hoffmann, Jörg
[Nebel, Bernhard]
[Biundo, Susanne]
[Frühwirth, Thom]
[Palm, Günther]
2004Proceedings Article
Approximate Closed-Form Aggregation of a Fork-Join Structure in Generalised Stochastic Petri Nets
In: 1st International Conference on Performance Evaluation Methodologies and Tools, ??-??
[Lilith, Nimrod]
[Billington, Jonathan]
Freiheit, Jörn
2006Proceedings Article
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
[Podelski, Andreas]
Rybalchenko, Andrey
Hanus, Michael2007Proceedings Article
Associative-Commutative Superposition
In: Proceedings of the 4th International Workshop on Conditional and Typed Rewrite Systems (CTRS-94), 1-14
Bachmair, Leo
Ganzinger, Harald
Dershowitz, N.
Lindenstrauss, N.
1995Proceedings Article
Atomic Set Constraints with Projection
In: Rewriting Techniques and Applications. 13th International Conference, RTA 2002, 311-325
Charatonik, Witold
[Talbot, Jean-Marc]
[Tison, Sophie]2002Proceedings Article
Autodescriptivity: Beware!
In: The Computer Journal [34], 380-381
[Brink, Chris]
[Rewitzky, I. M.]
Schmidt, Renate A.
1991Journal Article
Automata Based Symbolic Reasoning in Hardware Verification
In: Formal Methods in Systems Design [13], 255-288
Basin, David A.
[Klarlund, Nils]
1998Journal Article
Attachment IconAutomated Complexity Analysis Based on Ordered Resolution
In: Journal of the ACM [48], 70-109
[Basin, David A.]
Ganzinger, Harald
2001Journal Article
Automated Program Transformation Through Proof Transformation
In: Proceedings of the 11th International Conference on Automated Deduction (CADE-11), 446-460
Madden, PeterKapur, Deepak1992Proceedings Article
Automated Proof Construction in Type Theory using Resolution
In: Journal of Automated Reasoning [29], 253-275
[Bezem, Marc]
[Hendriks, Dimitri]
de Nivelle, Hans
2002Journal Article
Automated Proof Construction in Type Theory Using Resolution
In: Proceedings of the 17th International Conference on Automated Deduction (CADE-17), 148-163
de Nivelle, Hans
[Bezem, Marc]
[Hendriks, Dimitri]
[McAllester, David]2000Proceedings Article
Automated Reasoning, Knowledge Representation and Management
In: KI - Künstliche Intelligenz [1], 5-11
Baumgartner, Peter
[Furbach, Ulrich]
[Yahya, Adnan]
2005Journal Article
Automated Support for the Development of Non-classical Logics
In: Workshop: Modellierung epistemischer Propositionen, KI '93,
Hustadt, UllrichBürckert, Hans-Jürgen
Nutt, Werner
1993Proceedings Article
Attachment IconAutomated Theorem Proving by Resolution for Finitely-Valued Logics Based on Distributive Lattices with Operators
In: Multiple-Valued Logic - An International Journal [6], 289-344
Sofronie-Stokkermans, Viorica2001Journal Article
Attachment IconAutomated theorem proving by resolution in non-classic logics
In: Discrete Applied Mathematics [?], ?
Sofronie-Stokkermans, Viorica2007Journal Article
Attachment 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
Sofronie-Stokkermans, Viorica[Nadif, Mohamed]
[Napoli, Amedeo]
[SanJuan, Eric]
[Sigayret, Alain]
2003Proceedings Article
Attachment IconAutomatic Derivation of Probabilistic Inference Rules
In: International Journal of Approximate Reasoning [28], 1-22
Jaeger, Manfred2001Journal Article
Automatic Verification of Hybrid Systems with Large Discrete State Space
In: Automated Technology for Verification and Analysis, 4th International Symposium, ATVA 2006, 276-291
[Damm, Werner]
[Disch, Stefan]
[Hungar, Hardi]
[Pang, Jun]
[Pigorsch, Florian]
[Scholl, Christoph]
Waldmann, Uwe
[Wirtz, Boris]
[Graf, Susanne]
[Zhang, Wenhui]
2006Proceedings Article
Automating Meta-Theory Creation and System Extension
In: Proc. Trends in AI: 2nd Congress of the Italian Association for Artificial Intelligence (AI*IA), 48-57
Basin, David A.
Giunchiglia, Fausto
Traverso, P.
Ardizzone, E.
Gaglio, S.
Sorbello, F.
1991Proceedings Article
Basic Paramodulation
In: Information and Computation [121], 172-192
Bachmair, Leo
Ganzinger, Harald
[Lynch, Christopher]
[Snyder, Wayne]
1995Journal Article
Basic Paramodulation and Superposition
In: Proceedings of the 11th International Conference on Automated Deduction (CADE-11), 462-476
Bachmair, Leo
Ganzinger, Harald
Lynch, Christopher
Snyder, Wayne
Kapur, D.1992Proceedings Article
Berechnung optimaler Steinerbäume in der Ebene
Universität des Saarlandes
Althaus, Ernst1998Thesis - Masters thesis
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
Mukhopadhyay, Supratik
Podelski, Andreas
[Ramanujam, R]
[Raman, V.]
1999Proceedings Article
Boolean Algebra Admits no Convergent Term Rewriting System
In: Proceedings of the 4th International Conference on Rewriting Techniques and Applications (RTA-91), 264-274
Socher-Ambrosius, RolfBook, R. V.1991Proceedings Article
Boolean Algebras with Functions - Correspondence, Completeness and Quantifier EliminationOhlbach, Hans Jürgen1995Unpublished/Draft
Boolean and Cartesian Abstraction for Model Checking C Programs
In: International Journal on Software Tools for Technology Transfer (STTT) [5], 1-15
Podelski, Andreas
[Ball, Tom]
[Rajamani, Sriram K.]
2003Journal Article
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
[Ball, Thomas]
Podelski, Andreas
[Rajamani, Sriram K.]
Margaria, Tiziana
Yi, Wang
2001Proceedings Article
Boolean Heaps
In: Static analysis : 12th International Symposium, SAS 2005, 268-283
Podelski, Andreas
Wies, Thomas
[Hankin, Chris]
[Siveroni, Igor]
2005Proceedings Article
Bottom-Up Deduction with Deletion and Priorities
In: Programs as Data Objects (PADO-01) : Second Symposium PADO 2001, 276-277
Ganzinger, Harald[Danvy, Olivier]
[Filinski, Andrzej]
2001Proceedings Article
Bounded Model Checking of Pointer Programs
In: Computer Science Logic; 19th International Workshop, CSL 2005; 14th Annual Conference of the EACSL, 397-412
[Charatonik, Witold]
[Georgieva, Lilia]
Maier, Patrick
[Ong, Luke]2005Proceedings Article
Bounds on the Chvátal Rank of Polytopes in the 0/1-Cube
In: Proceedings of the 7th Conference on Integer Programming and Combinatorial Optimization (IPCO-99), 137-150
Eisenbrand, Friedrich
[Schulz, Andreas S.]
[Cornuéjols, Gérard]
Burkard, Rainer E.
Woeginger, Gerhard J.
1999Proceedings Article
Branch-and-Infer: A Unifying Framework for Integer and Finite Domain Constraint Programming
In: INFORMS Journal on Computing [10], 287-300
Bockmayr, Alexander
Kasper, Thomas
1998Journal Article
Branching Matters: Alternative Branching in Graphplan
In: 13th International Conference on Automated Planning and Scheduling (ICAPS-13), 22-31
Hoffmann, Jörg
[Geffner, Hector]
[Giunchiglia, Enrico]
[Muscettola, Nicola]
[Nau, Dana]
2003Proceedings Article
Buchberger's algorithm: a constraint-based completion procedure
In: Proceedings of the 1st International Conference on Constraints in Computational Logics (CCL'94), 285-301
Bachmair, Leo
Ganzinger, Harald
Jouannaud, Jean-Pierre1994Proceedings Article
Cancellative Abelian Monoids and Related Structures in Refutational Theorem Proving (Part II)
In: Journal of Symbolic Computation [33], 831-861
Waldmann, Uwe2002Journal Article
Cancellative Abelian Monoids and Related Structures in Refutational Theorem Proving (Part I)
In: Journal of Symbolic Computation [33], 777-829
Waldmann, Uwe2002Journal Article
Cancellative Abelian Monoids in Refutational Theorem Proving
Universität des Saarlandes
Waldmann, Uwe1997Thesis - PhD thesis
Cancellative Superposition Decides the Theory of Divisible Torsion-Free Abelian Groups
In: Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR-99), 131-147
Waldmann, UweGanzinger, Harald
[McAllester, David]
[Voronkov, Andrei]
1999Proceedings Article
Canonical Transformation in Algebra, Universal Algebra and Logic
Universität des Saarlandes
Struth, Georg1998Thesis - PhD thesis
Certified mathematical hierarchies: the FoCal system.
In: Proceedings of the MAP (Mathematics, Algorithms, Proofs) Workshop,
Prevosto, Virgile[Coquand, Thierry]
[Lombardi, Henri]
[Roy, Marie-Franccoise]
2006Electronic Proceedings Article
Attachment IconChaining Techniques for Automated Theorem Proving in Many-Valued Logics
In: Proceedings of the 30th IEEE International Symposium on Multiple-Valued Logic (ISMVL-00), 337-344
Ganzinger, Harald
Sofronie-Stokkermans, Viorica
2000Proceedings Article
Circumscription: Completeness Reviewed
In: Artificial Intelligence [60], 293-301
Jaeger, Manfred1993Journal Article
Attachment IconCitius altius fortius: Lessons learned from the Theorem Prover WALDMEISTER
In: Proceedings of the 4th International Workshop on First Order Theorem Proving, FTP'03, 1-13
Hillenbrand, Thomas[Dahn, Ingo]
[Vigneron, Laurent]
2003Electronic Proceedings Article
Classical Methods in Nonmonotonic Reasoning
In: Proceedings of the 8th International Symposium on Methodologies for Intelligent Systems (ISMIS'94), 500-510
Dimopoulos, YannisRas, Z.
Zemankova, M.
1994Proceedings Article
Clause Killer TransformationsOhlbach, Hans Jürgen1995Unpublished/Draft
Co-definite Set Constraints
In: Proceedings of the 9th International Conference on Rewriting Techniques and Applications (RTA-98), 211-225
Charatonik, Witold
Podelski, Andreas
[Nipkow, Tobias]1998Proceedings Article
Coloured Rippling: An Extension of a Theorem Proving Heuristic
In: Proceedings of the 12th European Conference on Artificial Intelligence (ECAI'94), 85-89
[Yoshida, Tetsuja]
Bundy, Alan
[Green, Ian]
[Walsh, Toby]
Basin, David A.
Cohn, Tony1994Proceedings Article
Combining Algebra and Universal Algebra in First-Order Theorem Proving: The Case of Commutative Rings
In: Recent Trends in Data Type Specification. 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, 1-29
Bachmair, Leo
Ganzinger, Harald
Stuber, Jürgen
Astesiano, Egidio
Reggio, Gianna
Tarlecki, Andrzej
1995Proceedings Article
Combining Dynamic Logic and Doxastic Modal Logics
In: Advances in Modal Logic, 371-391
[Schmidt, Renate A.]
[Tishkovsky, Dmitry]
[Balbiani, Philippe]
[Suzuki, Nobu-Yuki]
[Wolter, Frank]
[Zakharyaschev, Michael]
2003Part of a Book
Combining Lazy Narrowing and Simplification
In: Proceedings of the 6th International Symposium on Programming Language Implementation and Logic Programming (PLILP'94), 370-384
Hanus, MichaelHermenegildo, Manuel
Penjam, Jaan
1994Proceedings Article
Combining logic and optimization in cutting plane theory
In: Proceedings of the Workshop on Frontiers of Combining Systems (FROCOS-2000), 1-17
Eisenbrand, Friedrich
[Bockmayr, Alexander]
Kirchner, H.
Ringeissen, C.
2000Proceedings Article
Combining Superposition, Sorts and Splitting
In: Handbook of Automated Reasoning, 1965-2013
Weidenbach, Christoph[Robinson, Alan]
[Voronkov, Andrei]
2001Part of a Book
Common and Mutual Belief for Agent Modeling
In: KI-94 Workshops: Extended Abstracts, 123-124
Hustadt, UllrichKunze, Jürgen
Stoyan, Herbert
1994Proceedings Article
Common and Mutual Belief for Agent Modeling
In: Modeling Epistemic Propositions: Workshop during the 18th German Annual Conference on Artificial Intelligence (KI-94),
Hustadt, UllrichLaux, Arnim
Wansing, Heinrich
1994Proceedings Article
Common Syntax of the DFG-Schwerpunktprogramm ``Deduktion''[Hähnle, Reiner]
[Kerber, Manfred]
Weidenbach, Christoph
1996Report
Attachment IconComparing Instance Generation Methods for Automated Reasoning
In: Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX 2005, 153-168
Jacobs, Swen
Waldmann, Uwe
[Beckert, Bernhard]2005Proceedings Article
Compile-Time Analysis of Nonlinear Constraints in CLP(R)
In: New Generation Computing [13], 155-186
Hanus, Michael1995Journal Article
Completeness results for basic narrowing in non-copying implementations
In: Logic Programming, 393-407
Krishna Rao, M. R. K.Maher, Michael1996Proceedings Article
Completion of first-order clauses with equality by strict superposition
In: Proceedings of the 2nd International Workshop on Conditional and Typed Rewriting, 162-180
Bachmair, Leo
Ganzinger, Harald
Kaplan, St.
Okada, M.
1991Proceedings Article
Completion Subsystem
In: Program Development by Specification and Transformation, The PROSPECTRA Methodology, Language Family, and System, 460-494
Bertling, Hubert
Ganzinger, Harald
Schäfers, Renate
Nieuwenhuis, Robert
Orejas, Fernando
Hoffmann, Berthold
Krieg-Brückner, Bernd
1993Part of a Book
Attachment IconComplex Probabilistic Modeling with Recursive Relational Bayesian Networks
In: Annals of Mathematics and Artificial Intelligence [32], 179-220
Jaeger, Manfred2001Journal Article
Complexity Analysis Based on Ordered Resolution
In: Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science (LICS'96), 456-465
Basin, David A.
Ganzinger, Harald
1996Proceedings Article
Attachment IconComplexity of Nonrecursive Logic Programs with Complex Values
In: Proceedings of the 17th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS-98), 244-253
Vorobyov, Sergei
Voronkov, Andrei
1998Proceedings Article
Compositional Circular Assume-Guarantee Rules Cannot Be Sound and Complete
In: Foundations of software science and computation structures : 6th International Conference, FOSSACS 2003, 343-357
Maier, Patrick[Gordon, Andrew D.]2003Proceedings Article
Compositional Termination Analysis of Symbolic Forward Analysis
In: Verification, Model Checking, and Abstract Interpretation. Third International Workshop, VMCAI 2002, 109-125
Charatonik, Witold
Mukhopadhyay, Supratik
Podelski, Andreas
[Cortesi, Agostino]2002Proceedings Article
Computational Aspects of a First-Order Logic with Sorts
Universität des Saarlandes
Weidenbach, Christoph1996Thesis - PhD thesis
Computing Finite Models by Reduction to Function-Free Clause Logic
In: IJCAR'06 Workshop : Disproving'06: Non-Theorems, Non-Validity, Non-Provability, 82-95
de Nivelle, Hans
[Baumgartner, Peter]
[Fuchs, Alexander]
[Tinelli, Cesare]
[Ahrendt, Wolfgang]
[Baumgartner, Peter]
de Nivelle, Hans
2006Electronic Proceedings Article
Computing small clause normal forms
In: Handbook of Automated Reasoning, 335-367
Nonnengart, Andreas
Weidenbach, Christoph
[Robinson, Alan]
[Voronkov, Andrei]
2001Part of a Book
Computing Stable Models by Program Transformation
In: Proceedings of the 11th International Conference on Logic Programming (ICLP'94), 58-73
Stuber, JürgenVan Hentenryck, Pascal1994Proceedings Article
Conditional Narrowing Modulo a Set of Equations
In: Applicable Algebra in Engineering, Communication and Computing [4], 147-168
Bockmayr, Alexander1993Journal Article
Conformant planning via heuristic forward search: A new approach
In: Artificial Intelligence [170], 507-541
Hoffmann, Jörg
[Brafman, Ronen I.]
2006Journal Article
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
[Brafman, Ronen]
Hoffmann, Jörg
[Zilberstein, Shlomo]
[Koehler, Jana]
[Koenig, Sven]
2004Proceedings Article
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
Delzanno, Giorgio
[Esparza, Javier]
Podelski, Andreas
[Flum, Jörg]
[Rodríguez-Artalejo, Mario]
1999Proceedings Article
Constraint-based Deductive Model Checking
In: International Journal on Software Tools for Technology Transfer (STTT) [3], 250-270
Delzanno, Giorgio
Podelski, Andreas
2001Journal Article
Constraint-Based Infinite Model Checking and Tabulation for Stratified CLP
In: Logic Programming. 18th International Conference, ICLP 2002, 115-129
Charatonik, Witold
Mukhopadhyay, Supratik
Podelski, Andreas
[Stuckey, Peter J.]2002Proceedings Article
Attachment IconConstraint Database Models Characterizing Timed Bisimilarity
In: Proceedings of the 3rd International Symposium on Practical Aspects of Declarative Languages, 245-258
Mukhopadhyay, Supratik
Podelski, Andreas
[Ramakrishnan, I.V.]2001Proceedings Article
Constraint Programming: Basics and Trends
In: Constraint Programming: Basics and Trends, 328
Podelski, Andreas1995Proceedings
Constraint Solving for Interpolation
In: 8th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2007), ?
Rybalchenko, Andrey
Sofronie-Stokkermans, Viorica
[Cook, Byron]
[Podelski, Andreas]
2007Proceedings Article
Attachment IconConstraints and Theorem Proving
In: Contraints in Computational Logics, International Summer School (CCL-99), 159-201
Ganzinger, Harald
[Nieuwenhuis, Robert]
[Comon, Hubert]
[Marché, Claude]
[Treinen, Ralf]
2001Proceedings Article
Attachment IconConstraints as Data: a New Perspective on Inferring Probabilities
In: Proceedings of the 17th International Joint Conference on Artificial Intelligence (IJCAI-01), 755-760
Jaeger, Manfred[Nebel, Bernhard]2001Proceedings Article
Constraints for Continuous Reachability in the Verification of Hybrid Systems
In: Artificial Intelligence and Symbolic Computation, 8th International Conference, AISC 2006, 196-210
Ratschan, Stefan
She, Zhikun
[Calmet, Jacques]
[Ida, Tetsuo]
[Wang, Dongming]
2006Proceedings Article
Constraints in functional logic programming (Abstract)
In: Integration of functional and logic languages, 4
Bockmayr, Alexander[Hanus, Michael]
[Lloyd, John W.]
[Moreno Navarro, Juan José]
1996Proceedings Article
Attachment IconContext trees
In: Automated reasoning : First International Joint Conference, IJCAR 2001, 242-256
Ganzinger, Harald
[Nieuwenhuis, Robert]
[Nivela, Pilar]
[Goré, Rajeev]
[Leitsch, Alexander]
[Nipkow, Tobias]
2001Proceedings Article
Contextual Deontic Logic: violation contexts and factual defeasibility
In: Formal Aspects in Context, 173-192
van der Torre, Leendert W. N.
[Tan, Yao-Hua]
[Cavalcanti, Marcos]1999Part of a Book
Contingent Planning via Heuristic Forward Search with Implicit Belief States
In: 15th International Conference on Automated Planning and Scheduling, 71-80
Hoffmann, Jörg
[Brafman, Ronen]
[Biundo, Susanne]
[Meyers, Karen]
[Rajan, Kanna]
2005Proceedings Article
Contrary-to-duty reasoning with preference-based dyadic obligations
In: Annals of Mathematics and Artificial Intelligence [27], 49-78
van der Torre, Leendert W. N.
[Tan, Yao-Hua]
1999Journal Article
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
Nielson, Flemming
[Seidl, Helmut]
Hussmann, Heinrich2001Proceedings Article
Attachment IconConvergence Results for Relational Bayesian Networks
In: Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science (LICS-98), 44-55
Jaeger, ManfredPratt, Vaughan1998Proceedings Article
Convergent Approximate Solving of First-order Constraints by Approximate Quantifiers
In: ACM Transactions on Computational Logic [5], 264-281
Ratschan, Stefan2004Journal Article
Cooperative Coevolution of Fuzzy Rules
In: Proceedings of the 2nd International ICSC Symposium on Fuzzy Logic and Applications (ISFL-97), 337-381
Hopf, Jörn[Steele, N.]1997Proceedings Article
Coq, un outil pour l'enseignement
In: Technique et Science Informatiques [24], 1139-1160
[Delahaye, David]
[Jaume, Mathieu]
Prevosto, Virgile
2005Journal Article
Correctness of unification without occur check in Prolog
In: Journal of Logic Programming [18], 99-122
[Chadha, Ritu]
Plaisted, David A.
1994Journal Article
Counterexample-Guided Abstraction Refinement for TerminationPodelski, Andreas
Rybalchenko, Andrey
[Cook, Byron]
2005Unpublished/Draft
Cutting planes and the elementary closure in fixed dimension
In: Mathematics of Operations Research [26], 304-312
[Bockmayr, Alexander]
Eisenbrand, Friedrich
2001Journal Article
Cutting planes in constraint logic programming (Abstract)
In: Proceedings of the 3rd International Symposium Artificial Intelligence and Mathematics,
Bockmayr, Alexander1994Proceedings Article
CWA in Multi-Valued Logics
In: Proceedings of the 3rd Asian Symposium on Computer Mathematics (ASCM-98), 259-270
Wu, Jinzhao
[Lu, Mi]
Li, Zhibin1998Proceedings Article
Darwin: A Theorem Prover for the Model Evolution Calculus
In: Proceedings of the 1st Workshop on Empirically Successful First Order Reasoning (ESFOR'04), 1-24
Baumgartner, Peter
Fuchs, Alexander
[Tinelli, Cesare]
[Schulz, Stephan]
[Tammet, Tanel]
[Sutcliffe, Geoff]
2004Proceedings Article
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, -
Jaeger, Manfred
Mannila, Heikki
Weydert, Emil
[Ng, Raymond]1996Proceedings Article
Decidability and Complexity of Simultaneous Rigid E-unification with One Variable and Related Results
In: Theoretical Computer Science [243], 167-184
[Degtyarev, Anatoli]
[Gurevich, Yuri]
[Narendran, Paliath]
Veanes, Margus
[Voronkov, Andrei]
2000Journal Article
Decidability by Resolution for Propositional Modal Logics
In: Journal of Automated Reasoning [22], 379-396
Schmidt, Renate A.1999Journal Article
Decidable fragments of simultaneous rigid reachability
In: Proceedings of the 26th International Colloquium on Automata, Languages and Programming (ICALP-99), 250-260
Cortier, V.
Ganzinger, Harald
Jacquemard, Florent
Veanes, Margus
[Wiedermann, Jiri]
[van Emde Boas, Peter]
[Nielsen, Mogen]
1999Proceedings Article
Deciding Modal Logics through Relational Translations into GF2
In: Proceedings of the 3rd Methods for Modalities Workshop, 15-30
de Nivelle, Hans
[Demri, Stéphane]
[Areces, Carlos]
[Blackburn, Patrick]
2003Proceedings Article
Deciding regular grammar logics with converse through first-order logicde Nivelle, Hans
[Demri, Stéphane]
2003Report
Deciding Regular Grammar Logics with Converse through First-Order Logic
In: Journal of Logic, Language and Information [14], 289-329
de Nivelle, Hans
[Demri, Stéphane]
2005Journal Article
Deciding the E-plus class by an a posteriori, liftable order
In: Annals of Pure and Applied Logic [88], 219-232
de Nivelle, Hans2000Journal Article
Deciding the Guarded Fragments by Resolution
In: Journal of Symbolic Computation [35], 21-58
de Nivelle, Hans
[de Rijke, Maarten]
2003Journal Article
Decision Making in an Economy Exploiting Fuzzy Rules Obtained from a Genetic Algorithm
In: Soft Computing with Industrial Applications, 331-336
Hopf, Jörn
Rau, Rainer
[Jamshidi, Mohammad]
[Fathi, Madjid]
[Pierrot, Francois]
1996Proceedings Article
Deduction[Furbach, Ulrich]
Ganzinger, Harald
[Hasegawa, Ryuzo]
[Kapur, Deepak]
2000Proceedings
Deduction Systems Based on Resolution
In: Handbook of Logic in Artificial Intelligence and Logic Programming, 184-271
Eisinger, Norbert
Ohlbach, Hans Jürgen
Gabbay, Dov M.
Hogger, C. J.
Robinson, J. A.
1993Proceedings Article
Default Entailment. A preferential construction semantics for defeasible inference
In: Advances in Artificial Intelligence: Proceedings of the 19th German Annual Conference on Artificial Intelligence, 173-184
Weydert, Emil[Wachsmuth, Ipke]
[Rollinger, Claus-Rainer]
[Brauer, Wilfried]
1995Proceedings Article
Default Quantifier Logic
In: Proceedings of the ECAI'96 Workshop on Integrating Nonmonotonicity into Automated Reasoning Systems, -
Weydert, Emil[Niemelä, Ilkka]1996Proceedings Article
Default Quantifiers: About Plausible Reasoning in First-Order Contexts
In: Working Notes of the Dutch/German Workshop on Nonmonotonic Reasoning Techniques and their Applications, ?
Weydert, EmilNejdl, W.1993Proceedings Article
Default Reasoning about Probabilities
Universität des Saarlandes
Jaeger, Manfred1995Thesis - PhD thesis
Defaults and Infinitesimals. Defeasible inference by nonarchimedean entropy maximization
In: Proceedings of the 11th Conference on Uncertainty in Artificial Intelligence (UAI 95), 540-547
Weydert, Emil[Besnard, Philippe]
[Hanks, Steve]
1995Proceedings Article
Defaults, Logic and Probability - A theoretical perspective
In: KI - Künstliche Intelligenz [4/01], 44-49
Weydert, Emil2001Journal Article
Defeasible Goals
In: Proceedings of the 5th European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty (ECSQARU-99), 374-385
van der Torre, Leendert W. N.[Hunter, Anthony]
[Parsons, Simon]
1999Proceedings Article
Deriving and Applying Logic Program Transformers
In: Algorithms, Concurrency and Knowledge (1995 Asian Computing Science Conference), 301-318
Anderson, Penny
Basin, David A.
1995Proceedings Article
Deriving Theory Superposition Calculi from Convergent Term Rewriting Systems
In: Proceedings of the 11th International Conference Rewriting Techniques and Applications (RTA-00), 229-245
Stuber, JürgenBachmair, Leo2000Proceedings Article
Description Logics for Natural Language Processing
In: International Workshop on Description Logics '94, 80-84
Fehrer, Detlef
Hustadt, Ullrich
Jaeger, Manfred
Nonnengart, Andreas
Ohlbach, Hans Jürgen
Schmidt, Renate A.
Weidenbach, Christoph
Weydert, Emil
[Baader, Franz]
[Lenzerini, Maurizio]
[Nutt, Werner]
[Patel-Schneider, Peter F.]
1994Proceedings Article
Description Logics for Shape Analysis
In: Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 321-330
[Georgieva, Lilia]
Maier, Patrick
[Aichernig, Bernhard K.]
[Beckert, Bernhard]
2005Proceedings Article
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
Krischer, Stefan
Bockmayr, Alexander
Book, R.1991Proceedings Article
Diagnosis and Decision Making in Normative Reasoning
In: Journal of Artificial Intelligence and Law [7], 51-67
van der Torre, Leendert W. N.
[Tan, Yao-Hua]
1999Journal Article
Dialogues and Ontology, the Dialogical Approach to Free Logic
In: Logique et Analyse [160], 357-374
[Rahman, Shahid]
[Rückert, Helge]
Fischmann, Matthias
1997Journal Article
Die Erzeugung von Schnittebenen mit maximalem Verletzungsgrad und deren Einsatz im Branch-and-Cut Verfahren
Universität des Saarlandes
Grenner, Ingo2001Thesis - Masters thesis
Difference Matching
In: Proceedings of the11th International Conference on Automated Deduction (CADE-11), 295-309
Basin, David A.
Walsh, Toby
Kapur, D.1992Proceedings Article
Difference Unification
In: Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI-93), 116-122
Basin, David A.
Walsh, Toby
Bajcsy, R.1993Proceedings Article
Directed Model Checking with Distance-Preserving Abstractions
In: Model checking software : 13th International SPIN Workshop, 19-34
[Dräge, Klaus]
[Finkbeiner, Bernd]
Podelski, Andreas
[Valmari, Antti]2006Proceedings Article
Directional Type Checking for Logic Programs: Beyond Discriminative Types
In: Proceedings of the 8th European Symposium on Programming (ESOP-00), 72-87
Charatonik, Witold[Smolka, Gert]2000Proceedings Article
Directional Type Inference for Logic Programs
In: Proceedings of the 5th International Symposium in Static Analysis (SAS-98), 278-294
Charatonik, Witold
Podelski, Andreas
[Levi, Giorgio]1998Proceedings Article
Direktionale Typen in der Logischen Programmierung
Universität des Saarlandes
Charatonik, Witold2002Thesis - Habilitation thesis
Distinguishing different roles in normative reasoning
In: Proceedings of the 6th International Conference on Artificial Intelligence and Law (ICAIL-97), 225-232
van der Torre, Leendert W. N.
[Tan, Yao-Hua]
1997Proceedings Article
Do we need the closed-world assumption in knowledge representation?
In: KI-94 Workshops: Extended Abstracts, 293-294
Hustadt, UllrichKunze, Jürgen
Stoyan, Herbert
1994Proceedings Article
Do we need the closed-world assumption in knowledge representation?
In: Working Notes of the KI'94 Workshop: Reasoning about Structured Objects: Knowledge Representation meets Databases (KRDB'94), 24-26
Hustadt, UllrichBaader, Franz
Buchheit, Martin
Jeusfeld, Manfred A.
Nutt, Werner
1994Proceedings Article
Doxastic Normality Logic: A Qualitative Probabilistic Modal Framework for Defaults and Belief
In: Logic, Action, and Information, 152-171
Weydert, Emil[Fuhrmann, André]
[Rott, Hans]
1996Part of a Book
DPLL(T): Fast Decision Procedures
In: Computer aided verification : 16th International Conference, CAV 2004, 175-188
Ganzinger, Harald
[Hagen, George]
[Nieuwenhuis, Robert]
[Oliveras, Albert]
[Tinelli, Cesare]
[Alur, Rajeev]
[Peled, Doron]
2004Proceedings Article
Attachment IconDuality and Canonical Extensions of Bounded Distributive Lattices with Operators and Applications to the Semantics of Non-Classical Logics. Part I
In: Studia Logica [64], 93-132
Sofronie-Stokkermans, Viorica2000Journal Article
Attachment IconDuality and Canonical Extensions of Bounded Distributive Lattices with Operators and Applications to the Semantics of Non-Classical Logics. Part II
In: Studia Logica [64], 151-172
Sofronie-Stokkermans, Viorica2000Journal Article
E-Unification for Subsystems of S4
In: Proceedings of the 9th International Conference on Rewriting Techniques and Applications (RTA-98), 106-120
Schmidt, Renate A.[Nipkow, Tobias]1998Proceedings Article
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
[Esparza, Javier]
Podelski, Andreas
2000Proceedings Article
Efficient deductive methods for program analysis
In: ACM SIGPLAN Notices [36], 102-103
Ganzinger, Harald2001Journal Article
Efficient Implementation of Narrowing and Rewriting
In: Proc. Intern. Workshop on Processing Declarative Knowledge, 344-365
Hanus, MichaelBoley, H.
Richter, M.M.
1991Proceedings Article
Efficient Solving of Quantified Inequality Constraints over the Real Numbers
In: ACM Transactions on Computational Logic [7], 723-748
Ratschan, Stefan2006Journal Article
Attachment IconEffiziente Subsumption in Deduktionssystemen
Universität des Saarlandes
Becker, Joachim1994Thesis - Masters thesis
Attachment IconEin Frontend für die Anwendung von Model Checking auf die Analyse von Array Bounds für C Programme
Universität des Saarlandes
Jung, Georg2001Thesis - Masters thesis
Ein kurzes Tutorial über funktionale Übersetzung von Modallogik nach Prädikatenlogik
In: Bericht Nr. 15/93: Recommendations for Extensions to BGP-MS, 19-26
Ohlbach, Hans JürgenKobsa, Alfred1993Proceedings Article
Eine Beobachtungs-Logik für modulare Sprachen
Universität des Saarlandes
Zeyer, Jörg1997Thesis - PhD thesis
Attachment IconEine integrierte Publikationsverwaltung am Beispiel des Max-Planck-Instituts für InformatikBrahm, Uwe2006Miscellaneous
Attachment IconEinige Optimierungsmethoden hierarchischer Schaltkreise
Universität des Saarlandes
Gamkrelidze, Alexander2001Thesis - PhD thesis
Elimination of Equality via Transformation with Ordering Constraints
In: Proceedings of the 15th International Conference on Automated Deduction (CADE-98), 175-190
Bachmair, Leo
Ganzinger, Harald
Voronkov, Andrei
Kirchner, Claude
Kirchner, Hélène
1998Proceedings Article
Embedding OR Techniques in Constraint Logic Programming
In: Operations Research '92. 17th Symposium on Operations Research, 252-254
Bockmayr, AlexanderKarmann, A.
Mosler, K.
Schader, M.
Uebe, G.
1993Proceedings Article
Encoding two-valued non-classical logics in classic logic
In: Handbook of Automated Reasoning, 1403-1486
Nonnengart, Andreas
[Ohlbach, Hans Jürgen]
[Gabbay, Dov M.]
Robinson, Alan
Voronkov, Andrei
2001Part of a Book
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
Freiheit, Jörn
[Münch, Susanne]
[Schöttle, Hendrik]
[Sijanski, Grozdana]
[Zangl, Fabrice]
Meersman, Robert
Tari, Zahir
Herrero, Pilar
Méndez, Gonzalo
Cavedon, Lawrence
Martin, David
Hinze, Annika
Buchanan, George
Pérez, María S.
Robles, Víctor
Humble, Jan
Albani, Antonia
Dietz, Jan L.G.
Panetto, Herve
Scannapieco, Monica
Halpin, Terry
Spyns, Peter
Zaha, Johannes Maria
Zimány, Esteban
Stefanakis, Emmanuel
Dillon, Tharam
Feng, Ling
Jarrar, Mustafa
Lehmann, Jos
de Moor, Aldo
Duval, Erik
Aroyo, Lora
2005Proceedings Article
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
Talbot, Jean-Marc
[Niehren, Joachim]
[Müller, Martin]
[Longo, Giuseppe]1999Proceedings Article
Entscheidbarkeitsprobleme für monadische (Horn)Klauselklassen
Universität des Saarlandes, Naturwissenschaftlich-Technische Fakultät
Weidenbach, Christoph2000Thesis - Habilitation thesis
Entwicklung eines Algorithmus zur effizienten Anfragebeantwortung für eine terminologische Wissensrepräsentationssprache
Universität des Saarlandes
Gerber, Christian1995Thesis - Masters thesis
Equational Reasoning and Term Rewriting Systems
In: Handbook of Logic in Artificial Intelligence and Logic Programming, 273-364
Plaisted, David A.Gabbay, Dov M.
Hogger, C.
Robinson, J. A.
Siekmann, J.
1993Proceedings Article
Equational Reasoning in Saturation-Based Theorem Proving
In: Automated Deduction: A Basis for Applications, 353-397
Bachmair, Leo
Ganzinger, Harald
Bibel, Wolfgang
Schmitt, Peter H.
1998Part of a Book
Evolutionary Algorithms and their Application[Claus, Volker]
Hopf, Jörn
[Schwefel, Hans-Paul]
1996Report
Experience with $FS_0$ as a Framework Theory
In: Logical Environments, 61-82
Matthews, Seán
Smaill, Alan
Basin, David A.
Huet, G.
Plotkin, G.
1993Part of a Book
Experiments in Automating Hardware Verification using Inductive Proof Planning
In: Proceedings of the Formal Methods for Computer-Aided Design Conference (FMCAD'96), 94-108
[Cantu, Francisco]
[Bundy, Alan]
[Smaill, Alan]
Basin, David A.
[Srivas, M.]
[Camilleri, A.]
1996Proceedings Article
Extended Path-Indexing
In: Proceedings of the 12th International Conference on Automated Deduction (CADE-12), 514-528
Graf, PeterBundy, Alan1994Proceedings Article
Extending a logical framework with a modal connective for validity
In: Proceedings of the 3rd Symposium on Theoretical Aspects of Computer Software (TACS-97), 491-514
Matthews, SeánAbadi, Martín
Ito, Takayasu
1997Proceedings Article
Extending reduction orderings to ACU-compatible reduction orderings
In: Information Processing Letters [67], 43-49
Waldmann, Uwe1998Journal Article
Extending the Resolution Method with Sorts
In: Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI '93), 60-65
Weidenbach, ChristophBajcsy, R.1993Proceedings Article
Extraction of Proofs from the Clausal Normal Form Transformation
In: Computer Science Logic : 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, 584-598
de Nivelle, Hans[Bradfield, Julian]2002Proceedings Article
Attachment IconFairness, Computable Fairness and Randomness
In: Proceedings of the 2nd International Workshop on Probabilistic Methods in Verification (PROBMIV-99), 57-66
Jaeger, Manfred[Kwiatkowska, Marta]1999Proceedings Article
Farmer's Theorem Revisited
In: Information Processing Letters [74], 47-53
Veanes, Margus2000Journal Article
Fast 2-variable integer programming
In: Proceedings of the 8th Conference on Integer and Combinatorial Optimization (IPCO-01), 78-89
Eisenbrand, Friedrich
[Rote, Günter]
Gerards, Bert
Aardal, Karen
2001Proceedings Article
Fast Probabilistic Planning Through Weighted Model Counting
In: Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling (ICAPS 2006), 243-252
[Domshlak, Carmel]
Hoffmann, Jörg
[Long, Derek]
[Smith, Stephen F.]
[Borrajo, Daniel]
[McCluskey, Lee]
2006Proceedings Article
Fast reduction of ternary quadratic forms
In: Proceedings of the 1st Conference on Lattices and Cryptography (CaLC-01), 99-111
Eisenbrand, Friedrich
[Rote, Günter]
Silverman, J.2001Proceedings Article
Attachment IconFast Term Indexing with Coded Context Trees
In: Journal of Automated Reasoning [32], 103-120
Ganzinger, Harald
[Nieuwenhuis, Robert]
[Nivela, Pilar]
2004Journal Article
Attachment IconField Constraint Analysis
In: Verification, Model Checking, and Abstract Interpretation : 7th International Conference, VMCAI 2006, 157-173
Wies, Thomas
[Kuncak, Viktor]
[Lam, Patrick]
Podelski, Andreas
[Rinard, Martin C.]
[Emerson, E. Allen]
[Namjoshi, Kedar S.]
2006Proceedings Article
Finding Resolution K-Transformations
Universität des Saarlandes
Smaus, Jan-Georg1996Thesis - Masters thesis
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
Frank, Ian
Basin, David A.
Bundy, Alan
Neuman, B.
Horn, W.
1992Proceedings Article
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
Charatonik, Witold
[Gordon, Andrew Donald]
[Talbot, Jean-Marc]
[Le Métayer, Daniel]2002Proceedings Article
Finite domain and cutting plane techniques in CLP($\cal PB$)
In: Proceedings of the Twelfth International Conference on Logic Programming, 133-147
Barth, Peter
Bockmayr, Alexander
Sterling, Leon1995Proceedings Article
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
Afshordel, Bijan
Hillenbrand, Thomas
Weidenbach, Christoph
[Nieuwenhuis, Robert]
[Voronkov, Andrei]
2001Proceedings Article
First-Order Modal Logic Theorem Proving and Functional Simulation
In: Proc.~13th Intern.~Joint Conference on Artificial Intelligence (IJCAI '93), 80-85
Nonnengart, Andreas[Bajcsy, R.]1993Proceedings Article
First-Order Polynomial based Theorem Proving
In: Mathematics Mechanizations and Applications, 273-294
Wu, Jinzhao[Gao, X-S.]
[Wang, D.]
2000Part of a Book
First-Order Tableaux with Sorts
In: Journal of the Interest Group in Pure and Applied Logics [3], 887-906
Weidenbach, Christoph1995Journal Article
First-Order Tableaux with Sorts
In: TABLEAUX-'94, 3rd Workshop on Theorem Proving with Analytic Tableaux and Related Methods, 247-261
Weidenbach, ChristophBroda, Krysia
D'Agostino, Marcello
et. al.
1994Proceedings Article
Formal Correctness of Result Checking for Priority Queues
Universität des Saarlandes
Piskac, Ruzica2005Thesis - Masters thesis
Formal Fairness Proofs for Optimistic Contract Signing Protocols
Universität des Saarlandes
Veit, Jörg1999Thesis - Masters thesis
Formal Methods for Automated Program Improvement
In: KI-94: Advances in Artificial Intelligence. Proceedings of the 18th German Annual Conference on Artificial Intelligence, 367-378
Madden, PeterNebel, Bernhard
Dreschler-Fischer, Leonie
1994Proceedings Article
Formalisierung der Arithmetik
Universität Göttingen
Hagemann, Willem2005Thesis - other
Formalization of the Development Process
In: Algebraic foundations of systems specification, 521-562
Basin, David A.
Krieg-Brückner, Bernd
[Astesiano, Egidio]
[Kreowski, H.-J.]
[Krieg-Brückner, B.]
1999Part of a Book
Formally Verified Synthesis of Combinational CMOS Circuits
In: Integration: The Intern. Journal of VLSI Design [11], 235-250
Basin, David A.
Brown, G. M.
Leeser, M. E.
1991Journal Article
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
Hoffmann, Jörg
[Sabharwal, Ashish]
[Domshlak, Carmel]
[Long, Derek]
[Smith, Stephen F.]
[Borrajo, Daniel]
[McCluskey, Lee]
2006Proceedings Article
From a Hilbert Calculus to its Model Theoretic Semantics
In: Proc.~4th Annual UK Conference on Logic Programming (APULK '92), 218-252
Gabbay, Dov M.
Ohlbach, Hans Jürgen
Broda, K.1992Proceedings Article
Fsub with recursive types: `Types-As-Propositions´ Interpretations in M. Rabin's S2S
In: Proceedings of JFLA'95: Journées Francophones des Langages Applicatifs (JFLA'95), 49-73
Vorobyov, Sergei1995Proceedings Article
Functional Translation and Second-Order Frame Properties of Modal Logics
In: Journal of Logic and Computation [7], 581-603
Ohlbach, Hans Jürgen
Schmidt, Renate A.
1997Journal Article
General Belief Measures
In: Proceedings of the 10th Conference on Uncertainty in Artificial Intelligence, 575-582
Weydert, Emil1994Proceedings Article
General Proof Theoretic Techniques for Automatic
Programing
In: Proceedings of the EAST-WEST AI CONFERENCE: From
Theory to Practice - EWAIC'93,
Madden, Peter
[Bundy, Alan]
1993Proceedings Article
Generalized Definite Set Constraints
In: Constraints [5], 161-202
Talbot, Jean-Marc
[Devienne, Philippe]
[Tison, Sophie]
2000Journal Article
Generalized Rewriting in Type Theory
In: Journal of Information Processing and Cybernetics [30], 249-259
Basin, David A.1994Journal Article
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
Ayari, Abdelwaheb
Basin, David A.
Margaria, Tiziana
Steffen, Bernhard
1996Proceedings Article
Genetic Algorithms within the Framework of Evolutionary ComputationHopf, Jörn1994Miscellaneous
Geo 2006jde Nivelle, Hans
[Meng, Jia]
2006Miscellaneous
Geometric Resolution: A Proof Procedure Based on Finite Model Search
In: Automated reasoning : Third International Joint Conference, IJCAR 2006, 303-317
de Nivelle, Hans
[Meng, Jia]
[Furbach, Ulrich]
[Shankar, Natarajan]
2006Proceedings Article
Geometrisches Schließen mit SPASS
Universität des Saarlandes
Brinker, Christof2000Thesis - Masters thesis
Gleichheit und Constraints in der Logikprogrammierung
Universität des Saarlandes
Bockmayr, Alexander1996Thesis - Habilitation thesis
Global Consistency in CLP($\cal PB$)
In: Proceedings of the 10th Workshop Logic Programming WLP'94, 4
Barth, Peter
Bockmayr, Alexander
1994Proceedings Article
Goals, desires, utilities and preferences
In: Proceedings of the ECAI-98 Workshop : Decision theory meets artificial intelligence - qualitative and quantitative approaches, 57-64
Weydert, Emil
van der Torre, Leendert W. N.
[Lang, Jerome]1998Proceedings Article
Gomory-Chvátal Cutting planes and the Elementary Closure of Polyhedra
Universität des Saarlandes
Eisenbrand, Friedrich2000Thesis - PhD thesis
Graph reducibility of term rewriting systems
In: Proceedings of Mathematical Foundations of Computer Science, 371-381
Krishna Rao, M. R. K.[Wiedermann, Jirí]
[Hájek, Petr]
1995Proceedings Article
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
[Damm, Werner]
Pinto, Guilherme
Ratschan, Stefan
[Peled, Doron A]
[Tsay, Yih-Kuen]
2005Proceedings Article
Hardware Verification using Monadic Second-Order Logic
In: Proceedings of the 7th International Conference on Computer-Aided Verification (CAV '95), 31-41
Basin, David A.
[Klarlund, Nils]
1995Proceedings Article
Heuristiken zum Beweisen von Gleichungen
Universität des Saarlandes
Autexier, Serge1996Thesis - Masters thesis
Attachment IconHierarchic reasoning in local theory extensions
In: Automated deduction - CADE-20 : 20th International Conference on Automated Deduction, 219-234
Sofronie-Stokkermans, Viorica[Nieuwenhuis, Robert]2005Proceedings Article
Horn Clause Programs with Polymorphic Types: Semantics and Resolution
In: Theoretical Computer Science [89], 63-106
Hanus, Michael1991Journal Article
How to Avoid the Derivation of Redundant Clauses in Reasoning Systems
In: Journal of Automated Reasoning [9], 325-336
Socher-Ambrosius, Rolf1992Journal Article
How to Realize LSE NarrowingWerner, Andreas
Bockmayr, Alexander
Krischer, Stefan
1993Report
How to realize LSE narrowing
In: New Generation Computing [16], 397-434
[Werner, Andreas]
Bockmayr, Alexander
[Krischer, Stefan]
1998Journal Article
How to Realize LSE Narrowing
In: Proceedings of the 2nd International Workshop on Functional/Logic Programming, ?-?
Werner, Andreas
Bockmayr, Alexander
Krischer, Stefan
Mück, A.1993Proceedings Article
How to realize LSE narrowing
In: Proceedings of the 4th International Conference on Algebraic and Logic Programming (ALP'94), 59-76
[Werner, Andreas]
Bockmayr, Alexander
[Krischer, Stefan]
Levi, Giorgio
Rodríguez-Artalejo, Mario
1994Proceedings Article
How to revise ranked probabilities
In: Proceedings of the 14th European Conference on Artificial Intelligence (ECAI-00), 38-42
Weydert, Emil[Horn, Werner]2000Proceedings Article
How to Use Modalities and Sorts in Prolog
In: Logics in Artificial Intelligence: Proceedings of the JELIA'94, 365-378
Nonnengart, Andreas[MacNish, Craig]
[Pearce, David]
[Pereira, Luís Moniz]
1994Proceedings Article
Hybrid Completeness
In: Logic Journal of the IGPL [6], 625-650
[Blackburn, Patrick]
Tzakova, Miroslava
1998Journal Article
Hybrid Languages
Universität des Saarlandes
Tzakova, Miroslava1999Thesis - PhD thesis
Hybrid Languages and Temporal Logic
In: Logic Journal of the IGPL [7], 27-54
[Blackburn, Patrick]
Tzakova, Miroslava
1999Journal Article
Hybrid Languages and Temporal Logic (Full Version)[Blackburn, Patrick]
Tzakova, Miroslava
1998Report
Hybridizing Concept Languages
In: Annals of Mathematics and Artificial Intelligence [24], 23-49
[Blackburn, Patrick]
Tzakova, Miroslava
1998Journal Article
Hyperrational Conditionals
In: Foundations of Knowledge Representation and Reasoning, 310-332
Weydert, EmilLakemeyer, Gerhard
Nebel, Bernhard
1994Proceedings Article
IJCAR'06 Workshop : Disproving'06: Non-Theorems, Non-Validity, Non-Provability[Ahrendt, Wolfgang]
[Baumgartner, Peter]
de Nivelle, Hans
2006Electronic Proceedings
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
Basin, David A.
Matthews, Seán
Viganò, Luca
Carlucci-Aiello, Luigia
Doyle, Jon
Shapiro, Stuart
1996Proceedings Article
Implementing the clausal normal form transformation with proof generation
In: Fourth Workshop on the Implementation of Logics, 69-83
de Nivelle, Hans[Konev, Boris]
[Schmidt, Renate]
2003Proceedings Article
Implementing the Model Evolution Calculus
In: International Journal on Artificial Intelligence Tools [15], 21-52
Baumgartner, Peter
Fuchs, Alexander
[Tinelli, Cesare]
2006Journal Article
Implementing $\textrm FS_0$ in Isabelle: Adding Structure at the Metalevel
In: Design and Implementation of Symbolic Computation Systems (DISCO'96), 228-239
Matthews, SeánPaulson, Lawrence C.1996Proceedings Article
Improving Control of Logic Programs by Using Functional Logic Languages
In: Proceedings 4th International Symposium on Programming Language Implementation and Logic Programming, 1-23
Hanus, MichaelBruynooghe, Maurice
Wirsing, Martin
1992Proceedings Article
Improving Stable Models Based Planning by Bidirectional Search
In: Proceedings of the 5th International Conference on Knowledge Based Computer Systems (KBCS 2004), 404-413
Baumgartner, Peter
[Mediratta, Anupam]
[Sasikumar, M.]
[Vakil, R.]
[Kavitha, M.]
2004Proceedings Article
In Defense of PDDL Axioms
In: 18th International Joint Conference on Artificial Intelligence, 961-966
[Thiebaux, Sylvie]
Hoffmann, Jörg
[Nebel, Bernhard]
[Gottlob, Georg]2003Proceedings Article
In Defense of PDDL Axioms
In: Artificial Intelligence [168], 38-69
Hoffmann, Jörg2005Journal Article
In2Math - Interaktive Mathematik- und Informatikgrundausbildung
In: Softwaretechnik-Trends [24], 36-45
Baumgartner, Peter
[Grabowski, Barbara]
[Oevel, Walter]
[Melis, Erica]
2004Journal Article
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
[Müller, Martin]
[Niehren, Joachim]
Podelski, Andreas
[Bidoit, Michel]
[Dauchet, Max]
1997Proceedings Article
Incremental Learning of Logic Programs
In: Proceedings of International Workshop on Algorithmic Learning Theory, 95-109
Krishna Rao, M. R. K.Jantke, Klaus
Shinohara, Takeshi
Zeugmann, Thomas
1995Proceedings Article
Incremental Rewriting in Narrowing Derivations
In: Proceedings of the 3rd International Conference on Algebraic and Logic Programming (ALP-92), 228-243
Hanus, MichaelKirchner, Hélène
Levi, Georgio
1992Proceedings Article
Inductive theorem proving by consistency for first-order clauses
In: Informatik - Festschrift zum 60. Geburtstag von Günter Hotz, 441-462
Ganzinger, Harald
Stuber, Jürgen
Buchmann, J.
Ganzinger, Harald
Paul, W. J.
1992Part of a Book
Attachment IconInductive Theorem Proving for Horn Clauses
Universität Dortmund
Stuber, Jürgen1991Thesis - Masters thesis
Inference and Computational Semantics
In: Studies in Linguistics and Philosophy, Computing Meaning [77], 11-28
de Nivelle, Hans
[Blackburn, Patrick]
[Bos, Johan]
[Kohlhase, Michael]
2001Journal Article
Input-output logics
In: Journal of Philosophical Logic [29], 383-408
[Makinson, David]
van der Torre, Leendert W. N.
2000Journal Article
Input-output logics
In: Proceedings of the 5th International Workshop on Deontic Logic in Computer Science (Deon-00),, 29
[Makinson, David]
van der Torre, Leendert W. N.
2001Proceedings Article
Attachment IconInstance Generation Methods for Automated Reasoning
Universität des Saarlandes
Jacobs, Swen2004Thesis - Masters thesis
Integrating Clausal Decision Procedures in a Tactic Based Theorem Prover
Universität des Saarlandes
Leven, Peter1998Thesis - Masters thesis
Integration des automatischen Beweisers SPASS in die mathematische Assistenzumgebung OMEGA
Universität des Saarlandes
Naumann, Stefan1997Thesis - Masters thesis
Integration of a Decision Procedure for Second-Order Monadic Logic in a Higher-Order Logic Theorem Proving Environment
Universität des Saarlandes
Friedrich, Stefan1998Thesis - Masters thesis
Attachment IconIntegration of a Software Model Checker into Isabelle
In: Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, LPAR 2005, 381-395
[Daum, Matthias]
Maus, Stefan
[Schirmer, Norbert]
Seghir, Mohammed Nassim
[Sutcliffe, Geoff]
[Voronkov, Andrei]
2005Proceedings Article
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
Ganzinger, Harald
Korovin, Konstantin
[Marcinkowski, Jerzy]
[Tarlecki, Andrzej]
2004Proceedings Article
Intensionality, Possible Worlds and Propositional Attitudes: Formal and Philosophical Foundations of Modal Semantics
In: KI-94 Workshops: Extended Abstracts, 108-109
Struth, GeorgKunze, J.
Stoyan, H.
1994Proceedings Article
Interaction between Knowledge, Action and Commitment within Agent Dynamic Logic[Schmidt, Renate A.]
[Tishkovsky, Dmitry]
[Hustadt, Ullrich]
2002Unpublished/Draft
Interaction between Knowledge, Action and Commitment within Agent Dynamic Logic
In: Studia Logica [78], 381-415
Schmidt, Renate A.
[Tishkovsky, Dmitry]
[Hustadt, Ullrich]
2004Journal Article
Attachment IconInterpolation in local theory extensions
In: Proceedings of IJCAR 2006, 235-250
Sofronie-Stokkermans, Viorica[Furbach, Ulrich]
[Shankar, Natarajan]
2006Proceedings Article
Interpretation of the Deductive Tableau in HOL
In: Proceedings of the First Isabelle Users Workshop, 91-100
Ayari, Abdelwaheb
Basin, David A.
Paulson, Lawrence C.1995Proceedings Article
Introducing Epistemic Operators into a Description Logic
In: Knowledge and Belief in Philosophie and Artificial Intelligence, 65-85
Hustadt, Ullrich[Laux, Arnim]
[Wansing, Heinrich]
1995Part of a Book
Introduction to the Special Issue on Verification and Computational Logic
In: Theory and Practice of Logic Programming (TPLP) [4], 541-751
Podelski, Andreas2004Journal Article
Attachment IconIntuitionistic LTL and a New Characterization of Safety and LivenessMaier, Patrick2004Report
Intuitionistic LTL and a New Characterization of Safety and Liveness
In: Computer science logic : 18th International Workshop CSL 2004, 13th Annual Conference of the EACSL, 295-309
Maier, Patrick[Marcinkowski, Jerzy]
[Tarlecki, Andrzej]
2004Proceedings Article
Invariant Synthesis for Combined Theories
In: Verification, Model Checking, and Abstract Interpretation : 8th International Conference, VMCAI 2007, 378-394
[Beyer, Dirk]
[Henzinger, Thomas]
[Majumdar, Rupak]
Rybalchenko, Andrey
[Cook, Byron]
[Podelski, Andreas]
2007Proceedings Article
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
Hillenbrand, Thomas
Podelski, Andreas
Topić, Dalibor
Charatonik, Witold
Ganzinger, Harald
2002Proceedings Article
IsaWhelk: Whelk Interpreted in Isabelle
In: Proceedings of the 11th International Conference on Logic Programming (ICLP'94), 741-741
Basin, David A.Van Hentenryck, Pascal1994Proceedings Article
Just a test entry
In: Booktitle, 1001-1010
Meter, PeterBlubber, Bla
Bla, Blubber
2009Proceedings Article
JZBR - Iterated Belief Change for Conditional Ranking Constraints
In: Proceedings of the 4th Dutch-German Workshop on Nonmonotonic Reasoning Techniques and their Applications (DGNMR-99), 57-66
Weydert, Emil[Rott, Hans]
[Albert, Chris]
[Brewka, Gerd]
[Witteveen, Cees]
1999Proceedings Article
JZBR - Iterated Belief Change for Conditional Ranking Constraints
In: Spinning Ideas - Electronic Essays Dedicated to Peter Gaerdenfors on His Fiftieth Birthday, 1-11
Weydert, Emil[de Leon, David]
[Wallin, Annika]
[Hulth, Nils]
1999Part of a Book
KA-Prolog: Erweiterungen einer logischen Programmiersprache und ihre effiziente Implementierung
In: Informatik--Forschung und Entwicklung [6], 128-140
Bockmayr, Alexander
Brzoska, C.
Deussen, P.
Varsek, I.
1991Journal Article
Knuth-Bendix constraint solving is NP-complete
In: ACM Transactions on Computational Logic [6], 361-388
Korovin, Konstantin
[Voronkov, Andrei]
2005Journal Article
Knuth-Bendix orders in automated deduction and term rewriting
University of Manchester
Korovin, Konstantin2003Thesis - PhD thesis
Kooperative koevolutionäre Entwicklung von Fuzzy-Reglern
Universität des Saarlandes
Schmolzi, Christian1999Thesis - Masters thesis
Künstliche Intelligenz und Operations Research
In: Grundlagen und Anwendungen der Künstlichen Intelligenz. 17. Fachtagung für Künstliche Intelligenz, 249-254
Bockmayr, Alexander
Radermacher, F. J.
Herzog, O.
Christaller, Th.
Schütt, D.
1993Proceedings Article
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
[Dubois, Catherine]
[Jaume, Mathieu]
[Pons, Olivier]
Prevosto, Virgile
[Juilland, Jacques]2004Proceedings Article
Labeled logics of conditional goals
In: Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98), 368-369
van der Torre, Leendert W. N.Prade, Henri1998Proceedings Article
Labelled Modal Logics: quantifiers
In: Journal of Logic, Language and Information [7], 237-263
[Basin, David A.]
Matthews, Seán
[Viganò, Luca]
1998Journal Article
Labelled Propositional Modal Logics: Theory and Practice
In: Journal of Logic and Computation [7], 685-717
Basin, David A.
Matthews, Seán
Viganò, Luca
1997Journal Article
Labelled quantified modal logics
In: Proceedings of the 21st Annual German Conference on Artificial Intelligence (KI-97): Advances in Artificial Intelligence, 171-182
Basin, David A.
Matthews, Seán
Viganò, Luca
Brewka, Gerhard
Habel, Christopher
Nebel, Bernhard
1997Proceedings Article
Lattice Basis Reduction with Dynamic Approximation
In: Proceedings of the 4th Workshop On Algorithm Engineering (WAE-2000), 63-73
Backes, Werner
[Wetzel, Susanne]
Näher, Stefan
Wagner, Dorothea
2001Proceedings Article
Lazy Unification with Simplification
In: Proceedings of the 5th European Symposium on Programming Languages and Systems (ESOP'94), 272-286
Hanus, MichaelSannella, Don1994Proceedings Article
Learning Prolog programs from examples
In: Knowledge Based Computer Systems, 19-30
Krishna Rao, M. R. K.Anjaneyulu, KSR
Sasikumar, M.
Ramani, S.
1996Proceedings Article
Learning the Rule Base of a Fuzzy Controller by a Genetic Algorithm
In: Fuzzy Systems in Computer Science, 63-74
Hopf, Jörn
[Klawonn, Frank]
[Kruse, R.]
[Palm, R.]
[Gebhardt, J.]
1994Part of a Book
Lexecute: Visualisation and representation of legal procedures
In: Digital Evidence Journal [3], 17-27
Freiheit, Jörn
[Luuk, Marc]
[Münch, Susanne]
[Sijanski, Grozdana]
[Zangl, Fabrice]
2006Journal Article
Linear 0-1 Inequalities and Extended Clauses
In: Proceedings~4th International~Conference on Logic Programming and Automated Reasoning LPAR '93, 40-51
Barth, PeterVoronkov, A.1993Proceedings Article
LISA: A Specification Language Based on WS2S
In: Proceedings of the 11th International Workshop on Computer Science Logic (CSL-97), 18-34
[Abdelwaheb, Ayari]
[Basin, David A.]
Podelski, Andreas
Nielsen, Mogens
Thomas, Wolfgang
1998Proceedings Article
Living Book -- Deduction, Slicing, and Interaction
In: Journal of Automated Reasoning [32], 259-286
Baumgartner, Peter
[Furbach, Ulrich]
[Gross-Hardt, Margret]
[Sinner, Alex]
2004Journal Article
Living Books, Automated Deduction and other Strange Things
In: Mechanizing Mathematical Reasoning: Techniques, Tools and Applications - Essays in honour of Jörg H. Siekmann, 255-274
Baumgartner, Peter
[Furbach, Ulrich]
[Hutter, Dieter]
[Stephan, Werner]
2005Part of a Book
Local reasoning in verification
In: Proceedings of VERIFY'06: Verification Workshop, 128-145
Sofronie-Stokkermans, Viorica[Autexier, Serge]
[Mantel, Heiko]
2006Electronic Proceedings Article
Logic-based 0-1 constraint programmingBarth, Peter1995Book
Logic-based 0-1 Constraint Solving in Constraint Logic Programming
Fachbereich Informatik, Universität des Saarlandes, Germany
Barth, Peter1995Thesis - PhD thesis
Logic Engineering: Konstruktion von Logiken
In: KI [3], 34-38
Ohlbach, Hans Jürgen1992Journal Article
Logic Frameworks for Logic Programs
In: Proceedings of the 4th International Workshop on Logic Program Synthesis and Transformation - Meta Programming in Logic (LOPSTR'94 and META'94), 1-16
Basin, David A.Fribourg, Laurent
Turini, Franco
1994Proceedings Article
Logic Program Synthesis via Proof Planning
In: International Workshop on Logic Program Synthesis and Transformation (LOPSTR '92), 1-14
Kraan, Ina
Basin, David A.
Bundy, Alan
Lau, K. K.
Clement, T.
1993Proceedings Article
Logic Programming and Multi-Agent Systems: a Synergic Combination for Applications and Semantics
In: The Logic Programming Paradigm: a 25-Year Perspective, 5-32
[Bozzano, Marco]
Delzanno, Giorgio
[Martelli, Maurizio]
[Mascardi, Viviana]
[Zini, Floriano]
[Apt, K.]
[Marek, V. W.]
[Truszczynski, M.]
[Warren, D. S.]
1999Part of a Book
Logic Programming Infrastructure for Inferences on FrameNet
In: Logics in artificial intelligence : 9th European Conference, JELIA 2004, 591-603
Baumgartner, Peter
[Burchardt, Aljoscha]
[Alferes, José Júlio]
[Leite, João]
2004Proceedings Article
Logic Programming with Pseudo-Boolean Constraints
In: Constraint Logic Programming---Selected Research, 327-350
Bockmayr, AlexanderBenhamou, F.
Colmerauer, A.
1993Proceedings Article
Logic Programming with Type Specifications
In: Types in Logic Programming, 91-140
Hanus, MichaelPfenning, Frank1992Part of a Book
Logic with Equality: Partisan Corroboration and Shifted Pairing
In: Information and Computation [152], 205-235
[Gurevich, Yuri]
Veanes, Margus
1999Journal Article
Attachment IconLogical Algorithms
In: Logic Programming. 18th International Conference, ICLP 2002, 209-223
Ganzinger, Harald
[McAllester, David]
[Stuckey, Peter J.]2002Proceedings Article
Logical Frameworks
In: Handbook of Philosophical Logic, 89-164
Basin, David A.
Matthews, Sean
[Gabbay, Dov]
[Guenthner, Franz]
2002Part of a Book
LSE narrowing for decreasing conditional term rewrite systems
In: Conditional Term Rewriting Systems CTRS'94, 51-70
Bockmayr, Alexander
[Werner, Andreas]
Dershowitz, Nachum
Lindenstrauss, Naomi
1995Proceedings Article
Maslov's Class K Revisited
In: Proceedings of the 16th International Conference on Automated Deduction (CADE-16), 172-186
Hustadt, Ullrich
Schmidt, Renate A.
Ganzinger, Harald1999Proceedings Article
Attachment IconMeasure Selection: Notions of Rationality and Representation Independence
In: Proceedings of the 14th Conference on Uncertainty in Artificial Intelligence (UAI-98), 274-281
Jaeger, ManfredCooper, Gregory S.
Moral, Serafín
1998Proceedings Article
Metalogical Frameworks
In: Logical Environments, 1-29
Basin, David A.
Constable, Robert L.
Huet, Gérard
Plotkin, Gordon
1993Part of a Book
Methods and Tools for Pseudo-Boolean Problems
In: 2. Workshop Boolesche Probleme, 105-109
Bockmayr, Alexander
Barth, Peter
Kasper, Thomas
[Steinbach, B.]1996Proceedings Article
Middle-Out Reasoning for Logic Program Synthesis
In: Proc.~10th Intern. Conference on Logic Programing (ICLP '93), 441-455
Kraan, Ina
Basin, David A.
Bundy, Alan
1993Proceedings Article
Middle-Out Reasoning for Synthesis and Induction
In: Automated mathematical induction, 113-145
[Kraan, Ina]
Basin, David A.
[Bundy, Alan]
Zhang, Hantao1996Part of a Book
Middle-out reasoning for synthesis and induction
In: Journal of Automated Reasoning [16], 113-145
[Kraan, Ina]
Basin, David A.
[Bundy, Alan]
1996Journal Article
Minimal Ascending and Descending Tree Automata
In: SIAM Journal on Computing [26], 39-58
[Nivat, Maurice]
Podelski, Andreas
1997Journal Article
Minimal information entailment : A preliminary account
In: Proceedings of the 7th International Workshop on Nonmonotonic Reasoning (Workshop on Formal Aspects and Applications of Nonmonotonic Reasoning), 64-72
Weydert, Emil[Delgrande, Jim]
[Truszczynski, Mirek]
1998Proceedings Article
Minimum Cross-Entropy Reasoning: A Statistical Justification
In: Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI-95), 1847-1852
Jaeger, ManfredMellish, Chris S.1995Proceedings Article
Mixed Integer Programming Models for Planning Problems
In: Proceedings of the Workshop on Constraint Problem Reformulation (CP-98), 1-6
Bockmayr, Alexander
Dimopoulos, Yannis
[Frank, Jeremy]
[Sabin, Mihaela]
1998Proceedings Article
Modal- und Temporallogik
In: Deduktionssysteme - Automatisierung des logischen Denkens, 239-284
Nonnengart, Andreas
Ohlbach, Hans Jürgen
[Bläsius, K. H.]
[Bürckert, Hans-Jürgen]
1992Part of a Book
Modal Frame Characterization by Way of Auxiliary Modalities
In: Logic Journal of the IGPL [6], 875-899
Nonnengart, Andreas1998Journal Article
Modalities in Knowledge Representation
In: Proc. of the 6th Australian Joint Conference on Artificial Intelligence (AI '93), 249-254
Hustadt, Ullrich
Nonnengart, Andreas
[Rowles, C.]
[Liu, H.]
[Foo, N.]
1993Proceedings Article
Mode Analysis of Functional Logic Programs
In: Proceedings of the 1st International Static Analysis Symposium (SAS'94), 26-42
Hanus, Michael
Zartmann, Frank
Le Charlier, Baudouin1994Proceedings Article
Model-based user-interface management for public services
In: 6th European Conference on e-Government, 141-151
Freiheit, Jörn
[Zangl, Fabrice]
[Remenyi, Dan]2006Proceedings Article
Model-Checking of Specifications Integrating Processes, Data and Time
In: FM 2005: Formal Methods; International Symposium of Formal Methods Europe, 465-480
[Hoenicke, Jochen]
Maier, Patrick
[Fitzgerald, John]
[Hayes, Ian J.]
[Tarlecki, Andrzej]
2005Proceedings Article
Attachment IconModel-Generation Theorem Proving for First-Order Logic OntologiesBaumgartner, Peter
Suchanek, Fabian
2005Unpublished/Draft
Model-Theoretic Aspects of Unification
In: Proceedings of the 1st Workshop on Word Equations and Related Topics, 181-196
Bockmayr, AlexanderSchulz, K. U.1992Proceedings Article
Model Based Deduction for Database Schema Reasoning
In: KI 2004: Advances in Artificial Intelligence: 27th Annual German Conference on AI, KI 2004, 168-182
Baumgartner, Peter
[Furbach, Ulrich]
[Gross-Hardt, Margret]
[Kleemann, Thomas]
[Biundo, Susanne]
Frühwirth, Thom
[Palm, Günther]
2004Proceedings Article
Model Checking as Constraint Solving
In: Proceedings of the 7th International Symposium on Static Analysis (SAS-00), 221-237
Podelski, Andreas[Palsberg, Jens]2000Proceedings Article
Model checking Duration Calculus: a practical approach
In: Theoretical Aspects of Computing - ICTAC 2006 : Third International Colloquium, 332-346
[Meyer, Roland]
[Faber, Johannes]
Rybalchenko, Andrey
[Barkaoui, Kamel]
[Cavalcanti, Ana]
[Cerone, Antonio]
2006Proceedings Article
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
[Argon, Pablo]
[Delzanno, Giorgio]
Mukhopadhyay, Supratik
Podelski, Andreas
Pacholski, Leszek
Ruzicka, Peter
2001Proceedings Article
Model Checking for Timed Logic Processes
In: Proceedings of the 1st International Conference on Computational Logic, 598-612
Mukhopadhyay, Supratik
Podelski, Andreas
Lloyd, John W.
Dahl, Verónica
Furbach, Ulrich
Kerber, Manfred
Lau, Kung-Kiu
Palamidessi, Catuscia
Pereira, Luís Moniz
Sagiv, Yehoshua
Stuckey, Peter J.
2000Proceedings Article
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
Delzanno, Giorgio
Podelski, Andreas
Cleaveland, Rance1999Proceedings Article
Model checking mobile ambients
In: Theoretical Computer Science [308], 277-331
Charatonik, Witold
[Dal Zilio, Silvano]
[Gordon, Andrew Donald]
[Mukhopadhyay, Supratik]
[Talbot, Jean-Marc]
2003Journal Article
Model Checking of Hybrid Systems: From Reachability towards Stability
In: Hybrid Systems: Computation and Control : 9th International Workshop, HSCC 2006
, 507-521
Podelski, Andreas
Wagner, Silke
[Hespanha, João P.]
[Tiwari, Ashish]
2006Proceedings Article
Model Checking with Abstraction Refinement for Well-Structured Systems
Universität des Saarlandes
Dimitrova, Rayna2006Thesis - Masters thesis
Modeling a Hardware Synthesis Methodology in Isabelle
In: Formal Methods in Systems Design [15], 99-122
Basin, David A.
Friedrich, Stefan
1999Journal Article
Modeling a hardware synthesis methodology in Isabelle
In: Theorem Proving in Higher Order Logics. 9th International Conference, TPHOLs'96, 33-50
Basin, David A.
Friedrich, Stefan
[von Wright, J.]
[Grundy, J.]
[Harrison, J.]
1996Proceedings Article
Attachment IconModeling Interaction by Sheaves and Geometric Logic
In: Proceedings of the 12th International Symposium Fundamentals of Computation Theory (FCT-99), 512-523
Sofronie-Stokkermans, Viorica
[Stokkermans, Karel]
[Ciobanu, Gabriel]
[Paun, Gheorghe]
1999Proceedings Article
Modelling 0-1 Problems in CLP($\cal PB$)
In: Proceedings of the Second International Conference on Practical Application of Constraint Technology, 1-9
Barth, Peter
Bockmayr, Alexander
1996Proceedings Article
Modelling Discrete Optimisation Problems in Constraint Logic Programming
In: Annals of Operations Research [81], 467-496
[Barth, Peter]
Bockmayr, Alexander
1998Journal Article
Modular Aspects of term graph rewriting
In: Theoretical Computer Science [208], 59-86
Krishna Rao, M. R. K.1998Journal Article
Modular Proof Systems for Partial Functions with Evans Equality
In: Information and Computation [204], 1453-1492
Ganzinger, Harald
Sofronie-Stokkermans, Viorica
Waldmann, Uwe
2006Journal Article
Modular Proof Systems for Partial Functions with Weak Equality
In: Automated reasoning : Second International Joint Conference, IJCAR 2004, 168-182
Ganzinger, Harald
Sofronie-Stokkermans, Viorica
Waldmann, Uwe
Basin, David
Rusinowitch, Michael
2004Proceedings Article
Modular Proofs for Completeness of hierarchical term rewriting systems
In: Theoretical Computer Science [151], 487-512
Krishna Rao, M. R. K.1995Journal Article
Modularity of termination in term graph rewriting
In: Rewriting Techniques and Applications, 230-244
Krishna Rao, M. R. K.Ganzinger, Harald1996Proceedings Article
Möglichkeiten des Groupware-Einsatzes im Umfeld des Wissenschaftlerarbeitsplatzes am Beispiel des Max-Planck-Instituts für Informatik
Universität des Saarlandes
Brahm, Uwe2013Thesis - Masters thesis
Multi-Agent Dynamic Logics with Informational Test
In: Annals of Mathematics and Artificial Intelligence [42], 5-36
Schmidt, Renate A.
[Tishkovsky, Dmitry]
2004Journal Article
Multi-Agent Logic of Dynamic Belief and Knowledge[Schmidt, Renate A.]
[Tishkovsky, Dmitry]
2003Unpublished/Draft
Multi-Agent Logic of Dynamic Belief and Knowledge
In: Proceedings of the 8th European Conference on Logics in Artificial Intelligence (JELIA), 38-49
[Schmidt, Renate A.]
[Tishkovsky, Dmitry]
[Flesca, Sergio]
[Greco, Sergio]
[Leone, Nicola]
[Ianni, Giovambattista]
2002Proceedings Article
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
[Bozzano, Marco]
Delzanno, Giorgio
[Martelli, Maurizio]
[Mascardi, Viviana]
[Zini, Floriano]
Gupta, Gopal1999Proceedings Article
Narrowing strategies for arbitrary canonical systems
In: Fundamenta Informaticae [24], 125-155
Bockmayr, Alexander
[Krischer, Stefan]
[Werner, Andreas]
1995Journal Article
Natural Deduction for Non-Classical Logics
In: Studia Logica [60], 119-160
Basin, David A.
Matthews, Seán
Viganò, Luca
1998Journal Article
Attachment IconNew Directions in Instantiation-Based Theorem Proving
In: 18th Annual IEEE Symposium on Logic in Computer Science (LICS-03), 55-64
Ganzinger, Harald
Korovin, Konstantin
[Kolaitis, Phokion]2003Proceedings Article
New Results on Lattice Basis Reduction in Practice
In: Proceedings of the 4th International Algorithmic Number Theory Symposium (ANTS-IV), 135-152
Backes, Werner
[Wetzel, Susanne]
Bosma, Wieb2000Proceedings Article
Non-Clausal Resolution and Superposition with Selection and Redundancy Criteria
In: Logic Programming and Automated Reasoning, 273-284
Bachmair, Leo
Ganzinger, Harald
Voronkov, A.1992Proceedings Article
NP-hard sets are superterse unless NP is small
In: Information Processing Letters [61], 1-6
Wang, Yongge1997Journal Article
Numeric Defaults. About an expressive first-order framework for reasoning with infinitesimal probabilities
In: Symbolic and Quantitative Approaches to Reasoning and Uncertainty (ECSQARU 95), 420-427
Weydert, Emil[Froideveaux, Christine]
[Kohlas, Jürg]
1995Proceedings Article
Object Calculi in Linear Logic
In: Journal of Logic and Computation [10], 75-104
[Bugliesi, Michele]
Delzanno, Giorgio
[Liquori, Luigi]
[Martelli, Maurizio]
2000Journal Article
On Applications of Decidable Object-Oriented Type Theory
Universität des Saarlandes
Fischmann, Matthias1999Thesis - Masters thesis
On automorphic tuples of elements in computable models
In: Siberian Mathematical Journal [46], 405-412
[Goncharov, Sergey]
[Harizanov, Valentina]
[Knight, Julia F.]
[Morozov, Andrey]
Romina, Anya
2005Journal Article
On Computing Logic Programs
In: Journal of Automated Reasoning [17], 259-289
Dimopoulos, Yannis1996Journal Article
On Evaluating Decision Procedures for Modal Logics
In: Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence (IJCAI-97), 202-207
Hustadt, Ullrich
Schmidt, Renate A.
Pollack, Martha E.1997Proceedings Article
On Extra Variables in (Equational) Logic Programming
In: Proceedings of the Twelfth International Conference on Logic Programming, 665-679
Hanus, Michael1995Proceedings Article
On Factor Refinement in Number Fields
In: Mathematics of Computation [68], 345-350
[Buchmann, Johannes]
Eisenbrand, Friedrich
1999Journal Article
On Generating Small Clause Normal Forms
In: Proceedings of the 15th International Conference on Automated Deduction (CADE-98), 397-411
Nonnengart, Andreas
[Rock, Georg]
Weidenbach, Christoph
[Kirchner, Claude]
[Kirchner, Hélène]
1998Proceedings Article
On Kernels, Defaults and Even Graphs
In: Annals of Mathematics and Artificial Intelligence,
Dimopoulos, Yannis
Magirou, Vangelis
Papadimitriou, Christos
1993Journal Article
On Name Generation and Set-Based Analysis in the Dolev-Yao Model
In: CONCUR 2002 - Concurrency Theory. 13th International Conference, 499-514
Charatonik, Witold
[Amadio, Roberto]
[Brim, Lubos]
[Jancar, Petr]
[Kretinsky, Mojomir]
[Kucera, Antonin]
2002Proceedings Article
On the Alternation-free Horn mu-calculus
In: Proceedings of the 7th International Conference on Logic for Programming and Automated Reasoning (LPAR-2000), 418-435
Talbot, Jean-Marc[Parigot, Michel]
[Voronkov, Andrei]
2000Proceedings Article
On the bounded theories of finite trees
In: Second Asian Computing Science Conference, ASIAN'96, 152-161
Vorobyov, Sergei[Jaffar, Joxan]
[Yap, Roland H. C.]
1996Proceedings Article
On the Church-Rosser Property in Left-Linear SystemsSocher-Ambrosius, Rolf1991Report
On the Chvátal Rank of Polytopes in the 0/1 Cube
In: Discrete Applied Mathematics [98], 21-27
Bockmayr, Alexander
Eisenbrand, Friedrich
[Hartmann, Mark]
[Schulz, Andreas S.]
1999Journal Article
On the Completeness of Residuation
In: Proceedings of the 1992 Joint International Conference and Symposium on Logic Programming, 192-206
Hanus, MichaelApt, Krzysztof1992Proceedings Article
Attachment IconOn the complexity of inference about probabilistic relational models
In: Artificial Intelligence [117], 297-308
Jaeger, Manfred2000Journal Article
Attachment IconOn the Evaluation of Indexing Techniques for Theorem Proving
In: Automated reasoning : First International Joint Conference, IJCAR 2001, 257-271
[Nieuwenhuis, Robert]
Hillenbrand, Thomas
[Riazanov, Alexandre]
[Voronkov, Andrei]
[Goré, Rajeev]
[Leitsch, Alexander]
[Nipkow, Tobias]
2001Proceedings Article
On the mechanical derivation of loop invariants
In: Journal of Symbolic Computation [15], 705-744
Chadha, Ritu
Plaisted, David A.
1993Journal Article
On the Membership Problem for the Elementary Closure of a Polyhedron
In: Combinatorica [19], 297-300
Eisenbrand, Friedrich1999Journal Article
On the Parallel Complexity of Acyclic Logic Programs
In: Parallel Processing Letters [6], 223-230
Chaudhuri, Shiva
Dimopoulos, Yannis
Zaroliagis, Christos
1996Journal Article
On the Relation Between Completion Based and Resolution Based Theorem Proving
In: Journal of Symbolic Computation [11], 129-148
Socher-Ambrosius, Rolf1991Journal Article
On the relation of resolution and tableaux proof systems for description logics
In: Proceedings of the 16th International Joint Conference on Artificial Intelligence (IJCAI-99), 110-115
Hustadt, Ullrich
Schmidt, Renate A.
1999Proceedings Article
On the Relationship Between Decidable Fragments, Non-Classical Logics, and Description Logics
In: Proceedings of the International Workshop on Description Logics (DL'2002), 25-36
[Georgieva, Lilia]
[Hustadt, Ullrich]
[Schmidt, Renate A.]
[Horrocks, Ian]
[Tessaris, Sergio]
2002Proceedings Article
On the semantics of EPCs: Faster calculation for EPCs with small state spaces
In: EPK 2005 : Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten, 7-23
[Cuntz, Nicolas]
Freiheit, Jörn
[Kindler, Ekkart]
[Nuettgens, Markus]
[Rump, Frank J.]
2005Proceedings Article
On the Undecidability of Second-Order Unification
In: Information and Computation [159], 125-150
[Levy, Jordi]
Veanes, Margus
2000Journal Article
Attachment IconOn the Universal Theory of Varieties of Distributive Lattices with Operators: Some Decidability and Complexity Results
In: Proceedings of the 16th International Conference on Automated Deduction (CADE-16), 157-171
Sofronie-Stokkermans, VioricaGanzinger, Harald1999Proceedings Article
On the Word Problem for Free Lattices
In: Proceedings of the 8th International Conference on Rewriting Techniques and Applications (RTA-97), 128-141
Struth, Georg[Comon, Hubert]1997Proceedings Article
On Theorem proving in Annotated Logics
In: Journal of Applied Non-Classical Logics [10], 121-143
[Lu, Mi]
Wu, Jinzhao
2000Journal Article
On Translation of Finitely-Valued Logics to Classical First-Order Logic
In: Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98), 410-411
Sofronie-Stokkermans, Viorica[Prade, Henri]1998Proceedings Article
Attachment IconOn unification for bounded distributive lattices
In: ACM Transactions on Computational Logic [8], ?
Sofronie-Stokkermans, Viorica2007Journal Article
Attachment IconOn unification for bounded distributive lattices
In: Proceedings of the 17th International Conference on Automated Deduction (CADE-17), 465-481
Sofronie-Stokkermans, Viorica[McAllester, David]2000Proceedings Article
Attachment IconOn uniform word problems involving bridging operators on distributive lattices
In: Automated Reasoning with Analytic and Related Methods : International Conference, TABLEAUX 2002, 235-250
Sofronie-Stokkermans, Viorica[Egly, Uwe]
[Fermüller, Christian]
2002Proceedings Article
Attachment IconOn Using Ground Joinable Equations in Equational Theorem Proving
In: Journal of Symbolic Computation [36], 217-233
[Avenhaus, Jürgen]
Hillenbrand, Thomas
[Löchner, Bernd]
2003Journal Article
Ontological Reasoning for Natural Language Understanding
Universität des Saarlandes
Suchanek, Fabian M.2005Thesis - Masters thesis
Operational Semantics of Constraint Logic Programming with Coroutining
In: Proceedings of the 12th International Conference on Logic Programming, 449-463
Podelski, Andreas
Smolka, Gert
Sterling, Leon1995Proceedings Article
Optimised Functional Translation and Resolution
In: Proceedings of the International Conference on Automated Reaso ning with Analytic Tableaux and Related Methods (TABLEAUX'98), 36-37
Hustadt, Ullrich
Schmidt, Renate A.
Weidenbach, Christoph
[de Swart, Harrie]1998Proceedings Article
Optimised Modal Translation and Resolution
Universität des Saarlandes
Schmidt, Renate A.1997Thesis - PhD thesis
Optimized Translation of Multi Modal Logic into Predicate Logic
In: Proceedings of the 4th International Conference on Logic Programming and Automated Reasoning (LPAR'93), 253-264
Ohlbach, Hans Jürgen[Voronkov, A.]1993Proceedings Article
Optimizing Photo Mask Layout for Grey-tone LithographyHopf, Jörn[Claus, Volker]
Hopf, Jörn
[Schwefel, Hans-Paul]
1996Report
Optimizing Photo Mask Layout for Grey-tone LithographyHopf, Jörn[Claus, Volker]
Hopf, Jörn
[Schwefel, Hans-Paul]
1996Report
Optimizing the Clausal Normal Form Transformation
In: Journal of Automated Reasoning [7], 325-336
Socher-Ambrosius, Rolf1991Journal Article
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
Baumgartner, Peter
[Furbach, Ulrich]
[Gross-Hardt, Margret]
[Kleemann, Thomas]
[Seipel, Dietmar]
[Hanus, Michael]
[Geske, Ulrich]
[Bartenstein, Oskar]
2005Proceedings Article
Order-Sorted Completion: The Many-Sorted Way
In: Theoretical Computer Science [89], 3-32
Ganzinger, Harald1991Journal Article
Ordered Chaining Calculi for First-Order Theories of Transitive Relations
In: Journal of the ACM [45], 1007-1049
[Bachmair, Leo]
Ganzinger, Harald
1998Journal Article
Ordered Chaining for Total Orderings
In: Proceedings of the 12th International Conference on Automated Deduction (CADE-12), 435-450
Bachmair, Leo
Ganzinger, Harald
Bundy, Alan1994Proceedings Article
Ordered Landmarks in Planning
In: Journal of Artificial Intelligence Research [22], 215-278
Hoffmann, Jörg
[Porteous, Julie]
[Sebastia, Laura]
2004Journal Article
Ordering Constraints over Feature Trees
In: Constraints [5], 7-41
[Müller, Martin]
[Niehren, Joachim]
Podelski, Andreas
2000Journal Article
Ordering Constraints over Feature Trees
In: Proceedings of the 3rd International Conference on Principles and Practice of Constraint Programming (CP-97), 549-562
[Müller, Martin]
[Niehren, Joachim]
Podelski, Andreas
[Smolka, Gert]1997Proceedings Article
Attachment IconOrienting Equalities with the Knuth-Bendix Order
In: 18th Annual IEEE Symposium on Logic in Computer Science (LICS-03), 75-84
Korovin, Konstantin
[Voronkov, Andrei]
[Kolaitis, Phokion]2003Proceedings Article
Orienting rewrite rules with the Knuth-Bendix order
In: Information and Computation [183], 165-186
Korovin, Konstantin
[Voronkov, Andrei]
2003Journal Article
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
[Letz, Reinhold]
Weidenbach, Christoph
1998Journal Article
Attachment IconParallel Unit Resulting Resolution
Universität des Saarlandes
Meyer, Christoph1996Thesis - Masters thesis
Parameter Structures for Parametrized Modal Operators
In: Proc.~Intern.~Joint Conference on Artificial Intelligence (IJCAI'91), 512-517
Ohlbach, Hans Jürgen
Herzig, A.
1991Proceedings Article
Parameters for Utilitarian Desires in a Qualitative Decision Theory
In: Applied Artificial Intelligence [14], 285-301
van der Torre, Leendert W. N.
Weydert, Emil
2001Journal Article
Parametric Order-Sorted Types in Logic Programming
In: Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT-91), 181-200
Hanus, MichaelAbramsky, S.
Maibaum, T.S.E.
1991Proceedings Article
Parkwächter
In: c't Magazin für computer technik [-], 252-253
Brahm, Uwe
[Pitz, Werner]
1990Journal Article
Path indexing for AC-theories
In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), 718-732
Graf, Peter[McRobbie, M. A.]
[Slaney, J. K.]
1996Proceedings Article
Attachment IconPath Invariants
In: PLDI'07 : Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 300-309
[Beyer, Dirk]
[Henzinger, Thomas]
[Majumdar, Rupak]
Rybalchenko, Andrey
[Ferrante, Jeanne]
[McKinley, Kathryn S.]
2007Proceedings Article
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
Charatonik, Witold
Podelski, Andreas
Talbot, Jean-Marc
2000Proceedings Article
Peirce Algebras
In: Formal Aspects of Computing [6], 339-358
[Brink, Chris]
[Britz, Katarina]
Schmidt, Renate A.
1994Journal Article
Peirce Algebras and Their Applications in Artificial Intelligence and Computational Linguistics: Abstract
In: Relational Methods in Computer Science; Dagstuhl Seminar Report 80 (9403), 21-22
Schmidt, Renate A.Brink, C.
Schmidt, G.
1994Proceedings Article
Peirce Algebras and Their Applications in Artificial Intelligence and Computational Linguistics: Abstract
In: SIGALA Newsletter [2], 27-27
Schmidt, Renate A.1994Journal Article
Peirce Algebras: Extended Abstract
In: Proceedings of the 3rd International Conference on Algebraic Methodology and Software Technology (AMAST '93), 163-166
[Brink, Chris]
[Britz, Katarina]
Schmidt, Renate A.
Nivat, Maurice
Rattray, Charles
Rus, Teodor
Scollo, Guiseppe
1994Proceedings Article
Perfect model semantics for logic programs with equality
In: Proceedings International Conference on Logic Programming '91, 645-659
Bachmair, Leo
Ganzinger, Harald
1991Proceedings Article
Phased labeled logics of conditional goals
In: Proceedings of the 6th European Workshop on Logics in AI: Logics in Artificial Intelligence (JELIA-98), 92-106
van der Torre, Leendert W. N.Dix, Jürgen
Fariñas del Cerro, Luís
Furbach, Ulrich
1998Proceedings Article
Philosophical Logics: A Survey and a BibliographyStruth, Georg1994Report
Photomaskenlayout für eine 3D-Grauton-Lithographie als kombinatorisches Optimierungsproblem
Universität des Saarlandes
Hopf, Jörn2001Thesis - PhD thesis
PLAM: ProLog and Algebraic Modelling
In: Proceedings of the 5th International Conference on the Practical Application of Prolog, 73-82
Barth, Peter
Bockmayr, Alexander
1997Proceedings Article
Plausible Inference for Default Conditionals
In: Symbolic and Quantitative Approaches to Reasoning and Uncertainty: Proceedings of the European Conference ECSQARU '93, 356-363
Weydert, EmilClarke, M.
Kruse, R.
Moral, S.
1993Proceedings Article
Precise Thread-Modular Verification
In: 14th International Static Analysis Symposium (SAS 2007), ?
Rybalchenko, Andrey2007Proceedings Article
Preface
In: Theoretical Computer Science [208], 1
Ganzinger, Harald1998Journal Article
Prefixed Resolution: A Resolution Method for Modal and Description Logics
In: Proceedings of the 16th International Conference on Automated Deduction (CADE-16), 187-201
de Nivelle, Hans
[Areces, Carlos]
[de Rijke, Maarten]
Ganzinger, Harald1999Proceedings Article
Attachment IconPriestley Duality for SHn-algebras and Applications to the Study of Kripke-style Models for SHn-logics
In: Multiple-Valued Logic - An International Journal [5], 281-305
Sofronie-Stokkermans, Viorica2000Journal Article
Priestley representation for distributive lattices with operators and applications to automated theorem proving
In: Dualities, Interpretability and Ordered Structures, 43-54
Sofronie-Stokkermans, Viorica[Vaz de Carvalho, Júlia]
[Ferreirim, Isabel]
1999Proceedings Article
Attachment IconProbababilistic Decision Graphs - Combining Verification and AI Techniques for Probabilistic Inference
In: Proceedings of the First European Workshop on Probabilistic Graphical Models, 81-88
Jaeger, Manfred2002Proceedings Article
Probabilistic Classifiers and the Concepts they Recognize
In: Proceedings of the Twentieth International Conference on Machine Learning (ICML-03), 266-273
Jaeger, Manfred[Fawcett, Tom]
[Mishra, Nina]
2003Proceedings Article
Probabilistic Decision Graphs
Universität des Saarlandes
Jaeger, Manfred2002Thesis - Habilitation thesis
Probabilistic Reasoning in Terminological Logics
In: Principles of Knowledge Representation an Reasoning: Proceedings of the 4th International Conference (KR94), 305-316
Jaeger, ManfredDoyle, J.
Sandewall, E.
Torasso, P.
1994Proceedings Article
Problem solving by searching for models with a theorem prover
In: Artificial Intelligence [69], 205-233
[Lee, Shie-Jue]
Plaisted, David A.
1994Journal Article
Proceedings of the 16th International Conference on Automated Deduction (CADE-16)Ganzinger, Harald1999Proceedings
Proceedings of the 2nd International Workshop on the Implementation of Logicsde Nivelle, Hans
[Schulz, Stephan]
2001Proceedings
Proceedings of the 3rd Dutch/German Workshop on Nonmonotonic Reasoning Techniques and their Applications (DGNMR-97)Weydert, Emil
[Brewka, Gerd]
[Witteveen, Cees]
1997Proceedings
Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR-99)Ganzinger, Harald
[McAllester, David]
[Voronkov, Andrei]
1999Proceedings
Proceedings of the Workshop on Correctness and Metatheoretic Extensibility of Automated Reasoning SystemsBasin, David A.
[Giunchiglia, Fausto]
[Kaufmann, Matt]
1994Report
Program Development Schemata as Derived Rules
In: Journal of Symbolic Computation [30], 5-36
[Anderson, Penny]
Basin, David A.
2000Journal Article
Program improvement by proof planning
In: Proceedings of British Colloquium on Theoretical Computer Science (BCTCS 11),
Madden, Peter1995Proceedings Article
Program termination analysis in polynomial time
In: ACM Transactions on Programming Languages and Systems [29], 5:1-37
[Ben-Amram, Amir M.]
Lee, Chin Soon
2007Journal Article
Programmanalyse des XRTL Zwischencodes
Universität des Saarlandes
Backes, Werner2005Thesis - PhD thesis
Prohairetic Deontic Logic (PDL)
In: Proceedings of the 6th European Workshop on Logics in AI: Logics in Artificial Intelligence (JELIA-98), 77-91
van der Torre, Leendert W. N.
[Tan, Yao-Hua]
Dix, Jürgen
Fariñas del Cerro, Luís
Furbach, Ulrich
1998Proceedings Article
Proof Contexts with Late Binding
In: Typed Lambda Calculi and Applications: 7th International Conference, TLCA 2005, 325-339
Prevosto, Virgile
[Boulmé, Sylvain]
[Urzyczyn, Pawe{ł}]2005Proceedings Article
Providing a Basin of Attraction to a Target Region by Computation of Lyapunov-like Functions
In: 4th IEEE International Conference on Computational Cybernetics, 245-249
She, Zhikun
Ratschan, Stefan
2006Proceedings Article
Proving that programs eventually do something good
In: 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2007), 265-276
[Cook, Byron]
[Gotsman, Alexey]
[Podelski, Andreas]
Rybalchenko, Andrey
[Vardi, Moshe]
[Hofmann, Martin]
[Felleisen, Matthias]
2007Proceedings Article
Attachment IconProving Thread Termination
In: PLDI'07 : Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 320-330
[Cook, Byron]
[Podelski, Andreas]
Rybalchenko, Andrey
[Ferrante, Jeanne]
[McKinley, Kathryn S.]
2007Proceedings Article
Pseudo-Boolean and Finite Domain Constraint Programming: A Case Study
In: Deklarative Constraint Programmierung, 29-41
Bockmayr, Alexander
Kasper, Thomas
[Geske, Ulrich]
[Simonis, Helmut]
1996Proceedings Article
Pseudo-Boolean Constraint Logic Programming
In: Computational Logic. The Newsletter of the European Network in Computational Logic [2], 52-53
Barth, Peter
Bockmayr, Alexander
1995Journal Article
Qualitative and Quantitative Practical Reasoning[Gabbay, Dov M.]
[Kruse, Rudolf]
Nonnengart, Andreas
Ohlbach, Hans Jürgen
1997Book
Qualitative Entropy Maximization - A preliminary report
In: Proceedings of the 3rd Dutch/German Workshop on Nonmonotonic Reasoning Techniques and their Applications (DGNMR-97), 63-72
Weydert, EmilWeydert, Emil
[Brewka, Gerd]
[Witteveen, Cees]
1997Proceedings Article
Quantifier Elimination for Second-Order Predicate LogicNonnengart, Andreas
[Ohlbach, Hans Jürgen]
[Szalas, Andrzej]
2001Unpublished/Draft
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
Gabbay, Dov M.
Ohlbach, Hans Jürgen
Nebel, Bernhard Nebel
Rich, Charles
Swartout, William
1992Proceedings Article
Quantifier Elimination in Second-Order Predicate Logic
In: South African Computer Journal [7], 35-43
Gabbay, Dov M.
Ohlbach, Hans Jürgen
1992Journal Article
Attachment IconQuantifier Elimination in Second-Order Predicate Logic
Universität des Saarlandes
Engel, Thorsten1996Thesis - Masters thesis
Randomization and Approximation Techniques in Computer Science
In: Proceedings of the International Workshop on Randomization and Approximation Techniques in Computer Science (RANDOM-97), 209-225
Wang, YonggeRolim, José1997Proceedings Article
Randomness, Stochasticity, and Approximation
In: Theory of Computing Systems [32], 517-529
Wang, Yongge1999Journal Article
Ranking functions for size-change termination
In: ACM Transactions on Programming Languages and Systems [31], 10:1-10:42
Lee, Chin Soon2009Journal Article
Rankings in flux
In: Proceedings of the 3rd International Conference on Formal and Applied Practical Reasoning (FAPR-00), 37-48
Weydert, Emil[Cunningham, Jim]
[Gabbay, Dov]
2000Proceedings Article
Rankings we prefer: a minimal construction semantics for default reasoning
In: Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU-01), 616-627
Weydert, EmilBenferhat, Salem
Besnard, Philippe
2001Proceedings Article
Rankings we prefer: a rational minimal construction semantics for default reasoning
In: Proceedings of the 5th Dutch-German Workshop on Nonmonotonic Reasoning Techniques and their Applications (DGNMR-01), 1-12
Weydert, Emil[Brewka, Gerhard]
[Witteveen, Cees]
[Schaub, Torsten]
2001Proceedings Article
Rational Default Quantifier Logic
In: Proceedings of the 1st International Joint Conference on Qualitative and Quantitative Practical Reasoning (ESQARU-FAPR-97), 589-600
Weydert, Emil[Gabbay, Dov]
[Kruse, Rudolf]
Nonnengart, Andreas
1997Proceedings Article
Reasoning about exceptions
In: Proceedings of the 21st Annual German Conference on Artificial Intelligence (KI-97): Advances in Artificial Intelligence, 405-408
van der Torre, Leendert W. N.
[Tan, Yao-Hua]
Brewka, Gerhard
Habel, Christopher
Nebel, Bernhard
1997Proceedings Article
Attachment 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
Jaeger, ManfredCohn, Anthony G.
Schubert, Lenhart
Shapiro, Stuart C.
1998Proceedings Article
Reasoning about Sets via Atomic DecompositionOhlbach, Hans Jürgen
[Koehler, Jana]
1996Report
Rechnen in sortierter Prädikatenlogik
In: Ausgezeichnete Informatikdissertationen 1997, 183-197
Weidenbach, Christoph[Fiedler, Herbert]
[Gorny, Peter]
[Grass, Werner]
Hölldobler, Steffen
Hotz, Günter
[Kerner, I. O.]
Reischuk, Rüdiger
1998Part of a Book
Recursive Program Optimization Through Inductive Synthesis Proof Transformation
In: Journal of Automated Reasoning [22], 65-115
Madden, Peter
[Bundy, Alan]
[Smaill, Alan]
1999Journal Article
Attachment IconRecursive resolution for modal logic
In: Symposium on the Effectiveness of Logic in Computer Science in Honour of Moshe Vardi, 11-15
Kazakov, YevgenyCharatonik, Witold
Ganzinger, Harald
2002Proceedings Article
Reduction Rules for Resolution Based Systems
In: Artificial Intelligence [50], 141-181
Eisinger, Norbert
Ohlbach, Hans Jürgen
Präcklein, Axel
1991Journal Article
Reflection in a Logical System
In: Proc.~IMSA '92 Workshop on Reflection and Meta-Level Architecture, 178-183
Matthews, SeánYonezawa, A.
Smith, B. C.
1992Proceedings Article
Reflection using the derivability conditions
In: Logic and Algebra, 603-616
Matthews, Seán
[Simpson, Alex]
Ursini, Aldo
Agilanò, Paolo
1996Part of a Book
Refutational Theorem Proving for Hierarchic First-Order Theories
In: Applicable Algebra in Engineering, Communication and Computing (AAECC) [5], 193-212
Bachmair, Leo
Ganzinger, Harald
Waldmann, Uwe
1994Journal Article
Region Stability Proofs for Hybrid Systems
In: Formal Modelling and Analysis of Timed Systems: 5th International Conference, FORMATS 2007, 16
Wagner, Silke
[Podelski, Andreas]
[Raskin, J.-F.]
[Thiagarajan, P.S.]
2007Proceedings Article
Relating confluence, innermost-confluence and outermost-confluence properties of term rewriting systems
In: Acta Informatica [33], 595-606
Krishna Rao, M. R. K.1996Journal Article
Attachment IconRelating Semantic and Proof-Theoretic Concepts for Polynomial Time Decidability of Uniform Word Problems
In: Proceedings of the 16th IEEE Symposium on Logic in Computer Science (LICS-01), 81-90
Ganzinger, Harald[Williams, Denise A.]2001Proceedings Article
Attachment IconRelational Bayesian Networks
In: Proceedings of the 13th Conference of Uncertainty in Artificial Intelligence (UAI-13), 266-273
Jaeger, ManfredGeiger, Dan
Shenoy, Prakash Pundalik
1997Proceedings Article
Attachment IconRelational Bayesian Networks: a Survey
In: Electronic Transactions on Artificial Intelligence [6],
Jaeger, Manfred2002Electronic Journal Article
Relational Grammars for Knowledge Representation
In: Variable-Free Semantics, 162-180
Schmidt, Renate A.[Böttner, Michael]
[Thümmel, W.]
2000Part of a Book
Relational Rippling: a General Approach
In: Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI-95), 175-181
Bundy, Alan
[Lombart, V.]
Mellish, C.1995Proceedings Article
Relations as Abstract Datatypes: An Institution to Specify Relations between Algebras
In: Proceedings of the 6th Joint Conference on Theory and Practice of Software Development (TAPSOFT '95), 756-771
Baumeister, HubertMosses, Peter D.
Nielsen, Mogens
Schwartzbach, Michael I.
1995Proceedings Article
Attachment IconRelations between Abstract Datatypes modeled as Abstract Datatypes
Universität des Saarlandes
Baumeister, Hubert1999Thesis - PhD thesis
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
Podelski, Andreas
[Ball, Tom]
[Rajamani, Sriram K.]
[Kaoen, Joost-Pieter]
[Stevens, Perdita]
2002Proceedings Article
Representation Independence of Nonmonotonic Inference Relations
In: Principles of Knowledge Representation and Reasoning, Proceedings of the 5th International Conference (KR-96), 461-472
Jaeger, ManfredCarlucci-Aiello, Luigia
Doyle, Jon
Shapiro, Stuart
1996Proceedings Article
Representation Theorems and Automated Theorem Proving in Certain Classes of Non-Classical Logics
In: Proceedings of the Workshop on Many-Valued Logic for AI Applications (ECAI-98), ?-?
Sofronie-Stokkermans, Viorica[Eklund, Patrick]
[Escalada-Imaz, Gonzalo]
[Haehnle, Reiner]
[Vojtas, Peter]
1998Proceedings Article
Representation Theorems and Automated Theorem Proving in Non-Classical Logics
In: Proceedings of the 29th IEEE International Symposium on Multiple-Valued Logic (ISMVL-99), 242-247
Sofronie-Stokkermans, Viorica1999Proceedings Article
Attachment 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
Sofronie-Stokkermans, Viorica[Fitting, Melvin]
[Orlowska, Ewa]
2003Part of a Book
Representation theorems and the semantics of (semi)lattice-based logics
In: Proceedings of the 31st IEEE International Symposium on Multiple-Valued Logics, 125-134
Sofronie-Stokkermans, Viorica2001Proceedings Article
Resolution-Based Calculi for Modal and Temporal Logics
In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), 598-612
Nonnengart, Andreas[McRobbie, M. A.]
[Slaney, J. K.]
1996Proceedings Article
Resolution-Based Calculi for Modal Logics
Universität des Saarlandes
Mohr, Erik1995Thesis - Masters thesis
Resolution-Based Decision Procedures for Subclasses of First-Order Logic
Universität des Saarlandes
Hustadt, Ullrich1999Thesis - PhD thesis
Resolution-based decision procedures for the positive theory of some finitely generated varieties of algebras
In: Proceedings of the 34th International Symposium on Multiple-Valued Logic (ISMVL-2004), 32-37
Sofronie-Stokkermans, Viorica2004Proceedings Article
Attachment IconResolution-based decision procedures for the universal theory of some classes of distributive lattices with operators
In: Journal of Symbolic Computation [36], 891-924
Sofronie-Stokkermans, Viorica2003Journal Article
Resolution-Based Methods for Modal Logics
In: Logic Journal of the IGPL [8], 265-292
de Nivelle, Hans
Hustadt, Ullrich
[Schmidt, Renate A.]
2000Journal Article
Resolution-based theorem proving for non-classical logics based on distributive lattices with operators
In: Proceedings of the 11th International Congress of Logic, Methodology and Philosophy of Science. Volume of abstracts, 481-481
Sofronie-Stokkermans, Viorica[Cachro, Jacek]
[Kijania-Placek, Katarzyna]
1999Proceedings Article
Attachment IconResolution-based Theorem Proving for SHn-LogicsSofronie-Stokkermans, Viorica1998Report
Attachment IconResolution-based theorem proving for SHn-logics
In: Automated Deduction in Classical and Non-Classical Logic (Selected Papers of FTP'98), 268-282
Sofronie-Stokkermans, Viorica2000Proceedings Article
Resolution Decision Procedures
In: Handbook of Automated Reasoning, 1793-1849
[Fermüller, Christian G.]
[Leitsch, Alexander]
Hustadt, Ullrich
[Tammet, Tanel]
[Robinson, Alan]
[Voronkov, Andrei]
2001Part of a Book
Attachment IconResolution Decision Procedures for the Guarded Fragment with
Transitive Guards
de Nivelle, Hans
Kazakov, Yevgeny
2004Report
Resolution in modal, description and hybrid logic
In: Journal of Logic and Computation [11], 717-736
[Areces, Carlos]
[de Rijke, Maarten]
de Nivelle, Hans
2001Journal Article
Resolution is a Decision Procedure for Many Propositional Modal Logics
In: Advances in Modal Logic, Volume 1, 189-208
Schmidt, Renate A.[Kracht, M.]
[de Rijke, M.]
[Wansing, H.]
[Zakharyaschev, M.]
1998Part of a Book
Attachment IconResolution Theorem Proving
In: Handbook of Automated Reasoning, 19-99
Bachmair, Leo
Ganzinger, Harald
[Robinson, J. A.]
[Voronkov, A.]
2001Part of a Book
Rewrite-based equational theorem proving with selection and simplification
In: Journal of Logic and Computation [4], 217-247
Bachmair, Leo
Ganzinger, Harald
1994Journal Article
Rewrite Techniques for Transitive Relations
In: Proceedings of the 9th IEEE Symposium on Logic in Computer Science, 384-393
Bachmair, Leo
Ganzinger, Harald
1994Proceedings Article
Rewriting Techniques and Applications, 7th International Conference, RTA-96Ganzinger, Harald1996Proceedings
Rights, Duties and Commitments Between Agents
In: Proceedings of the 16th International Joint Conference on Artificial Intelligence (IJCAI-99), 1239-1244
van der Torre, Leendert W. N.
[Tan, Yao-Hua]
1999Proceedings Article
Rigid Reachability
In: Proceedings of the 4th Asian Computing Science Conference on Advances in Computing Science (ASIAN-98), 4-21
Ganzinger, Harald
Jacquemard, Florent
Veanes, Margus
[Hsiang, Jieh]
[Ohori, Atsushi]
1998Proceedings Article
Rigid Reachability: The Non-Symmetric Form of Rigid E-unification
In: International Journal of Foundations of Computer Science [11], 3-27
Ganzinger, Harald
[Jacquemard, Florent]
[Veanes, Margus]
2000Journal Article
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
Weydert, Emil
[van der Torre, Leendert W. N.]
John Bell1999Proceedings Article
Attachment IconRobust Pole Clustering of Parametric Uncertain Systems Using Interval Methods
In: Robust control design 2003 : (ROCOND 2003) ; a proceedings volume from the 4th IFAC symposium, 323-328
Ratschan, Stefan
Vehi, Josep
[Bittanti, Sergio]2004Proceedings Article
Attachment IconSafety Verification of Hybrid Systems by Constraint Propagation Based Abstraction Refinement
In: ACM Transactions in Embedded Computing Systems [6], 1-23
Ratschan, Stefan
She, Zhikun
2007Journal Article
Safety Verification of Hybrid Systems by Constraint Propagation Based Abstraction Refinement
In: Hybrid Systems: Computation and Control: 8th International Workshop, HSCC 2005, 573-589
Ratschan, Stefan
She, Zhikun
Morari, Manfred
Thiele, Lothar
2005Proceedings Article
Attachment IconSaturation-Based Decision Procedures For Extensions Of The Guarded Fragment
Universität des Saarlandes
Kazakov, Yevgeny2006Thesis - PhD thesis
Saturation-based theorem proving (abstract)
In: Automata, Languages and Programming: International Colloquium (ICALP-23), 1-3
Ganzinger, HaraldMeyer auf der Heide, Friedhelm
Monien, Burkhard
1996Proceedings Article
SCAN-Elimination of Predicate Quantifiers
In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), 161-165
Ohlbach, Hans Jürgen[McRobbie, M. A.]
[Slaney, J. K.]
1996Proceedings Article
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
[Goranko, Valentin]
[Hustadt, Ullrich]
Schmidt, Renate A.
[Vakarelov, Dimiter]
[Berghammer, Rudolf]
[Möller, Bernhard]
[Struth, Georg]
2004Proceedings Article
Scoped Metatheorems
In: Electronic Notes in Computer Science [15], 1-14
Matthews, Seán
Basin, David A.
1998Journal Article
Search in Games with Incomplete Information: A Case Study Using Bridge Card Play[Frank, Ian]
Basin, David A.
1996Report
Search in Games with Incomplete Information: A Case Study Using Bridge Card Play
In: Artificial Intelligence [100], 87-123
[Frank, Ian]
Basin, David A.
1998Journal Article
Selbstlernende Fuzzy-Controller auf der Basis Genetischer Algorithmen
In: Fuzzy-Systeme '93 / Management unsicherer Informationen, 21-27
Hopf, Jörn
[Klawonn, Frank]
1993Proceedings Article
Semantically Guided First-Order Theorem Proving using Hyper-Linking
In: Proceedings of the 12th International Conference on Automated Deduction (CADE-12), 192-206
[Chu, Heng]
Plaisted, David A.
Bundy, Alan1994Proceedings Article
Semantics Based Translation Methods for Modal Logics
In: Journal of Logic and Computation [1], 691-746
Ohlbach, Hans Jürgen1991Journal Article
Semantics of Order-Sorted Specifications
In: Theoretical Computer Science [94], 1-35
Waldmann, Uwe1992Journal Article
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
Krishna Rao, M. R. K.[Mosses, Peter]
[Nielsen, Mogens]
[Schwartzbach, Michael]
1995Proceedings Article
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
[Pnueli, Amir]
Podelski, Andreas
Rybalchenko, Andrey
[Halbwachs, Nicolas]
[Zuck, Lenore]
2005Proceedings Article
Set-Based Analysis of Logic Programs and Reactive Logic Programs
In: Proceedings of the International Symposium on Logic Programming (ILPS-14), 35-36
Podelski, AndreasMaluszynski, Jan1997Proceedings Article
Set-Based Analysis of Reactive Infinite-state Systems
In: Tools and Algorithms for the Construction and Analysis of Systems (TACAS-98), 358-375
Charatonik, Witold
Podelski, Andreas
[Steffen, Bernhardt]1998Proceedings Article
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
Podelski, Andreas
Charatonik, Witold
[Müller, Martin]
[Swierstra, S. Doaitse]1999Proceedings Article
Set Computation for Nonlinear Control
In: Reliable Computing [10], 1-26
[Jaulin, Luc]
Ratschan, Stefan
[Hardouin, Laurent]
2004Journal Article
Set Constraints are the Monadic Class
In: Eighth Annual IEEE Symposium on Logic in Computer Science, 75-83
[Bachmair, Leo]
Ganzinger, Harald
Waldmann, Uwe
1993Proceedings Article
Set Constraints in Some Equational Theories
In: Information and Computation [142], 40-75
Charatonik, Witold1998Journal Article
Set Constraints with Intersection
In: Information and Computation [179], 213-229
Charatonik, Witold
Podelski, Andreas
2002Journal Article
Set Constraints with Intersection
In: Proceedings of the Twelfth Annual IEEE Symposium on Logic in Computer Science (LICS-97), 362-372
Charatonik, Witold
Podelski, Andreas
[Winskel, Glynn]1997Proceedings Article
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
[Pacholski, Leszek]
Podelski, Andreas
[Smolka, Gert]1997Proceedings Article
Sheaves and geometric logic in concurrency
In: Proceedings of the Eighth Workshop on Geometric and Topological Methods in Concurrency (GETCO 2006), ?
Sofronie-Stokkermans, Viorica2006Proceedings Article
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
[Iturrioz, Luisa]
Sofronie-Stokkermans, Viorica
[Iturrioz, Luisa]
[Orlowska, Ewa]
[Turunen, Esko]
2000Part of a Book
Short vectors of planar integral lattices via continued fractions
In: Information Processing Letters [79], 121-126
Eisenbrand, Friedrich2001Journal Article
Attachment IconShostak Light
In: Automated deduction, CADE-18 : 18th International Conference on Automated Deduction, 332-346
Ganzinger, Harald[Voronkov, Andrei]2002Proceedings Article
Simplification and backjumping in modal tableau
In: Proceedings of the International Conference on Automated Reaso ning with Analytic Tableaux and Related Methods (TABLEAUX'98), 187-201
Hustadt, Ullrich
Schmidt, Renate A.
[de Swart, Harrie]1998Proceedings Article
Simplifying Clausal Satisfiability Problems
In: Proceedings of the 1st International Conference on Constraints in Computational Logics (CCL'94), 19-33
Barth, PeterJouannaud, Jean-Pierre1994Proceedings Article
Situated Simplification
In: Proceedings of the First International Conference on Principles and Practice of Constraint Programming (CP'95), 328-344
Podelski, Andreas
Smolka, Gert
Montanari, Ugo
Rossi, Francesca
1995Proceedings Article
Situated Simplification
In: Theoretical Computer Science [173], 235-252
Podelski, Andreas
[Smolka, Gert]
1997Journal Article
Size-change Termination AnalyzerLee, Chin Soon2004Unpublished/Draft
Soft Typing for Clausal Inference Systems
Universität des Saarlandes
Meyer, Christoph1999Thesis - PhD thesis
Soft Typing for Ordered Resolution
In: Proceedings of the 14th International Conference on Automated Deduction (CADE-14), 321-335
Ganzinger, Harald
Meyer, Christoph
Weidenbach, Christoph
[McCune, William]1997Proceedings Article
Software Model Checking with Abstraction Refinement
In: Verification, model checking, and abstract interpretation : 4th International Conference, VMCAI 2003, 1-13
Podelski, Andreas[Zuck, Lenore]
[Attie, Paul]
[Cortesi, Agostino]
[Mukhopadhyay, Supratik]
2003Proceedings Article
Solving 0-1 Problems in CLP($\cal PB$)
In: Proceedings 9th Conference on Artificial Intelligence for Applications (CAIA), 263-269
Barth, Peter
Bockmayr, Alexander
1993Proceedings Article
Solving Existentially Quantified Constraints with One Equality and Arbitrarily Many Inequalities
In: Principles and practice on constraint programming - CP 2003 : 9th International Conference, CP 2003, 615-633
Ratschan, Stefan[Rossi, Francesca]2003Proceedings Article
Solving numerical constraints
In: Handbook of Automated Reasoning, 751-842
Bockmayr, Alexander
[Weispfenning, V.]
[Robinson, Alan]
[Voronkov, Andrei]
2001Part of a Book
Solving pseudo-Boolean constraints
In: Constraint Programming: Basics and Trends, 22-38
Bockmayr, AlexanderPodelski, Andreas1995Proceedings Article
Solving Simplificating Ordering Constraints
In: Proceedings of the 1st International Conference on Constraints in Computational Logics (CCL'94), 352-367
[Johann, Patricia]
Socher-Ambrosius, Rolf
Jouannaud, Jean-Pierre1994Proceedings Article
Solving Undecidable Problems in the Theory of Real Numbers and Hybrid Systems
In: Algorithmic Algebra and Logic; Conference in Honor of the 60th Birthday of Volker Weispfenning, 213-216
Ratschan, Stefan[Dolzmann, Andreas]
[Seidl, Andreas]
[Sturm, Thomas]
2005Proceedings Article
Some characteristics of strong innermost normalization
In: Algebraic Methodology and Software Technology, 5th International Conference, AMAST '96, 406-420
Krishna Rao, M. R. K.Wirsing, Martin
Nivat, Maurice
1996Proceedings Article
Some characteristics of strong innermost normalization
In: Theoretical Computer Science [239], 141-164
Krishna Rao, M. R. K.2000Journal Article
Some classes of prolog programs inferable from positive data
In: Theoretical Computer Science [241], 211-223
Krishna Rao, M. R. K.2000Journal Article
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
Basin, David A.
Howe, D.
Ito, T.
Meyer, A. R.
1991Proceedings Article
Some Notes on Nonmonotonic Probabilistic InferenceWeydert, Emil1998Miscellaneous
Some properties of Kleene algebras
In: COST Action 15 (Many-Valued Logics for Computer Science Applications) ATLAS of Many-Valued Structures, 1-7
Sofronie-Stokkermans, Viorica[Iturrioz, Luisa]
[Orlowska, Ewa]
[Turunen, Esko]
2000Part of a Book
Sorted Unification and Its Application to Automated Theorem Proving
In: Proceedings of the CADE-13 Workshop: Term Schematizations and Their Applications, 67-76
Weidenbach, Christoph[Hermann, Miki]
[Salzer, Gernot]
1996Proceedings Article
Sorted Unification and Tree Automata
In: Automated Deduction - A Basis for Applications, 291-320
Weidenbach, Christoph[Bibel, Wolfgang]
[Schmitt, Peter H.]
1998Part of a Book
Sorts, Resolution, Tableaux and Propositional Logic
In: KI-94 Workshops: Extended Abstracts, 315-316
Weidenbach, ChristophKunze, Jürgen
Stoyan, Herbert
1994Proceedings Article
SPASS V0.77
In: Journal of Automated Reasoning [21], 113-113
Weidenbach, Christoph
Meyer, Christoph
Cohrs, Christian
Engel, Thorsten
Keen, Enno
1998Journal Article
SPASS V0.95TPTP
In: Journal of Automated Reasoning [23], 21-21
Weidenbach, Christoph1999Journal Article
SPASS Version 0.49
In: Journal of Automated Reasoning [18], 247-252
Weidenbach, Christoph1997Journal Article
Attachment IconSPASS Version 2.0
In: Automated deduction, CADE-18 : 18th International Conference on Automated Deduction, 275-279
Weidenbach, Christoph
Brahm, Uwe
Hillenbrand, Thomas
Keen, Enno
Theobalt, Christian
Topić, Dalibor
[Voronkov, Andrei]2002Proceedings Article
SPASS & FLOTTER, Version 0.42
In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), 141-145
Weidenbach, Christoph
[Gaede, Bernd]
[Rock, Georg]
[McRobbie, M. A.]
[Slaney, J. K.]
1996Proceedings Article
SPASS+T
In: ESCoR: FLoC'06 Workshop on Empirically Successful Computerized Reasoning, 18-33
[Prevosto, Virgile]
Waldmann, Uwe
[Sutcliffe, Geoff]
[Schmidt, Renate]
[Schulz, Stephan]
2006Proceedings Article
Specification of Term Rewriting in Linear Logic
In: Proceedings of Workshop on Proof-Search in Type-Theoretic Languages, ??
Delzanno, GiorgioGalmiche, Didier1998Proceedings Article
Splitting through New Proposition Symbols
In: Proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-2001), 172-185
de Nivelle, Hans[Nieuwenhuis, Robert]
[Voronkov, Andrei]
2001Proceedings Article
Attachment IconStatic analysis of functional programs via Linear Logic
Universität des Saarlandes
Bach, Alexander1996Thesis - Masters thesis
Strategien für Resolutionsbeweiser in Logik höherer Stufe
Universität des Saarlandes
Bozkurt, Ahmet1995Thesis - Masters thesis
Strict Basic Superposition
In: Proceedings of the 15th International Conference on Automated Deduction (CADE-98), 160-174
Bachmair, Leo
Ganzinger, Harald
Kirchner, Claude
Kirchner, Hélène
1998Proceedings Article
Strong SkolemizationNonnengart, Andreas2001Unpublished/Draft
Strong Symmetrization, Semi-Compatibility of Normalized Rewriting and First-Order Theorem Proving
In: Proceedings of the International Workshop on First-Order Theorem Proving (FTP-97), 125-129
Stuber, Jürgen[Bonacina, Maria Paola]
[Furbach, Ulrich]
1997Proceedings Article
Structural decidable extensions of bounded quantification
In: Proceedings of the 22nd ACM Symposium on Principles of Programming Languages (POPL'95), 164-175
Vorobyov, Sergei1995Proceedings Article
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
Hoffmann, Jörg
[Gomes, Carla]
[Selman, Bart]
[Long, Derek]
[Smith, Stephen F.]
[Borrajo, Daniel]
[McCluskey, Lee]
2006Proceedings Article
Structuring Metatheory on Inductive Definitions
In: Information and Computation [162], 80-95
Matthews, Seán
[Basin, David A.]
2000Journal Article
Structuring metatheory on inductive definitions
In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), 171-185
Basin, David A.
Matthews, Seán
[McRobbie, M. A.]
[Slaney, J. K.]
1996Proceedings Article
Substitution Tree Indexing
In: Proceedings of the 6th International Conference on Rewriting Techniques and Applications (RTA-95), 117-131
Graf, PeterBundy, Alan1995Proceedings Article
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
Kazakov, Yevgeny
de Nivelle, Hans
[Calvanese, Diego]
[De Giacomo, Giuseppe]
[Franconi, Enrico]
2003Proceedings Article
Attachment IconSubtyping Functional+Nonempty Record Types
In: Proceedings of the 12th International Workshop on Computer Science Logic (CSL-98), Annual Conference on the EACSL, 285-297
Vorobyov, Sergei[Gottlob, Georg]
[Grandjean, Etienne]
[Seyr, Katrin]
1999Proceedings Article
Sudokus as Logical Puzzles
In: Proceedings of the Third Workshop on Disproving, 2-12
Hillenbrand, Thomas
Topic, Dalibor
Weidenbach, Christoph
[Ahrendt, Wolfgang]
Baumgartner, Peter
de Nivelle, Hans
2006Electronic Proceedings Article
Attachment IconSummaries for While Programs with RecursionPodelski, Andreas
Schaefer, Ina
Wagner, Silke
2004Report
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
Podelski, Andreas
Schaefer, Ina
Wagner, Silke
[Sagiv, Mooly]2005Proceedings Article
Superposition and Chaining for Totally Ordered Divisible Abelian Groups (Extended Abstract)
In: Automated reasoning : First International Joint Conference, IJCAR 2001, 226-241
Waldmann, Uwe[Goré, Rajeev]
[Leitsch, Alexander]
[Nipkow, Tobias]
2001Proceedings Article
Attachment IconSuperposition Extended with Sorts
Universität Kaiserslautern
Gaede, Bernd1995Thesis - Masters thesis
Superposition for Divisible Torsion-Free Abelian Groups
In: Proceedings of the 15th International Conference on Automated Deduction (CADE-98), 144-159
Waldmann, Uwe[Kirchner, Claude]
[Kirchner, Hélène]
1998Proceedings Article
Attachment IconSuperposition modulo a Shostak Theory
In: Automated Deduction, CADE-19 : 19th International Conference on Automated Deduction, 182-196
Ganzinger, Harald
Hillenbrand, Thomas
Waldmann, Uwe
[Baader, Franz]2003Proceedings Article
Superposition Theorem Proving for Abelian Groups Represented as Integer Modules
In: Rewriting Techniques and Applications, 7th International Conference, RTA-96, 33-47
Stuber, JürgenGanzinger, Harald1996Proceedings Article
Superposition theorem proving for abelian groups represented as integer modules
In: Theoretical Computer Science [208], 149-177
Stuber, Jürgen1998Journal Article
Attachment IconSuperposition Theorem Proving for Commutative Algebraic Theories
Universität des Saarlandes
Stuber, Jürgen1999Thesis - PhD thesis
Superposition theorem proving for commutative rings
In: Automated Deduction - A Basis for Applications. Volume III. Applications, 31-55
Stuber, Jürgen[Bibel, Wolfgang]
[Schmitt, Peter H.]
1998Part of a Book
Attachment IconSuperposition with Equivalence Reasoning and Delayed Clause Normal Form Transformation
In: Automated Deduction, CADE-19 : 19th International Conference on Automated Deduction, 335-349
Ganzinger, Harald
[Stuber, Jürgen]
Baader, Franz2003Proceedings Article
Superposition with equivalence reasoning and delayed clause normal form transformation
In: Information and Computation [199], 3-23
Ganzinger, Harald
[Stuber, Jürgen]
2005Journal Article
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
[Bachmair, Leo]
Ganzinger, Harald
Waldmann, Uwe
[Gottlob, Georg]
[Leitsch, Alexander]
[Mundici, Daniele]
1993Proceedings Article
Symbolic Arithmetical Reasoning with Qualified Number Restrictions
In: Proceedings of International Workshop on Description Logics'95, 89-95
Ohlbach, Hans Jürgen
Schmidt, Renate A.
Hustadt, Ullrich
[Borgida, A.]
[Lenzerini, M.]
[Nardi, D.]
[Nebel, B.]
1995Proceedings Article
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
Delzanno, Giorgio
[Raskin, Jean-François]
[Graf, Susann]
[Schwartzbach, Michael I.]
2000Proceedings Article
Attachment IconSymbolic Shape Analysis
Universität des Saarlandes
Wies, Thomas2004Thesis - Masters thesis
System Description: SPASS Version 1.0.0
In: Proceedings of the 16th International Conference on Automated Deduction (CADE-16), 314-318
Weidenbach, Christoph
Afshordel, Bijan
Brahm, Uwe
Cohrs, Christian
Engel, Thorsten
Keen, Enno
Theobalt, Christian
Topić, Dalibor
Ganzinger, Harald1999Proceedings Article
System J - Revision Entailment: Default Reasoning through Ranking Measure Updates
In: Practical Reasoning - International Conference on Formal and Applied Practical Reasoning, FAPR'96, 637-649
Weydert, Emil[Gabbay, Dov]
[Ohlbach, Hans Jürgen]
1996Proceedings Article
System JZ : How to build a canonical ranking model of a default knowledge base
In: Proceedings of the 6th International Conference on Principles of Knowledge Representation and Reasoning (KR-98), 190-201
Weydert, Emil[Cohn, Anthony G.]
[Schubert, Lenhart]
[Shapiro, Stuart C.]
1998Proceedings Article
Tableau Calculi for Hybrid Logics
In: Proceedings of the International Conference TABLEAUX'99 - Automated Reasoning with Analytic Tableaux and Related Methods, 278-292
Tzakova, Miroslava[Murray, Neil V.]1999Proceedings Article
Temporal Logic: Proceedings of the 1st International Conference on Temporal LogicGabbay, Dov M.
Ohlbach, Hans Jürgen
1994Proceedings
Term IndexingGraf, PeterCarbonell, J. G.
[Siekmann, J.]
1996Book
Term Indexing
Universität des Saarlandes
Graf, Peter1995Thesis - PhD thesis
Termersetzungssysteme
In: Deduktionssysteme -- Automatisierung des logischen Denkens, 126-149
[Eisinger, Norbert]
Nonnengart, Andreas
[Präcklein, Axel]
[Bläsius, K.H.]
[Bürckert, Hans-Jürgen]
1992Part of a Book
Termination Orderings for Rippling
In: Proceedings of the 12th International Conference On Automated Deduction (CADE-12), 466-483
Basin, David A.
[Walsh, Toby]
Bundy, Alan1994Proceedings Article
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
[Cook, Byron]
Podelski, Andreas
Rybalchenko, Andrey
2006Proceedings Article
Termination Proofs of Well-Moded Logic Programs Via Conditional Rewrite Systems
In: Proceedings of the 3rd International Workshop on Conditional Term Rewriting Systems '92, 430-437
Ganzinger, Harald
Waldmann, Uwe
Rusinowitch, M.
Rémy, J.-L.
1992Proceedings Article
Terminator: Beyond Safety
In: Computer aided verification : 18th International Conference, CAV 2006, 415-418
Cook, Byron
Podelski, Andreas
Rybalchenko, Andrey
[Ball, Thomas]
[Jones, Robert B.]
2006Proceedings Article
Terminological Logics and Conceptual Graphs: An Historical Perspective
In: KI-94 Workshops: Extended Abstracts, 135-136
Schmidt, Renate A.Kunze, Jürgen
Stoyan, Herbert
1994Proceedings Article
Terminological Representation, Natural Language \& Relation Algebra
In: GWAI-92: Advances in Artificial Intelligence: Proc.~16th German Workshop on Artificial Intelligence, 357-371
Schmidt, Renate A.Ohlbach, Hans Jürgen1993Proceedings Article
Attachment IconTesting the Satisfiability of RPO Constraints
Universität des Saarlandes
Timm, Jan-Georg1997Thesis - Masters thesis
The Boyer-Moore Prover and Nuprl: An Experimental Comparison
In: Logical Frameworks, 90-119
Basin, David A.
Kaufmann, Matt
Huet, Gérard
Plotkin, Gordon
1991Proceedings Article
The Complexity of Model Checking Mobile AmbientsCharatonik, Witold
[Dal Zilio, Silvano]
[Gordon, Andrew Donald]
Mukhopadhyay, Supratik
[Talbot, Jean-Marc]
2001Report
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
Charatonik, Witold
[Dal Zilio, Silvano]
[Gordon, Andrew Donald]
Mukhopadhyay, Supratik
Talbot, Jean-Marc
[Honsell, Furio]
[Miculan, Marino]
2001Proceedings Article
The Computational Value of Joint Consistency
In: Logics in Artificial Intelligence: Proceedings of the JELIA'94, 50-65
Dimopoulos, YannisMacNish, Craig
Pearce, David
Pereira, Luís Moniz
1994Proceedings Article
The Decidability of Model Checking Mobile Ambients
In: Computer science logic (CSL-01) : 15th International Workshop, CSL 2001, Annual Conference of the EACSL, 339-354
Charatonik, Witold
[Talbot, Jean-Marc]
Fribourg, Laurent2001Proceedings Article
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
[Degtyarev, Anatoli]
[Gurevich, Yuri]
[Narendran, Paliath]
Veanes, Margus
[Voronkov, Andrei]
[Nipkow, Tobias]1998Proceedings Article
The Deterministic Part of IPC-4: An Overview
In: Journal of Artificial Intelligence Research [24], 519 - 579
Hoffmann, Jörg2005Journal Article
The first-order theory of one step rewriting in linear noetherian systems is undecidable
In: Proceedings of the 8th International Conference on Rewriting Techniques and Applications (RTA-97), 254-268
Vorobyov, Sergei[Comon, Hubert]1997Proceedings Article
The ground-negative fragment of first-order logics is $\pi^p_2$-complete
In: The Journal of Symbolic Logic [64], 984-990
Voronkov, Andrei1999Journal Article
The Horn Mu-calculus
In: Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science (LICS-98), 58-69
Charatonik, Witold
[McAllester, David]
[Niwinski, Damian]
Podelski, Andreas
[Walukiewicz, Igor]
[Pratt, Vaughan]1998Proceedings Article
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
Charatonik, Witold
Podelski, Andreas
[Freuder, Eugene]1996Proceedings Article
The Integration of Functions into Logic Programming: From Theory to Practice
In: Journal of Logic Programming [19 & 20], 583-628
Hanus, Michael1994Journal Article
The lexicographic closure as a revision process
In: Journal of Applied Non-Classical Logics [11], 35-58
Booth, Richard2001Journal Article
Attachment IconThe lexicographic closure as a revision process
In: Proceedings of the 8th International Workshop on Non-Monotonic Reasoning (NMR 2000), ?
Booth, RichardBaral, C.
Truszczynski, M.
2000Electronic Proceedings Article
The Markgraf Karl Refutation Procedure
In: Computational Logic, Essays in Honor of Alan Robinson, 41-112
Ohlbach, Hans Jürgen
Siekmann, Jörg H.
Lassez, J. L.
Plotkin, Gordon
1991Proceedings Article
The Metric-FF Planning System: Translating ``Ignoring Delete Lists'' To Numeric State Variables
In: Journal of Artificial Intelligence Research [20], 51
Hoffmann, Jörg2003Journal Article
The Model Evolution Calculus with Equality
In: Automated deduction - CADE-20 : 20th International Conference on Automated Deduction, 392-408
Baumgartner, Peter
[Tinelli, Cesare]
[Nieuwenhuis, Robert]2005Proceedings Article
Attachment IconThe New WALDMEISTER Loop at Work
In: Automated deduction, CADE-19 : 19th International Conference on Automated Deduction, 317-321
[Gaillourdet, Jean-Marie]
Hillenbrand, Thomas
[Löchner, Bernd]
[Spies, Hendrik]
[Baader, Franz]2003Proceedings Article
Attachment IconThe Next WALDMEISTER Loop
In: Automated deduction, CADE-18 : 18th International Conference on Automated Deduction, 486-500
Hillenbrand, Thomas
[Löchner, Bernd]
[Voronkov, Andrei]2002Proceedings Article
Attachment IconThe Next WALDMEISTER Loop (Extended Abstract)
In: Proceedings of the Second International Workshop on the Implementation of Logics, IWIL 2001, 13-21
Hillenbrand, Thomas
[Löchner, Bernd]
de Nivelle, Hans
[Schulz, Stephan]
2001Proceedings Article
The Relation Between Second-Order Unification and Simultaneous Rigid E-Unification
In: Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science (LICS-98), 264-275
Veanes, MargusPratt, Vaughan1998Proceedings Article
The Saturate SystemGanzinger, Harald1994Unpublished/Draft
The Search Efficiency of Theorem Proving Strategies
In: Proceedings of the 12th International Conference on Automated Deduction (CADE-12), 57-71
Plaisted, David A.Bundy, Alan1994Proceedings Article
The temporal analysis of Chisholm's paradox
In: Proceedings of the 15th National Conference, and 10th Conference on Innovative Applications of Artificial Intelligence (AAAI-98) and (IAAI-98), 650-655
van der Torre, Leendert W. N.
[Tan, Yao-Hua]
1998Proceedings Article
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
Ganzinger, Harald
Meyer, Christoph
Veanes, Margus
[Longo, Giuseppe]1999Proceedings Article
The undecidability of the first-order theories of one step rewriting in linear canonical systems
In: Information and Computation [175], 182-213
Vorobyov, Sergei2002Journal Article
The $\exists \forall^2$ fragment of the First-Order Theory of Set Constraints is $\pi^0_1$-hard
In: Information Processing Letters [74], 27-33
Talbot, Jean-Marc2000Journal Article
The `hardest´ natural decidable theory
In: Proceedings of the Twelfth Annual IEEE Symposium on Logic in Computer Science (LICS-97), 294-305
Vorobyov, SergeiWinskel, Glynn1997Proceedings Article
Thema der Antrittsvorlesung: Alte Resultate aus der Automatentheorie
Universität des Saarlandes
Podelski, Andreas1998Thesis - Habilitation thesis
Thema der Antrittsvorlesung: Deklarative Programmierparadigmen und ihre Integration
Universität des Saarlandes
Hanus, Michael1994Thesis - Habilitation thesis
Thema der Antrittsvorlesung: MONA - Ein Werkzeug zur Systemverifikation und -entwicklung
Universität des Saarlandes
Basin, David A.1995Thesis - Habilitation thesis
Thema der Antrittsvorlesung: Transformation logischer Systeme
Universität des Saarlandes
Ohlbach, Hans Jürgen1993Thesis - Habilitation thesis
Theorem proving for hierarchic first-order theories
In: Algebraic and Logic Programming, 420-434
Bachmair, Leo
Ganzinger, Harald
Waldmann, Uwe
Kirchner, Hélène
Levi, G.
1992Proceedings Article
Theorem Proving in Cancellative Abelian Monoids (Extended Abstract)
In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), 388-402
Ganzinger, Harald
Waldmann, Uwe
McRobbie, Michael A.
Slaney, John K.
1996Proceedings Article
Theory Instantiation
In: 13th Conference on Logic for Programming Artificial Intelligence Reasoning (LPAR'06), 497-511
Ganzinger, Harald
[Korovin, Konstantin]
[Hermann, Miki]
[Voronkov, Andrei]
2006Proceedings Article
Theory Instantiation
In: Logic for Programming, Artificial Intelligence, and Reasoning : 13th International Conference, LPAR 2006, 497-511
Ganzinger, Harald
[Korovin, Konstantin]
[Hermann, Miki]
[Voronkov, Andrei]
2006Proceedings Article
Theory path orderings
In: Proceedings of the 10th International Conference on Rewriting Techniques and Applications (RTA-99), 148-162
Stuber, Jürgen[Narendran, Paliath]
[Rusinowitch, Michael]
1999Proceedings Article
Thoughts on Evolving Science and Belief
In: Proceedings of the Workshop "Scientific Reasoning in AI and Philosophy of Science" at the 14th European Conference on Artificial Intelligence (ECAI-00), 62-69
Weydert, Emil2000Proceedings Article
Attachment IconThread-Modular Verification and Cartesian AbstractionMalkis, Alexander
Podelski, Andreas
Rybalchenko, Andrey
[Gopalakrishnan, Ganesh]
[O'Leary, John]
2006Unpublished/Draft
Thread-Modular Verification is Cartesian Abstract Interpretation
In: Theoretical Aspects of Computing - ICTAC 2006 : Third International Colloquium, 183-197
Malkis, Alexander
Podelski, Andreas
Rybalchenko, Andrey
[Barkaoui, Kamel]
[Cavalcanti, Ana]
[Cerone, Antonio]
2006Proceedings Article
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
[Göbel, Manfred]
Maier, Patrick
[Ganzha, Victor G.]
[Mayr, Ernst W.]
[Vorozhtsov, Evgenii V.]
2000Proceedings Article
Tools and algorithms for the construction and analysis of systems
In: International Journal on Software Tools for Technology Transfer [8], 177-179
[Jensen, Kurt]
Podelski, Andreas
2006Journal Article
Tools and algorithms for the construction and analysis of systems : 10th International Conference, TACAS 2004 ; held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004[Jensen, Kurt]
Podelski, Andreas
2004Proceedings
Towards a formal analysis of control systems
In: Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98), 317-318
[Firozabadhi, Babak Sadighi]
van der Torre, Leendert W. N.
Prade, Henri1998Proceedings Article
Towards an Automatic Analysis of Security Protocols in First-Order Logic
In: Proceedings of the 16th International Conference on Automated Deduction (CADE-16), 378-382
Weidenbach, ChristophGanzinger, Harald1999Proceedings Article
Towards Automating Duality
In: Journal of Computers and Mathematics with Applications [29], 73-90
[Brink, Chris]
Gabbay, Dov M.
Ohlbach, Hans Jürgen
1994Journal Article
Towards the Global Optimization of Functional Logic Programs
In: Proc.~Workshop on Global Compilation, International Logic
Programming Symposium, 83-97
Hanus, Michael1993Proceedings Article
Towards the MEDLAR Framework
In: ESPRIT '91 Conference Proceedings, 822-841
Cunningham, J.
Gabbay, Dov M.
Ohlbach, Hans Jürgen
1991Proceedings Article
Transformation in dichten Wäldern
Universität des Saarlandes
Reinold, Michael1991Thesis - Masters thesis
Attachment IconTransformations of First-Order Formulae for Automated Reasoning
Universität des Saarlandes
Rock, Georg1995Thesis - Masters thesis
Transition Invariants
In: Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, LICS 2004, 32-41
Podelski, Andreas
Rybalchenko, Andrey
2004Proceedings Article
Transition Predicate Abstraction and Fair Termination
In: ACM Transactions on Programming Languages and Systems [29], 30
Podelski, Andreas
Rybalchenko, Andrey
2007Journal Article
Transition predicate abstraction and fair termination
In: Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005, 124-139
Podelski, Andreas
Rybalchenko, Andrey
[Palsberg, Jens]
[Abadi, Martín]
2005Proceedings Article
Translating Graded Modalities into Predicate Logic
In: Proof Theory of Modal Logic, 253-291
Ohlbach, Hans Jürgen
Schmidt, Renate A.
Hustadt, Ullrich
[Wansing, H.]1996Part of a Book
Translation Methods for Non-Classical Logics: An Overview
In: Bulletin of the Interest Group in Propositional and Predicate Logics (IGPL) [1], 69-90
Ohlbach, Hans Jürgen1993Journal Article
Translation of Resolution Proofs into Short First-Order Proofs without Choice Axioms
In: Automated deduction, CADE-19 : 19th International Conference on Automated Deduction, 365-379
de Nivelle, Hans[Baader, Franz]2003Proceedings Article
Translation of Resolution Proofs into Short First-Order Proofs without Choice Axioms
In: Information and Computation [199], 24-54
de Nivelle, Hans2005Journal Article
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
[Lang, Jérôme]
van der Torre, Leendert W. N.
Weydert, Emil
Parsons, Simon
Gmytrasiewicz, Piotr
2001Proceedings Article
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
Schmidt, Renate A.
Orłowska, Ewa
[Hustadt, Ullrich]
[Berghammer, Rudolf]
[Möller, Bernhard]
[Struth, Georg]
2004Proceedings Article
Attachment IconÜber die Stabilität parameterisierter algebraischer Spezifikationen
Universität Dortmund
Baumeister, Hubert1990Thesis - Masters thesis
Unification-free Execution of Well-moded Prolog Programs
In: Proc. of International Static Analysis Symposium, 243-260
Krishna Rao, M. R. K.
Shyamasundar, R. K.
Mycroft, Alan1995Proceedings Article
Unification in Extensions of Shallow Equational Theories
In: Proceedings of the 9th International Conference on Rewriting Techniques and Applications (RTA-98), 76-90
[Jacquemard, Florent]
Meyer, Christoph
Weidenbach, Christoph
[Nipkow, Tobias]1998Proceedings Article
Unification in Order-Sorted Logic with Term Declarations
In: Proceedings of the 4th Conference on Logic Programming and Automated Reasoning (LPAR-93), 301-308
Socher-Ambrosius, RolfVoronkov, Andrei1993Proceedings Article
Unification in Pseudo-Linear Sort Theories is Decidable
In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), 343-357
Weidenbach, Christoph[McRobbie, M. A.]
[Slaney, J. K.]
1996Proceedings Article
Unification in Sort Theories
In: Proceedings of the 10th International Workshop on Unification, UNIF'96, 16-25
Weidenbach, Christoph[Schulz, Klaus U.]
[Kepser, Stephan]
1996Proceedings Article
Unification in Sort Theories and its Applications
In: Annals of Mathematics and Artificial Intelligence [18], 261-293
Weidenbach, Christoph1996Journal Article
Unification Using Dynamic Sorts
Universität des Saarlandes
Graf, Peter1992Thesis - Masters thesis
Unifying Initial and Loose Semantics of Parameterized Specifications in an Arbitrary Institution
In: Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT '91), 103-120
Baumeister, HubertAbramsky, S.
Maibaum, T. S. E.
1991Proceedings Article
Universal variables in disconnection tableaux
In: Automated reasoning with analytical tableaux and related methods : International Conference, TABLEAUX 2003, 117-133
[Letz, Reinhold]
Stenz, Gernot
[Cialdea Mayer, Marta]
[Pirri, Fiora]
2003Proceedings Article
Untersuchung nicht-monotoner Logiken - Fallstudie zur Automatisierung
Universität des Saarlandes
Schlobach, Stefan1996Thesis - Masters thesis
Use of replace rules in theorem proving
In: Methods of Logic in Computer Science [1], 217-240
[Lee, Shie-Jue]
Plaisted, David A.
1994Journal Article
Using BPEL processes defined by Event-driven Process Chains
In: 5. GI-Workshop "EPK 2006 - Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten", 121-135
[Simon, Carlo]
Freiheit, Jörn
[Olbrich, Sebastian]
[Nüttgens, Markus]
[Rump, Frank J.]
[Mendling, Jan]
2006Proceedings Article
Using Strong Cutting Planes in Constraint Logic Programming (Extended Abstract)
In: Operations Research '93, 18th Symposium on Operations Research, 47-49
Bockmayr, AlexanderBachem, A.
et al.
1994Proceedings Article
Utilitarian Desires
In: Autonomous Agents and Multi-Agent Systems [5], 329-363
[Lang, Jérôme]
[van der Torre, Leendert W. N.]
Weydert, Emil
2002Journal Article
Utilizing Problem Structure in Planning: A Local Search ApproachHoffmann, Jörg2003Book
Verification-Integrated Falsification of Non-Deterministic Hybrid Systems
In: 2nd IFAC Conference on Analysis and Design of Hybrid Systems, ?
Ratschan, Stefan
[Smaus, Jan-Georg]
[Cassandras, Christos]
[Giua, Alessandro]
[Seatzu, Carla]
[Zaytoon, Janan]
2006Proceedings Article
Verification of an Off-Line Checker for Priority Queues
In: Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 210-219
de Nivelle, Hans
Piskac, Ruzica
Aichernig, Bernhard K.
Beckert, Bernhard
2005Proceedings Article
Verification of Cryptographic Protocols: Tagging Enforces Termination
In: Foundations of software science and computation structures : 6th International Conference, FOSSACS 2003, 136-152
Blanchet, Bruno
Podelski, Andreas
[Gordon, Andrew D.]2003Proceedings Article
Verification of Cryptographic Protocols: Tagging Enforces Termination
In: Theoretical Computer Science [333], 67-90
Blanchet, Bruno
Podelski, Andreas
2005Journal Article
Well-Behaved Inference Rules for First-Order Theorem Proving
In: Journal of Automated Reasoning [21], 381-400
Wu, Jinzhao
[Liu, Zhuojun]
1998Journal Article
Where Ignoring Delete Lists Works: Local Search Topology in Planning Benchmarks
In: Journal of Artificial Intelligence Research [24], 685-758
Hoffmann, Jörg2005Journal Article
Wiedemann-Algorithmus zur Lösung dünnbesetzter Gleichungssysteme über Fp
Universität des Saarlandes
Klotzki, Pia1995Thesis - Masters thesis
Workshop CPL Computational Propositional Logic
In: KI-95 Activities: Workshops, Posters, Demos, 71-72
Barth, Peter
[Kleine Büning, Hans]
Weidenbach, Christoph
Dreschler-Fischer, Leonie
Pribbenow, Simone
1995Proceedings Article
$\forall\exists^5$-equational theory of context unification is undecidable
In: Theoretical Computer Science [275], 463-479
Vorobyov, Sergei2002Journal Article
Attachment Icon$\forall\exists^\ast$-Equational Theory of Context Unification is $\Pi_1^0$-Hard
In: Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science (MFCS-98), 597-606
Vorobyov, SergeiBrim, Lubos
Gruska, Jozef
Zlatuska, Jirí
1998Proceedings Article

Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)