Computational Logic: Logic Programming and Beyond: Essays in Honour of Robert A. Kowalski, Part I

This book discusses Logic in Databases and Information Integration, non-deductive Reasoning, and Argumentation-Based Proof Procedures for Credulous and Sceptical Non-monotonic Reasoning.

Abstract

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.- 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.- 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.- Logic for Action and Change.- Logic Programming Updating - A Guided Approach.- Representing Knowledge in A-Prolog.- Some Alternative Formulations of the Event Calculus.- Logic, Language, and Learning.- Issues in Learning Language in Logic.- On Implicit Meanings.- Data Mining as Constraint Logic Programming.- DCGs: Parsing as Deduction?.- Statistical Abduction with Tabulation.- Computational Logic and Philosophy.- Logicism and the Development of Computer Science.- Simply the Best: A Case for Abduction.