## Logic for Programming, Artificial Intelligence, and Reasoning: 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, ProceedingsThisvolumecontainsthepaperspresentedattheTenthInternationalConference 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 MachineVeriﬁed 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 Inﬁnite Words | 289 |

without the Equality Test | 290 |

Accelerating Proof Search for ZeroOne Linear Constraint Systems | 302 |

Problems on Stratiﬁed 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 Deﬁnability 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 |

437 | |

### Other editions - View all

Logic for Programming, Artificial Intelligence, and Reasoning: 10th ... Moshe Vardi,Andrei Voronkov No preview available - 2014 |

### Common terms and phrases

abstract ACL2 ACUD algebra algorithm application argument ﬁlterings Artiﬁcial Intelligence atoms automata automatic structures automaton axioms calculus clash-free complete Computer Science concept descriptions condition consider constant constraints construction contains define deﬁned Deﬁnition denote dependency pairs derivation description graphs description logics diﬀerent eﬀects equational proof example exists ExpTime ﬁrst first-order first-order logic formal formula given Hence iﬀ induction inference rule inﬁnite input label language Lemma linear linear logic literals logic programs LPAR modal logic modulo monoidal morphism multiset node obtained occurrence one-way p-complete path games predicate preferred answer set probabilistic problem Proc procedure proof nets properties Proposition prove recursive relation restrictions result S-tree satisﬁability Section semantics sequent sequent calculus step clauses strict subproof subset tableau system termination Theorem theory tuple Variable Elimination variables veriﬁcation well-founded relation winning strategy