Logic for Programming, Artificial Intelligence, and Reasoning: 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings

Front Cover
Moshe Vardi, Andrei Voronkov
Springer Science & Business Media, Sep 12, 2003 - Computers - 436 pages
ThisvolumecontainsthepaperspresentedattheTenthInternationalConference on Logic for Programming, Arti?cial Intelligence, and Reasoning (LPAR 2003), heldonSeptember22-26,2003, inAlmaty, Kazakhstan, togetherwiththeFourth International Workshop on Implementation of Logics. There were 65 submissions, of which 8 belonged to the special submission category of experimental papers, intended to describe implementations or c- parisons of systems, or experiments with systems. Each submission was reviewed by at least three program committee members and an electronic program c- mitteemeetingwasheldviatheInternet.Weareverygratefultothe32program committee members for their e?orts and for the quality of their reviews and d- cussions. Finally, the committee decided to accept 27 papers. The program also included ?ve invited talks, by Franz Baader, Serikzhan Badaev, Dexter Kozen, Sergei Goncharov, and Thomas Wilke. Apart from the program committee, we would also like to thank the other people who have made LPAR 2003 possible: the external reviewers and the local organizers Serikzhan Badaev and Anna Romina. The Internet-based submission software and the program-committee disc- sion software were provided by the second co-chair.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

for Description Logics
1
Disproving False Conjectures
33
A Formal Proof of Dicksons Lemma in ACL2
49
in Coinductive Type Theories
59
Congruence Closure with Integer Offsets
78
A MachineVerified Code Generator
91
the Constructive Content of Classical Theories
107
to Description Logics with Transitive Roles
122
Ordered Diagnosis
244
in Answer Set Programming
259
about Actions and Events
274
Minimizing Automata on Infinite Words
289
without the Equality Test
290
Accelerating Proof Search for ZeroOne Linear Constraint Systems
302
Problems on Stratified Terms
317
Is Cantors Theorem Automatic?
332

of Certain Topological Properties of Set Spaces
137
for Fusion Decidability in Modal Logics
152
Improving Dependency Pairs
167
of Equational Tree Automata for Theories Extending AC
183
with Eager Variable Elimination
198
Computable Numberings
213
Handling Equality in Monodic Temporal Resolution
214
Determinacy Definability and Complexity of Path Games
229
Automatic Structures of Bounded Degree
346
to LTL Model Checking of Probabilistic Systems
361
with Probabilities
376
for First Order Linear Logic
389
Strict Geometry of Interaction Graph Models
407
in Noncommutative Logic
422
Author Index
437
Copyright

Other editions - View all

Common terms and phrases

Bibliographic information