Logic for Programming, Artificial Intelligence, and Reasoning编程、人工智能与推理用逻辑学

出版时间：2006-1  出版社：湖北辞书出版社  作者：Geoff Sutcliffe  页数：742  

内容概要

This book constitutes the refereed proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2005, held in Montego Bay, Jamaica in December 2005.　　The 46 revised full papers presented together with abstracts of 3 invited talks were carefully reviewed and selected from 108 full paper submissions. The papers address all current issues in logic programming, logic-based program manipulation, formal method, automated reasoning, and various kinds of AI logics.

书籍目录

Independently Checkable Proofs from Decision Procedures: Issues and ProgressZap: Automated Theorem Proving for Software AnalysisDecision Procedures for SAT, SAT Modulo Theories and Beyond The BarcelogicToolsScaling Up: Computers vs. Common SenseA New Constraint Solver for 3D Lattices and Its Application to the Protein Folding ProblemDisjunctive Constraint Lambda CalculiComputational Issues in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search TreesThe nomore++ Approach to Answer Set SolvingOptimizing the Runtime Processing of Types in Polymorphic Logic Programming LanguagesThe Four Sons of PenroseAn Algorithmic Account of Ehrenfeucht Games on Labeled Successor StructuresSecond-Order Principles in Specification Languages for Object-Oriented ProgramsStrong Normalization of the Dual Classical Sequent CalculusTermination of Fair Computations in Term RewritingConfluence of Infinitary Combinatory Reduction SystemsMatching with Regular ConstraintsRecursive Path Orderings Can Also Be IncrementalAutomating Coherent LogicThe Theorema Environment for Interactive Proof DevelopmentA First Order Extension of Stmarck's MethodRegular Derivations in BasicSuperposition-Based CalculiOn the Finite Satisfiability Problem for the Guarded Fragment withTransitivityDeciding Separation Logic Formulae by SAT and Incremental NegativeCycle EliminationMonotone AC-Tree AutomataOn the Specification of Sequent Systems……Author Index