Logic for Programming, Artificial Intelligence, and Reasoning : 16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised Selected Papers

by Clarke, Edmund M.; Voronkov, Andrei

• ISBN13: 9783642175107
• ISBN10: 3642175104
• Edition: 1st
• Format: Paperback
• Copyright: 2011-03-09
• Publisher: Springer-Verlag New York Inc

Summary

This book constitutes the thoroughly refereed post-conference proceedings of the 16th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2010, whichtook place in Dakar, Senegal, in April/May 2010.The 27 revised full papers and 9 revised short papers presented together with 1 invited talk were carefully revised and selected from 47 submissions. The papers address all current issues in automated reasoning, computational logic, programming languages and deal with logic programming, logic-based program manipulation, formal methods, and various kinds of AI logics. Subjects covered range from theoretical aspects to various applications such as automata, linear arithmetic, verification, knowledge representation, proof theory, quantified constraints, as well as modal and temporal logics.

Table of Contents

The TPTP World - Infrastructure for Automated Reasoning	p. 1
Speed-Up Techniques for Negation in Grounding	p. 13
Constraint-Based Abstract Semantics for Temporal Logic: A Direct Approach to Design and Implementation	p. 27
On the Equality of Probabilistic Terms	p. 46
Program Logics for Homogeneous Meta-programming	p. 64
Verifying Pointer and String Analyses with Region Type Systems	p. 82
ABC: Algebraic Bound Computation for Loops	p. 103
Hardness of Preorder Checking for Basic Formalisms	p. 119
A Quasipolynomial Cut-Elimination Procedure in Deep Inference via Atomic Flows and Threshold Formulae	p. 136
Pairwise Cardinality Networks	p. 154
Logic and Computation in a Lambda Calculus with Intersection and Union Types	p. 173
Graded Alternating-Time Temporal Logic	p. 192
Non-oblivious Strategy Improvement	p. 212
A Simple Class of Kripke-Style Models in Which Logic and Computation Have Equal Standing	p. 231
Label-Free Proof Systems for Intuitionistic Modal Logic IS5	p. 255
An Intuitionistic Epistemic Logic for Sequential Consistency on Shared Memory	p. 272
Disunification for Ultimately Periodic Interpretations	p. 290
Synthesis of Trigger Properties	p. 312
Semiring-Induced Propositional Logic: Definition and Basic Algorithms	p. 332
Dafny: An Automatic Program Verifier for Functional Correctness	p. 348
Relentful Strategic Reasoning in Alternating-Time Temporal Logic	p. 371
Counting and Enumeration Problems with Bounded Treewidth	p. 387
The Nullness Analyser of Julia	p. 405
Qex: Symbolic SQL Query Explorer	p. 425
Automated Proof Compression by Invention of New Definitions	p. 447
Atomic Cut Introduction by Resolution: Proof Structuring and Compression	p. 463
Satisfiability of Non-linear (Ir)rational Arithmetic	p. 481
Coping with Selfish On-Going Behaviors	p. 501
Author Index	p. 517
Table of Contents provided by Ingram. All Rights Reserved.