Logic for programming and automated reasoning : 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999 : proceedings /
| Corporate Authors: | , |
|---|---|
| Other Authors: | , , |
| Format: | Conference Proceeding eBook |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
[1999]
|
| Series: | Lecture notes in computer science ;
1705. Lecture notes in computer science. Lecture notes in artificial intelligence. |
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Table of Contents:
- Proofs About Lists Using Ellipsis / Alan Bundy and Julian Richardson
- On the Complexity of Counting the Hilbert Basis of a Linear Diophantine System / Miki Hermann, Laurent Juban and Phokion G. Kolaitis
- Solving Combinatorial Problems with Regular Local Search Algorithms / Ramon Bejar and Felip Manya
- Evidence Algorithm and Sequent Logical Inference Search / Anatoli I. Degtyarev, Alexander V. Lyaletski and Marina K. Morokhovets
- First Order Linear Temporal Logic over Finite Time Structures / Serenella Cerrito, Marta Cialdea Mayer and Sebastien Praud
- Model Checking Games for the Alternation-Free [mu]-Calculus and Alternating Automata / Martin Leucker
- Animating TLA Specifications / Yassine Mokhtari and Stephan Merz
- Transforming Conditional Rewrite Systems with Extra Variables into Unconditional Systems / Enno Ohlebusch
- Cancellative Superposition Decides the Theory of Divisible Torsion-Free Abelian Groups / Uwe Waldmann
- Regular Sets of Descendants for Constructor-Based Rewrite Systems / Pierre Rety
- Practical Reasoning for Expressive Description Logics / Ian Horrocks, Ulrike Sattler and Stephan Tobies
- Complexity of Terminological Reasoning Revisited / Carsten Lutz
- On the Complexity of Single-Rule Datalog Queries / Georg Gottlob and Christos Papadimitriou
- Abstracting Properties in Concurrent Constraint Programming / Rene Moreno
- A Fixpoint Semantics for Reasoning About Finite Failure / Roberta Gori
- Extensions to the Estimation Calculus / Jeremy Gow, Alan Bundy and Ian Green
- Beth Definability for the Guarded Fragment / Eva Hoogland, Maarten Marz and Martin Otto
- Simplification of Horn Clauses That Are Clausal Forms of Guarded Formulas / Michael Dierkes
- Resource Management in Linear Logic Proof Search Revisited / Pablo Lopez and Ernesto Pimentel
- Focusing and Proof-Nets in Linear and Non-commutative Logic / Jean-Marc Andreoli and Roberto Maieli
- CHAT Is [theta](SLG-WAM) / Bart Demoen and Kanstantinos Sagonas.
- Proving Failure of Queries for Definite Logic Programs Using XSB-Prolog / Nikolay Pelov and Maurice Bruynooghe
- A Partial Evaluation Framework for Curry Programs / Elvira Albert, Maria Alpuente and Michael Hanus / [et al.].