KI-Beratung Beta
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

126,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

Ein neues Kapitel für Ihre Bücher

Ein neues Kapitel für Ihre Bücher

Schenken Sie Ihren alten Schätzen ein zweites Leben und erhalten Sie dafür eine Thalia Geschenkkarte.

Jetzt verkaufen
Jetzt verkaufen

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.