最 低 价：￥701.70
| Computational Logic: Logic Programming and Beyond Together with its companion volume, LNAI 2407, this book commemorates the 6oth birthday of Bob Kowalski, one of the founders of and major contributors to computational logic. This volume spans the whole field of computational logic seen from the point of view of logic programming. The topics addressed range from issues concerning the development of programming languages in logic and the application of computational logic to real-life problems, to philosophical studies of the field at the other end of the spectrum. The articles presented cover the contribution of computational logic to databases and artificial intelligence with particular emphasis on automated reasoning, reasoning about actions and change, natural language, and learning. |
| VI Logic in Databases and Information Integration MuTACLP: A Language for Temporal Reasoning with Multiple Theories Description Logics for Information Integration Search and Optimization Problems in Datalog The Declarative Side of Magic Key Constraints and Monotonic Aggregates in Deductive Databases VII Automated Reasoning A Decidable CLDS for Some Propositional Resource Logics A Critique of Proof Planning A Model Generation Based Theorem Prover MGTP for First-Order Logic A 'Theory' Mechanism for a Proof-Verifier Based on First-Order Set Theory An Open Research Problem: Strong Completeness of R. Kowalski's Connection Graph Proof Procedure VIII Non-deductive Reasoning .: Meta-reasoning: A Survey Argumentation-Based Proof Procedures for Credulous and Sceptical Non-monotonic Reasoning Automated Abduction The Role of Logic in Computational Models of Legal Argument: A Critical Survey IX Logic for Action and Change Logic Programming Updating - A Guided Approach Representing Knowledge in A-Prolog Some Alternative Formulations of the Event Calculus X Logic, Language, and Learning On Implicit Meanings Data Mining as Constraint Logic Programming DCGs: Parsing as Deduction? Statistical Abduction with Tabulation XI Computational Logic and Philosophy Logicism and the Development of Computer Science Simply the Best: A Case for Abduction Author Index |
内容加载中，请稍后...
商品评论（0条）