skip to content
Logics in Artificial Intelligence : 10th European Conference, JELIA 2006 Liverpool, UK, September 13-15, 2006 Proceedings Preview this item
ClosePreview this item
Checking...

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

Author: Michael Fisher; W van der Hoek; Boris Konev; Alexei Lisitsa; JELIA 2006
Publisher: Berlin, Heidelberg Springer Berlin Heidelberg, 2006.
Series: Lecture notes in computer science, 4160.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Publication:Springer e-books
Summary:
This book constitutes the refereed proceedings of the 10th European Conference on Logics in Artificial Intelligence, JELIA 2006, held in Liverpool, UK in September 2006. The 34 revised full papers and 12 revised tool description papers presented together with 3 invited talks were carefully reviewed and selected from 96 submissions. The papers cover a range of topics within the remit of the Conference, such as logic  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Conference papers and proceedings
Electronic books
Congresses
Congrès
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Michael Fisher; W van der Hoek; Boris Konev; Alexei Lisitsa; JELIA 2006
ISBN: 3540396276 9783540396277 9783540396253 354039625X
OCLC Number: 1058917082
Language Note: English.
Description: 1 online resource (XII, 520 p.).
Contents: 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.
Series Title: Lecture notes in computer science, 4160.
Responsibility: edited by Michael Fisher, Wiebe van der Hoek, Boris Konev, Alexei Lisitsa.

Abstract:

This book constitutes the refereed proceedings of the 10th European Conference on Logics in Artificial Intelligence, JELIA 2006, held in Liverpool, UK in September 2006. The 34 revised full papers and 12 revised tool description papers presented together with 3 invited talks were carefully reviewed and selected from 96 submissions. The papers cover a range of topics within the remit of the Conference, such as logic programming, description logics, non-monotonic reasoning, agent theories, automated reasoning, and machine learning.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/1058917082> # Logics in Artificial Intelligence 10th European Conference, JELIA 2006 Liverpool, UK, September 13-15, 2006 Proceedings
    a schema:Book, schema:CreativeWork, schema:MediaObject ;
    library:oclcnum "1058917082" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/896969123#Topic/mathematical_logic_and_formal_languages> ; # Mathematical Logic and Formal Languages
    schema:about <http://dewey.info/class/006.3/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/896969123#Topic/programming_techniques> ; # Programming Techniques
    schema:about <http://experiment.worldcat.org/entity/work/data/896969123#Topic/artificial_intelligence_incl_robotics> ; # Artificial Intelligence (incl. Robotics)
    schema:about <http://experiment.worldcat.org/entity/work/data/896969123#Topic/logic_symbolic_and_mathematical> ; # Logic, Symbolic and mathematical
    schema:about <http://experiment.worldcat.org/entity/work/data/896969123#Topic/artificial_intelligence> ; # Artificial intelligence
    schema:about <http://experiment.worldcat.org/entity/work/data/896969123#Topic/computer_science> ; # Computer Science
    schema:about <http://experiment.worldcat.org/entity/work/data/896969123#Topic/intelligence_artificielle> ; # Intelligence artificielle
    schema:bookFormat schema:EBook ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/896969123#Person/fisher_michael> ; # Michael Fisher
    schema:creator <http://experiment.worldcat.org/entity/work/data/896969123#Meeting/jelia_conference_10th_2006_liverpool_england> ; # JELIA (Conference) (10th : 2006 : Liverpool, England)
    schema:creator <http://experiment.worldcat.org/entity/work/data/896969123#Organization/jelia_2006> ; # JELIA 2006
    schema:datePublished "2006" ;
    schema:description "This book constitutes the refereed proceedings of the 10th European Conference on Logics in Artificial Intelligence, JELIA 2006, held in Liverpool, UK in September 2006. The 34 revised full papers and 12 revised tool description papers presented together with 3 invited talks were carefully reviewed and selected from 96 submissions. The papers cover a range of topics within the remit of the Conference, such as logic programming, description logics, non-monotonic reasoning, agent theories, automated reasoning, and machine learning."@en ;
    schema:description "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."@en ;
    schema:editor <http://experiment.worldcat.org/entity/work/data/896969123#Person/fisher_michael> ; # Michael Fisher
    schema:editor <http://experiment.worldcat.org/entity/work/data/896969123#Person/lisitsa_alexei> ; # Alexei Lisitsa
    schema:editor <http://experiment.worldcat.org/entity/work/data/896969123#Person/konev_boris> ; # Boris Konev
    schema:editor <http://experiment.worldcat.org/entity/work/data/896969123#Person/hoek_w_van_der_wiebe> ; # Wiebe Hoek
    schema:exampleOfWork <http://worldcat.org/entity/work/id/896969123> ;
    schema:genre "Electronic books"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science ;
    schema:isSimilarTo <http://worldcat.org/entity/work/data/896969123#CreativeWork/> ;
    schema:name "Logics in Artificial Intelligence 10th European Conference, JELIA 2006 Liverpool, UK, September 13-15, 2006 Proceedings"@en ;
    schema:numberOfPages "520" ;
    schema:productID "1058917082" ;
    schema:url <https://login.ezproxy.brunel.ac.uk/login?url=http://dx.doi.org/10.1007/11853886> ;
    schema:url <http://books.scholarsportal.info/viewdoc.html?id=/ebooks/ebooks2/springer/2011-04-28/4/9783540396277> ;
    schema:url <http://proxy.lib.utk.edu:90/login?url=http://dx.doi.org/10.1007/11853886> ;
    schema:url <http://link.springer.com/openurl?genre=book&isbn=978-3-540-39625-3> ;
    schema:url <https://link.springer.com/openurl?genre=book&isbn=978-3-540-39625-3> ;
    schema:url <http://VH7QX3XE2P.search.serialssolutions.com/?V=1.0&L=VH7QX3XE2P&S=JCs&C=TC0000318720&T=marc&tab=BOOKS> ;
    schema:url <http://books.scholarsportal.info/viewdoc.html?id=/ebooks/ebooks0/springer/2010-02-11/1/11853886> ;
    schema:url <http://libproxy.dundee.ac.uk/login?url=http://dx.doi.org/10.1007/11853886> ;
    schema:url <http://www.library.yorku.ca/eresolver/?id=1244235> ;
    schema:url <http://www.library.yorku.ca/eresolver/?id=1244234> ;
    schema:url <http://dx.doi.org/10.1007/11853886> ;
    schema:url <https://ezproxy.aub.edu.lb/login?url=http://dx.doi.org/10.1007/11853886> ;
    schema:url <http://proxy.library.carleton.ca/login?url=http://books.scholarsportal.info/viewdoc.html?id=/ebooks/ebooks0/springer/2010-02-11/1/11853886> ;
    schema:url <http://proxy.library.carleton.ca/login?url=http://dx.doi.org/10.1007/11853886> ;
    schema:workExample <http://worldcat.org/isbn/9783540396277> ;
    schema:workExample <http://worldcat.org/isbn/9783540396253> ;
    schema:workExample <http://dx.doi.org/10.1007/11853886> ;
    umbel:isLike <http://d-nb.info/980843731> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/1058917082> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/896969123#Meeting/jelia_conference_10th_2006_liverpool_england> # JELIA (Conference) (10th : 2006 : Liverpool, England)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/896969123#Place/liverpool_england> ; # Liverpool, England)
    schema:name "JELIA (Conference) (10th : 2006 : Liverpool, England)" ;
    .

