Logics in Artificial Intelligence (Record no. 14464)
[ view plain ]
| 020 ## - | |
|---|---|
| -- | 9783540396277 |
| -- | 978-3-540-39627-7 |
| 024 7# - | |
| -- | 10.1007/11853886 |
| -- | doi |
| 050 #4 - | |
| -- | Q334-342 |
| 050 #4 - | |
| -- | TJ210.2-211.495 |
| 072 #7 - | |
| -- | UYQ |
| -- | bicssc |
| 072 #7 - | |
| -- | TJFM1 |
| -- | bicssc |
| 072 #7 - | |
| -- | COM004000 |
| -- | bisacsh |
| 082 04 - | |
| -- | 006.3 |
| -- | 23 |
| 100 1# - | |
| -- | Fisher, Michael. |
| -- | editor. |
| 245 10 - | |
| -- | Logics in Artificial Intelligence |
| -- | [electronic resource] : |
| -- | 10th European Conference, JELIA 2006 Liverpool, UK, September 13-15, 2006 Proceedings / |
| -- | edited by Michael Fisher, Wiebe Hoek, Boris Konev, Alexei Lisitsa. |
| 264 #1 - | |
| -- | Berlin, Heidelberg : |
| -- | Springer Berlin Heidelberg, |
| -- | 2006. |
| 300 ## - | |
| -- | XII, 516 p. Also available online. |
| -- | online resource. |
| 336 ## - | |
| -- | text |
| -- | txt |
| -- | rdacontent |
| 337 ## - | |
| -- | computer |
| -- | c |
| -- | rdamedia |
| 338 ## - | |
| -- | online resource |
| -- | cr |
| -- | rdacarrier |
| 347 ## - | |
| -- | text file |
| -- | |
| -- | rda |
| 490 1# - | |
| -- | Lecture Notes in Computer Science, |
| -- | 0302-9743 ; |
| -- | 4160 |
| 505 0# - | |
| -- | 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. |
| 520 ## - | |
| -- | Logics provide a formal basis, and key descriptive notation, for the study and dev- opment of applications and systems in Arti?cial Intelligence (AI). With the depth and maturity of formalisms, methodologies,and systems today, such logics are increasingly important. The European Conference on Logics in Arti?cial Intelligence (or Journees ´ Europeennes ´ sur la Logique en Intelligence Arti?cielle — JELIA) began back in 1988, as a workshop, in response to the need for a European forum for the discussion of emerging work in this ?eld. Since then, JELIA has been organised biennially, with - glish as of?cial language, and with proceedings published in Springer’s Lecture Notes in Arti?cial Intelligence. Previousmeetingstookplace in Roscoff,France(1988),Ams- ´ terdam,Netherlands(1990),Berlin,Germany(1992),York,UK (1994),Evora,Portugal (1996), Dagstuhl, Germany (1998), Malaga, ´ Spain (2000), Cosenza, Italy (2002), and Lisbon, Portugal (2004). The increasing interest in this forum, its international level with growing parti- pation from researchers outside Europe, and the overall technical quality, has turned JELIA into a major forum for the discussion of logic-based approaches to AI. JELIA 2006constitutedtheTenthInternationalConferenceonLogicsinArti?cial Intelligence, and was held in Liverpool (UK) in September 2006. As with previous JELIA conf- ences, the aim of JELIA 2006 was to bring together active researchers interested in all aspects concerning the use of logics in AI to discuss current research, results, problems and applications of both a theoretical and practical nature. We received a total of 96 submissions, comprising 77 regular papers and 19 tool - scriptions. |
| 650 #0 - | |
| -- | Computer science. |
| 650 #0 - | |
| -- | Artificial intelligence. |
| 650 14 - | |
| -- | Computer Science. |
| 650 24 - | |
| -- | Artificial Intelligence (incl. Robotics). |
| 650 24 - | |
| -- | Programming Techniques. |
| 650 24 - | |
| -- | Mathematical Logic and Formal Languages. |
| 700 1# - | |
| -- | Hoek, Wiebe. |
| -- | editor. |
| 700 1# - | |
| -- | Konev, Boris. |
| -- | editor. |
| 700 1# - | |
| -- | Lisitsa, Alexei. |
| -- | editor. |
| 710 2# - | |
| -- | SpringerLink (Online service) |
| 773 0# - | |
| -- | Springer eBooks |
| 776 08 - | |
| -- | Printed edition: |
| -- | 9783540396253 |
| 830 #0 - | |
| -- | Lecture Notes in Computer Science, |
| -- | 0302-9743 ; |
| -- | 4160 |
| 856 40 - | |
| -- | http://dx.doi.org/10.1007/11853886 |
| 912 ## - | |
| -- | ZDB-2-SCS |
| 912 ## - | |
| -- | ZDB-2-LNC |
| 950 ## - | |
| -- | Computer Science (Springer-11645) |
| 999 ## - | |
| -- | 14464 |
| -- | 14464 |
No items available.