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

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Fisher, Michael (Editor ), van der Hoek, Wiebe (Editor ), Konev, Boris (Editor ), Lisitsa, Alexei (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.
Edición:1st ed. 2006.
Colección:Lecture Notes in Artificial Intelligence, 4160
Temas:
Artificial intelligence.
Computer programming.
Machine theory.
Artificial Intelligence.
Programming Techniques.
Formal Languages and Automata Theory.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares