Logics in Artificial Intelligence - neues Buch

EAN (ISBN-13): 9783540396277
Erscheinungsjahr: 2006
Herausgeber: Springer Berlin Heidelberg

Buch in der Datenbank seit 2017-04-19T00:42:47+02:00 (Vienna)
Detailseite zuletzt geändert am 2022-05-04T21:21:05+02:00 (Vienna)
ISBN/EAN: 9783540396277

ISBN - alternative Schreibweisen:
978-3-540-39627-7
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: van der, michael fisher
Titel des Buches: liverpool

---

Daten vom Verlag:

Autor/in: Michael Fisher; Wiebe van der Hoek; Boris Konev; Alexei Lisitsa
Titel: Lecture Notes in Artificial Intelligence; Lecture Notes in Computer Science; Logics in Artificial Intelligence - 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings
Verlag: Springer; Springer Berlin
520 Seiten
Erscheinungsjahr: 2006-09-14
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
XII, 520 p.

EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Künstliche Intelligenz; Verstehen; Artificial intelligence; Automat; automated reasoning; description logics; intelligence; learning; logic; machine learning; nonmonotonic reasoning; programming; C; Artificial Intelligence; Programming Techniques; Mathematical Logic and Formal Languages; Artificial Intelligence; Programming Techniques; Formal Languages and Automata Theory; Computer Science; Computerprogrammierung und Softwareentwicklung; Theoretische Informatik; BC

Invited Talks.- From Inductive Logic Programming to Relational Data Mining.- Answer Set Programming: A Declarative Approach to Solving Search Problems.- Inconsistencies in Ontologies.- Technical Papers.- On Arbitrary Selection Strategies for Basic Superposition.- An Event-Condition-Action Logic Programming Language.- Distance-Based Repairs of Databases.- Natural Deduction Calculus for Linear-Time Temporal Logic.- A STIT-Extension of ATL.- On the Logic and Computation of Partial Equilibrium Models.- Decidable Fragments of Logic Programming with Value Invention.- On the Issue of Reinstatement in Argumentation.- Comparing Action Descriptions Based on Semantic Preferences.- Modal Logics of Negotiation and Preference.- Representing Action Domains with Numeric-Valued Fluents.- Model Representation over Finite and Infinite Signatures.- Deciding Extensions of the Theory of Arrays by Integrating Decision Procedures and Instantiation Strategies.- Analytic Tableau Calculi for KLM Rational Logic R.- On the Semantics of Logic Programs with Preferences.- A Modularity Approach for a Fragment of .- Whatever You Say.- Automatic Deductive Synthesis of Lisp Programs in the System ALISA.- A Fault-Tolerant Default Logic.- Reasoning About Actions Using Description Logics with General TBoxes.- Introducing Attempt in a Modal Logic of Intentional Action.- On Herbrand’s Theorem for Intuitionistic Logic.- Ambiguity Propagating Defeasible Logic and the Well-Founded Semantics.- Hierarchical Argumentation.- Anti-prenexing and Prenexing for Modal Logics.- A Bottom-Up Method for the Deterministic Horn Fragment of the Description Logic .- Fuzzy Answer Set Programming.- Reasoning About an Agent Based on Its Revision History with Missing Inputs.- Knowledge Base Revision in Description Logics.- Incomplete Knowledge in Hybrid Probabilistic Logic Programs.- A Formal Analysis of KGP Agents.- Irrelevant Updates and Nonmonotonic Assumptions.- Towards Top-k Query Answering in Description Logics: The Case of DL-Lite.- Representing Causal Information About a Probabilistic Process.- Tool Descriptions.- A Tool to Facilitate Agent Deliberation.- An Implementation of a Lightweight Argumentation Engine for Agent Applications.- A Tool for Answering Queries on Action Descriptions.- An Implementation for Recognizing Rule Replacements in Non-ground Answer-Set Programs.- April – An Inductive Logic Programming System.- optsat: A Tool for Solving SAT Related Optimization Problems.- Automated Reasoning About Metric and Topology.- The QBFEVAL Web Portal.- A Slicing Tool for Lazy Functional Logic Programs.- cc?: A Correspondence-Checking Tool for Logic Programs Under the Answer-Set Semantics.- A Logic-Based Tool for Semantic Information Extraction.- tarfa: Tableaux and Resolution for Finite Abduction.