12. LPAR 2005:
Montego Bay,
Jamaica
Geoff Sutcliffe, Andrei Voronkov (Eds.):
Logic for Programming, Artificial Intelligence, and Reasoning, 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings.
Lecture Notes in Computer Science 3835 Springer 2005, ISBN 3-540-30553-X BibTeX
- Allen Van Gelder:
Independently Checkable Proofs from Decision Procedures: Issues and Progress.
1
Electronic Edition (link) BibTeX
- Thomas Ball, Shuvendu K. Lahiri, Madanlal Musuvathi:
Zap: Automated Theorem Proving for Software Analysis.
2-22
Electronic Edition (link) BibTeX
- Robert Nieuwenhuis, Albert Oliveras:
Decision Procedures for SAT, SAT Modulo Theories and Beyond. The BarcelogicTools.
23-46
Electronic Edition (link) BibTeX
- Douglas B. Lenat:
Scaling Up: Computers vs. Common Sense.
47-47
Electronic Edition (link) BibTeX
- Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli:
A New Constraint Solver for 3D Lattices and Its Application to the Protein Folding Problem.
48-63
Electronic Edition (link) BibTeX
- Matthias M. Hölzl, John N. Crossley:
Disjunctive Constraint Lambda Calculi.
64-78
Electronic Edition (link) BibTeX
- Yao Wu, Enrico Pontelli, Desh Ranjan:
Computational Issues in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees.
79-94
Electronic Edition (link) BibTeX
- Christian Anger, Martin Gebser, Thomas Linke, André Neumann, Torsten Schaub:
The nomore++ Approach to Answer Set Solving.
95-109
Electronic Edition (link) BibTeX
- Gopalan Nadathur, Xiaochu Qi:
Optimizing the Runtime Processing of Types in Polymorphic Logic Programming Languages.
110-124
Electronic Edition (link) BibTeX
- Nachum Dershowitz:
The Four Sons of Penrose.
125-138
Electronic Edition (link) BibTeX
- Angelo Montanari, Alberto Policriti, Nicola Vitacolonna:
An Algorithmic Account of Ehrenfeucht Games on Labeled Successor Structures.
139-153
Electronic Edition (link) BibTeX
- Bernhard Beckert, Kerry Trentelman:
Second-Order Principles in Specification Languages for Object-Oriented Programs.
154-168
Electronic Edition (link) BibTeX
- Daniel J. Dougherty, Silvia Ghilezan, Pierre Lescanne, Silvia Likavec:
Strong Normalization of the Dual Classical Sequent Calculus.
169-183
Electronic Edition (link) BibTeX
- Salvador Lucas, José Meseguer:
Termination of Fair Computations in Term Rewriting.
184-198
Electronic Edition (link) BibTeX
- Jeroen Ketema, Jakob Grue Simonsen:
On Confluence of Infinitary Combinatory Reduction Systems.
199-214
Electronic Edition (link) BibTeX
- Temur Kutsia, Mircea Marin:
Matching with Regular Constraints.
215-229
Electronic Edition (link) BibTeX
- Mirtha-Lina Fernández, Guillem Godoy, Albert Rubio:
Recursive Path Orderings Can Also Be Incremental.
230-245
Electronic Edition (link) BibTeX
- Marc Bezem, Thierry Coquand:
Automating Coherent Logic.
246-260
Electronic Edition (link) BibTeX
- Florina Piroi, Temur Kutsia:
The Theorema Environment for Interactive Proof Development.
261-275
Electronic Edition (link) BibTeX
- Magnus Björk:
A First Order Extension of Stålmarck's Method.
276-291
Electronic Edition (link) BibTeX
- Vladimir Aleksic, Anatoli Degtyarev:
Regular Derivations in Basic Superposition-Based Calculi.
292-306
Electronic Edition (link) BibTeX
- Wieslaw Szwast, Lidia Tendera:
On the Finite Satisfiability Problem for the Guarded Fragment with Transitivity.
307-321
Electronic Edition (link) BibTeX
- Chao Wang, Franjo Ivancic, Malay K. Ganai, Aarti Gupta:
Deciding Separation Logic Formulae by SAT and Incremental Negative Cycle Elimination.
322-336
Electronic Edition (link) BibTeX
- Hitoshi Ohsaki, Jean-Marc Talbot, Sophie Tison, Yves Roos:
Monotone AC-Tree Automata.
337-351
Electronic Edition (link) BibTeX
- Elaine Pimentel, Dale Miller:
On the Specification of Sequent Systems.
352-366
Electronic Edition (link) BibTeX
- Amine Chaieb, Tobias Nipkow:
Verifying and Reflecting Quantifier Elimination for Presburger Arithmetic.
367-380
Electronic Edition (link) BibTeX
- Matthias Daum, Stefan Maus, Norbert Schirmer, M. Nassim Seghir:
Integration of a Software Model Checker into Isabelle.
381-395
Electronic Edition (link) BibTeX
- Deian Tabakov, Moshe Y. Vardi:
Experimental Evaluation of Classical Automata Constructions.
396-411
Electronic Edition (link) BibTeX
- Wolfgang Ahrendt, Andreas Roth, Ralf Sasse:
Automatic Validation of Transformation Rules for Java Verification Against a Rewriting Semantics.
412-426
Electronic Edition (link) BibTeX
- Christoph Walther, Stephan Schweitzer:
Reasoning About Incompletely Defined Programs.
427-442
Electronic Edition (link) BibTeX
- Calvin Kai Fan Tang, Eugenia Ternovska:
Model Checking Abstract State Machines with Answer Set Programming.
443-458
Electronic Edition (link) BibTeX
- Didier Galmiche, Daniel Méry:
Characterizing Provability in .
459-473
Electronic Edition (link) BibTeX
- Harvey Tuch, Gerwin Klein:
A Unified Memory Model for Pointers.
474-488
Electronic Edition (link) BibTeX
- Andrea Ferrara, Guoqiang Pan, Moshe Y. Vardi:
Treewidth in Verification: Local vs. Global.
489-503
Electronic Edition (link) BibTeX
- Laura Bozzelli, Aniello Murano, Adriano Peron:
Pushdown Module Checking.
504-518
Electronic Edition (link) BibTeX
- Jianjun Duan, Joe Hurd, Guodong Li, Scott Owens, Konrad Slind, Junxing Zhang:
Functional Correctness Proofs of Encryption Algorithms.
519-533
Electronic Edition (link) BibTeX
- Annabelle McIver, Tjark Weber:
Towards Automated Proof Support for Probabilistic Distributed Systems.
534-548
Electronic Edition (link) BibTeX
- David A. Basin, Sebastian Mödersheim, Luca Viganò:
Algebraic Intruder Deductions.
549-564
Electronic Edition (link) BibTeX
- Maarten Mariën, Rudradeb Mitra, Marc Denecker, Maurice Bruynooghe:
Satisfiability Checking for PC(ID).
565-579
Electronic Edition (link) BibTeX
- Allen Van Gelder:
Pool Resolution and Its Relation to Regular Resolution and DPLL with Clause Learning.
580-594
Electronic Edition (link) BibTeX
- Haiou Shen, Hantao Zhang:
Another Complete Local Search Method for SAT.
595-605
Electronic Edition (link) BibTeX
- Sylvie Coste-Marquis, Caroline Devred, Pierre Marquis:
Inference from Controversial Arguments.
606-620
Electronic Edition (link) BibTeX
- Mehdi Dastani, Guido Governatori, Antonino Rotolo, Leendert W. N. van der Torre:
Programming Cognitive Agents in Defeasible Logic.
621-636
Electronic Edition (link) BibTeX
- Jürgen Dix, Wolfgang Faber, V. S. Subrahmanian:
The Relationship Between Reasoning About Privacy and Default Logics.
637-650
Electronic Edition (link) BibTeX
- Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev:
Comparative Similarity, Tree Automata, and Diophantine Equations.
651-665
Electronic Edition (link) BibTeX
- Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Analytic Tableaux for KLM Preferential and Cumulative Logics.
666-681
Electronic Edition (link) BibTeX
- Dominique Larchey-Wendling:
Bounding Resource Consumption with Gödel-Dummett Logics.
682-696
Electronic Edition (link) BibTeX
- Matthias Baaz, Rosalie Iemhoff:
On Interpolation in Existence Logics.
697-711
Electronic Edition (link) BibTeX
- Henning Christiansen, Davide Martinenghi:
Incremental Integrity Checking: Limitations and Possibilities.
712-727
Electronic Edition (link) BibTeX
- Carsten Fritz:
Concepts of Automata Construction from LTL.
728-742
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:29:00 2009
by Michael Ley (ley@uni-trier.de)
