Logics in Artificial Intelligence 10th European Conference, JELIA 2006 Liverpool, UK, September 13-15, 2006 Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Fisher, Michael (Επιμελητής έκδοσης), Hoek, Wiebe van der (Επιμελητής έκδοσης), Konev, Boris (Επιμελητής έκδοσης), Lisitsa, Alexei (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
• Σειρά: Lecture Notes in Computer Science, 4160
• Θέματα: Computer science.; Computer programming.; Mathematical logic.; Artificial intelligence.; Computer Science.; Artificial Intelligence (incl. Robotics).; Programming Techniques.; Mathematical Logic and Formal Languages.

Πίνακας περιεχομένων:

• 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.