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


Show entries of:

this year (2019) | last year (2018) | two years ago (2017) | Notes URL

Action:

login to update

Options:








Author, Editor

Author(s):

Booth, Richard

dblp



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
View attachments here: