English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
Add to Basket
 Local TagsRelease HistoryDetailsSummary
  The Computational Value of Joint Consistency

Dimopoulos, Y. (1994). The Computational Value of Joint Consistency. In C. MacNish, D. Pearce, & L. M. Pereira (Eds.), Logics in Artificial Intelligence: Proceedings of the JELIA'94 (pp. 50-65). Berlin, Germany: Springer.

Item is

 

show all hide all

Basic

show hide
Item Permalink: https://hdl.handle.net/11858/00-001M-0000-0014-ADAE-6 Version Permalink: https://hdl.handle.net/21.11116/0000-000E-0882-6
Genre: Conference Paper

Files

show Files

Locators

show
hide
Locator:
https://rdcu.be/dto6y (Publisher version)
Description:
-
OA-Status:
Not specified

Creators

show
hide
 Creators:
Dimopoulos, Yannis1, Author           
Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              

Content

show
hide
Free keywords: -
 Abstract: In this paper we investigate the complexity of some recent reconstructions of Reiter's Default Logic using graph-theoretical structures. It turns out that requiring joint consistency of the justification of the applied rules has serious effects on the computational features of default reasoning. Namely, many of the intractability problems of Reiter's original approach, in some cases disappear in the new frameworks. However, interesting problems remain intractable. We also present a propositional semantics for those approaches, stemming from the translation of the graph structures into propositional logic. Finally, the constraint stable model semantics is introduced, and proved to be related to the notion of joint consistency.

Details

show
hide
Language(s): eng - English
 Dates: 2010-03-121994
 Publication Status: Issued
 Pages: -
 Publishing info: -
 Table of Contents: -
 Rev. Type: -
 Identifiers: eDoc: 519620
Other: Local-ID: C1256104005ECAFC-DC8D7609F1326554C12561440062152A-dim94c
DOI: 10.1007/BFb0021964
BibTex Citekey: Dimopoulos_JELIA94
 Degree: -

Event

show
hide
Title: Logics in Artificial Intelligence
Place of Event: York, UK
Start-/End Date: 1994

Legal Case

show

Project information

show

Source 1

show
hide
Title: Logics in Artificial Intelligence: Proceedings of the JELIA'94
  Abbreviation : JELIA 1994
Source Genre: Proceedings
 Creator(s):
MacNish, Craig, Editor
Pearce, David, Editor
Pereira, Luís Moniz, Editor
Affiliations:
-
Publ. Info: Berlin, Germany : Springer
Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 50 - 65 Identifier: ISBN: 978-3-540-58332-5

Source 2

show
hide
Title: Lecture Notes in Artificial Intelligence
  Abbreviation : LNAI
Source Genre: Series
 Creator(s):
Affiliations:
Publ. Info: -
Pages: - Volume / Issue: 838 Sequence Number: - Start / End Page: - Identifier: -