A Graph Theoretic Approach to Default Logic

Dimopoulos, Yannis; Magirou, Vangelis

Item

ITEM ACTIONSEXPORT

Add to Basket

Please note that a newer version of this item is available:
https://pure.mpg.de/pubman/item/item_1331944_3

DetailsSummary

A Graph Theoretic Approach to Default Logic

Dimopoulos, Y., & Magirou, V. (1994). A Graph Theoretic Approach to Default Logic. Information and Computation, 112(2), 239-256.

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/11858/00-001M-0000-0014-AD53-0 Version Permalink: https://hdl.handle.net/11858/00-001M-0000-0014-AD54-E

Genre: Journal Article

Files

show Files

Locators

show

Creators

show

hide

Creators:
Dimopoulos, Yannis¹, Author
Magirou, Vangelis, Author

Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045

Content

show

hide

Free keywords: -

Abstract: A network representation of propositional seminormal disjunction-free default theories is presented, leading to a graph-theoretic approach to their analysis. The problem of finding an extension is proved to be equivalent to that of determining a kernel for a corresponding graph, allowing stronger complexity results as well as new conditions for the existence of extensions.

Details

show

hide

Language(s): eng - English

Dates: Modified: 2010-03-12Date issued: 1994

Publication Status: Issued

Pages: -

Publishing info: -

Table of Contents: -

Rev. Type: Peer

Identifiers: eDoc: 519555
Other: Local-ID: C1256104005ECAFC-8601E3E46F97A659C1256144006215DF-dim92

Degree: -

Event

show

Legal Case

show

Project information

show

Source 1

show

hide

Title: Information and Computation

Source Genre: Journal

Creator(s):

Affiliations:

Publ. Info: -

Pages: - Volume / Issue: 112 (2) Sequence Number: - Start / End Page: 239 - 256 Identifier: ISSN: 0890-5401