Vor Ort
Merkzettel Warenkorb
Produktbild: Computational Logic: Logic Programming and Beyond
Band 2408

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

Aus der Reihe Lecture Notes in Artificial Intelligence

129,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

12.07.2002

Abbildungen

XII, 628 p.

Herausgeber

Antonis C. Kakas + weitere

Verlag

Springer Berlin

Seitenzahl

628

Maße (B/H)

15,5/23,5 cm

Gewicht

999 g

Sprache

Englisch

ISBN

978-3-540-43960-8

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

12.07.2002

Abbildungen

XII, 628 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

628

Maße (B/H)

15,5/23,5 cm

Gewicht

999 g

Sprache

Englisch

ISBN

978-3-540-43960-8

Herstelleradresse

Springer-Verlag GmbH
Heidelberger Platz 3
14197 Berlin
Deutschland
Email: sdc-bookservice@springer.com
Url: www.springer.com
Telephone: +49 30 827870
Fax: +49 30 8214091

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Computational Logic: Logic Programming and Beyond
  • 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.