Logics in artificial intelligence : 10th European conference, JELIA 2006, Liverpool, UK, September 13-15, 2006 : proceedings / Michael Fisher [and others] (eds.)
Saved in:
| Online Access: |
Full Text (via Internet Archive) |
|---|---|
| Corporate Author: | |
| Other Authors: | |
| Other title: | JELIA 2006. |
| Format: | Conference Proceeding eBook |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
2006.
|
| Series: | LNCS sublibrary. Artificial intelligence.
Lecture notes in computer science ; 4160. Lecture notes in computer science. Lecture notes in artificial intelligence. |
| Subjects: |
MARC
| LEADER | 00000cam a2200000Ia 4500 | ||
|---|---|---|---|
| 001 | b11318463 | ||
| 003 | CoU | ||
| 006 | m o d | ||
| 007 | cr ||||||||||| | ||
| 008 | 081017s2006 gw a ob 101 0 eng d | ||
| 005 | 20230926211956.2 | ||
| 020 | |a 9783540396277 |q (ebook) | ||
| 020 | |a 3540396276 |q (ebook) | ||
| 020 | |a 9783540396253 |q (pbk.) | ||
| 020 | |a 354039625X |q (pbk.) | ||
| 024 | 7 | |a 10.1007/11853886 | |
| 035 | |a (CaSfIA)iam000000000300280 | ||
| 035 | |a (OCoLC)262693443 | ||
| 040 | |a GW5XE |b eng |e pn |c GW5XE |d UMC |d CEF |d OCLCQ |d GZM |d OKU |d UAB |d MND |d MYPMP |d YNG |d E7B |d OCLCO |d OCLCQ |d OCLCO |d OCLCA |d OCLCF |d BEDGE |d DKDLA |d OCLCQ |d OCLCO |d YDXCP |d IDEBK |d OCLCQ |d OCLCO |d OCL |d OCLCO |d OCLCQ |d EBLCP |d VT2 |d OCLCQ |d ESU |d OCLCQ |d U3W |d BUF |d STF |d OCLCQ |d OCLCA |d WYU |d CaSfIA | ||
| 050 | 4 | |a Q334 |b .J46 2006eb | |
| 072 | 7 | |a Q |2 lcco | |
| 072 | 7 | |a UYQ |2 bicssc | |
| 072 | 7 | |a TJFM1 |2 bicssc | |
| 072 | 7 | |a COM004000 |2 bisacsh | |
| 111 | 2 | |a JELIA (Conference) |n (10th : |d 2006 : |c Liverpool, England) | |
| 245 | 1 | 0 | |a Logics in artificial intelligence : |b 10th European conference, JELIA 2006, Liverpool, UK, September 13-15, 2006 : proceedings / |c Michael Fisher [and others] (eds.) |
| 246 | 3 | 0 | |a JELIA 2006. |
| 260 | |a Berlin ; |a New York : |b Springer, |c 2006. | ||
| 300 | |a 1 online resource (xii, 516 pages) : |b illustrations. | ||
| 336 | |a text |b txt |2 rdacontent. | ||
| 337 | |a computer |b c |2 rdamedia. | ||
| 338 | |a online resource |b cr |2 rdacarrier. | ||
| 347 | |a text file |b PDF |2 rda. | ||
| 490 | 1 | |a LNCS sublibrary. SL 7, Artificial intelligence. | |
| 490 | 1 | |a Lecture notes in computer science ; |v 4160. |a Lecture notes in artificial intelligence. | |
| 490 | 1 | |a Lecture notes in artificial intelligence. |x 0302-9743 ; |v 4160. | |
| 504 | |a Includes bibliographical references and index. | ||
| 505 | 0 | |a 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. | |
| 588 | 0 | |a Print version record. | |
| 650 | 0 | |a Artificial intelligence |v Congresses. | |
| 650 | 0 | |a Logic, Symbolic and mathematical |v Congresses. | |
| 650 | 7 | |a Artificial intelligence. |2 fast |0 (OCoLC)fst00817247. | |
| 650 | 7 | |a Logic, Symbolic and mathematical. |2 fast |0 (OCoLC)fst01002068. | |
| 650 | 7 | |a Intelligence artificielle |v Congres. |2 rvm. | |
| 655 | 7 | |a Conference papers and proceedings. |2 fast |0 (OCoLC)fst01423772. | |
| 700 | 1 | |a Fisher, Michael, |d 1962- | |
| 776 | 0 | 8 | |i Print version: |a JELIA 2006 (2006 : Liverpool, England). |t Logics in artificial intelligence. |d Berlin ; New York : Springer, 2006 |z 354039625X |z 9783540396253 |w (DLC) 2006932041 |w (OCoLC)71747777. |
| 856 | 4 | 0 | |u https://archive.org/details/logicsinartifici0000jeli |z Full Text (via Internet Archive) |
| 830 | 0 | |a LNCS sublibrary. |n SL 7, |p Artificial intelligence. | |
| 830 | 0 | |a Lecture notes in computer science ; |v 4160. | |
| 830 | 0 | |a Lecture notes in computer science. |p Lecture notes in artificial intelligence. |0 http://id.loc.gov/authorities/names/n86736436. | |
| 907 | |a .b113184633 |b 05-04-22 |c 07-01-20 | ||
| 998 | |a web |b - - |c f |d b |e z |f eng |g gw |h 0 |i 1 | ||
| 956 | |a Internet Archive | ||
| 999 | f | f | |i fa20645e-880e-50b8-81c9-c2f944e6c448 |s 6eecbb08-fabc-5a31-8e07-d3176072eb13 |
| 952 | f | f | |p Can circulate |a University of Colorado Boulder |b Online |c Online |d Online |e Q334 .J46 2006eb |h Library of Congress classification |i web |n 1 |