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

Corporate Author: SpringerLink (Online service)
Other Authors: Fisher, Michael (Editor), van der Hoek, Wiebe (Editor), Konev, Boris (Editor), Lisitsa, Alexei (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2006, 2006
Edition:1st ed. 2006
Series:Lecture Notes in Artificial Intelligence
Subjects:
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
Table of Contents:
  • 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
  • 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
  • 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