05485nam 22006495 450 99646612970331620200704230045.03-540-39627-610.1007/11853886(CKB)1000000000283914(SSID)ssj0000318720(PQKBManifestationID)11241999(PQKBTitleCode)TC0000318720(PQKBWorkID)10310833(PQKB)11300302(DE-He213)978-3-540-39627-7(MiAaPQ)EBC3068099(PPN)123138078(EXLCZ)99100000000028391420100301d2006 u| 0engurnn|008mamaatxtccrLogics in Artificial Intelligence[electronic resource] 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings /edited by Michael Fisher, Wiebe van der Hoek, Boris Konev, Alexei Lisitsa1st ed. 2006.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2006.1 online resource (XII, 520 p.) Lecture Notes in Artificial Intelligence ;4160Bibliographic Level Mode of Issuance: Monograph3-540-39625-X Includes bibliographical references and index.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.Lecture Notes in Artificial Intelligence ;4160Artificial intelligenceComputer programmingMathematical logicArtificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Programming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048JELIAArtificial intelligence.Computer programming.Mathematical logic.Artificial Intelligence.Programming Techniques.Mathematical Logic and Formal Languages.006.3Fisher Michaeledthttp://id.loc.gov/vocabulary/relators/edtvan der Hoek Wiebeedthttp://id.loc.gov/vocabulary/relators/edtKonev Borisedthttp://id.loc.gov/vocabulary/relators/edtLisitsa Alexeiedthttp://id.loc.gov/vocabulary/relators/edtBOOK996466129703316Logics in Artificial Intelligence772596UNISA