<http://experiment.worldcat.org/entity/work/data/896969123#Person/fisher_michael> # Michael Fisher
    a schema:Person ;
    schema:familyName "Fisher" ;
    schema:givenName "Michael." ;
    schema:givenName "Michael" ;
    schema:name "Michael Fisher" ;
    .

<http://experiment.worldcat.org/entity/work/data/896969123#Person/hoek_w_van_der_wiebe> # Wiebe Hoek
    a schema:Person ;
    schema:familyName "Hoek" ;
    schema:givenName "Wiebe" ;
    schema:givenName "W. van der" ;
    schema:name "Wiebe Hoek" ;
    .

<http://experiment.worldcat.org/entity/work/data/896969123#Person/konev_boris> # Boris Konev
    a schema:Person ;
    schema:familyName "Konev" ;
    schema:givenName "Boris." ;
    schema:name "Boris Konev" ;
    .

<http://experiment.worldcat.org/entity/work/data/896969123#Person/lisitsa_alexei> # Alexei Lisitsa
    a schema:Person ;
    schema:familyName "Lisitsa" ;
    schema:givenName "Alexei." ;
    schema:name "Alexei Lisitsa" ;
    .

<http://experiment.worldcat.org/entity/work/data/896969123#Place/liverpool_england> # Liverpool, England)
    a schema:Place ;
    schema:name "Liverpool, England)" ;
    .

<http://experiment.worldcat.org/entity/work/data/896969123#Topic/artificial_intelligence> # Artificial intelligence
    a schema:Intangible ;
    schema:name "Artificial intelligence"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/896969123#Topic/artificial_intelligence_incl_robotics> # Artificial Intelligence (incl. Robotics)
    a schema:Intangible ;
    schema:name "Artificial Intelligence (incl. Robotics)"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/896969123#Topic/intelligence_artificielle> # Intelligence artificielle
    a schema:Intangible ;
    schema:name "Intelligence artificielle"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/896969123#Topic/logic_symbolic_and_mathematical> # Logic, Symbolic and mathematical
    a schema:Intangible ;
    schema:name "Logic, Symbolic and mathematical"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/896969123#Topic/mathematical_logic_and_formal_languages> # Mathematical Logic and Formal Languages
    a schema:Intangible ;
    schema:name "Mathematical Logic and Formal Languages"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/896969123#Topic/programming_techniques> # Programming Techniques
    a schema:Intangible ;
    schema:name "Programming Techniques"@en ;
    .

<http://libproxy.dundee.ac.uk/login?url=http://dx.doi.org/10.1007/11853886>
    rdfs:comment "An electronic book accessible through the World Wide Web; click to view." ;
    .

<http://worldcat.org/entity/work/data/896969123#CreativeWork/>
    a schema:CreativeWork ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/1058917082> ; # Logics in Artificial Intelligence 10th European Conference, JELIA 2006 Liverpool, UK, September 13-15, 2006 Proceedings
    .

<http://worldcat.org/isbn/9783540396253>
    a schema:ProductModel ;
    schema:isbn "354039625X" ;
    schema:isbn "9783540396253" ;
    .

<http://worldcat.org/isbn/9783540396277>
    a schema:ProductModel ;
    schema:isbn "3540396276" ;
    schema:isbn "9783540396277" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1058917082> ; # Logics in Artificial Intelligence 10th European Conference, JELIA 2006 Liverpool, UK, September 13-15, 2006 Proceedings
    schema:issn "0302-9743" ;
    schema:name "Lecture notes in computer science ;" ;
    schema:name "Lecture Notes in Computer Science," ;
    .

<http://www.library.yorku.ca/eresolver/?id=1244234>
    rdfs:comment "An electronic book accessible through the World Wide Web; click for information" ;
    .

<http://www.worldcat.org/title/-/oclc/1058917082>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/1058917082> ; # Logics in Artificial Intelligence 10th European Conference, JELIA 2006 Liverpool, UK, September 13-15, 2006 Proceedings
    schema:dateModified "2019-09-14" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.