Electronic Proceedings Article
@InProceedings
Internet-Beitrag in Tagungsband, Workshop


Show entries of:

this year (2024) | last year (2023) | two years ago (2022) | Notes URL

Action:

login to update
Options:








Author, Editor
Author(s):
Booth, Richarddblp
Editor(s):
Baral, C.
Truszczynski, M.		dblp
dblp

BibTeX cite key*:

Booth2000

Title, Conference

Title*:

The lexicographic closure as a revision process


0003017.tar.gz (19.23 KB); 0003017.ps.gz (58.47 KB)

Booktitle*:

Proceedings of the 8th International Workshop on Non-Monotonic Reasoning (NMR 2000)

Event Address*:

Breckenridge, Colorado, USA
URL of the conference:

http://www.cs.engr.uky.edu/nmr2000/

Event Date*:
(no longer used):

April 9-11, 2000
URL for downloading the paper:

http://xxx.lanl.gov/abs/cs.AI/0003017

Event Start Date:

9 April 2000
Event End Date:

11 April 2000

Language:

English
Organization:


Publisher

Publisher's Name:

?

Publisher's URL:


Address*:

?
Type:


Vol, No, pp., Year

Series:


Volume:


Number:


Month:


Pages:

?



Sequence Number:


Year*:

2000
ISBN/ISSN:






Abstract, Links, ©

URL for Reference:


Note:

Extended version to appear in "Journal of Applied Non-Classical Logics"}

(LaTeX) Abstract:

The connections between nonmonotonic reasoning and belief
revision are well-known. A central problem in the area of
nonmonotonic reasoning is the problem of default entailment, i.e.,
when should an item of default information representing "if A is
true then, normally, B is true" be said to follow from a given set of
items of such information. Many answers to this question have
been proposed but, surprisingly, virtually none have attempted
any explicit connection to belief revision. The aim of this paper is
to give an example of how such a connection can be made by
showing how the lexicographic closure of a set of defaults may be
conceptualised as a process of iterated revision by sets of
sentences. Specifically we use the revision process of Nayak.

URL for the Abstract:




Tags, Categories, Keywords:


HyperLinks / References / URLs:


Copyright Message:


Personal Comments:


Download
Access Level:

Public

Correlation
MPG Unit:
Max-Planck-Institut für Informatik
MPG Subunit:
Programming Logics Group
Audience:
Expert
Appearance:
MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat

BibTeX Entry:
@INPROCEEDINGS{Booth2000,
AUTHOR = {Booth, Richard},
 EDITOR = {Baral, C. and Truszczynski, M.},
 TITLE = {The lexicographic closure as a revision process},
 BOOKTITLE = {Proceedings of the 8th International Workshop on Non-Monotonic Reasoning (NMR 2000)},
 PUBLISHER = {?},
 YEAR = {2000},
 PAGES = {?},
 ADDRESS = {Breckenridge, Colorado, USA},
 NOTE = {Extended version to appear in "Journal of Applied Non-Classical Logics"}},
}

Entry last modified by Uwe Brahm, 03/12/2010
Show details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)
Hide details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)

Editor(s)
Christine Kiesel		Created
08/08/2001 12:55:32 PM
Revisions
8.
7.
6.
5.
4.		Editor(s)
Uwe Brahm
Uwe Brahm
Uwe Brahm
Manfred Jaeger
Manfred Jaeger		Edit Dates
2007-07-20 13:00:12
2007-07-19 14:24:50
18.11.2001 20:39:11
31/08/2001 18:36:49
24/08/2001 11:37:10
Show details for Attachment SectionAttachment Section
Hide details for Attachment SectionAttachment Section
0003017.tar.gz0003017.ps.gz