Proceedings Article, Paper
@InProceedings
Beitrag in Tagungsband, Workshop


Show entries of:

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

Action:

login to update

Options:




Library Locked Library locked




Author, Editor

Author(s):

Weydert, Emil

dblp



Editor(s):

Clarke, M.
Kruse, R.
Moral, S.

dblp
dblp
dblp



BibTeX cite key*:

Weydert93a

Title, Booktitle

Title*:

Plausible Inference for Default Conditionals

Booktitle*:

Symbolic and Quantitative Approaches to Reasoning and Uncertainty: Proceedings of the European Conference ECSQARU '93

Event, URLs

URL of the conference:


URL for downloading the paper:


Event Address*:

Granada, Spain

Language:

English

Event Date*
(no longer used):

November, 8-10

Organization:


Event Start Date:

11 November 2019

Event End Date:

11 November 2019

Publisher

Name*:

Springer

URL:


Address*:

Berlin, Germany

Type:


Vol, No, Year, pp.

Series:

Lecture Notes in Computer Science

Volume:

747

Number:


Month:

December

Pages:

356-363

Year*:

1993

VG Wort Pages:


ISBN/ISSN:


Sequence Number:


DOI:




Note, Abstract, ©

Note:

Also in Proc.~IJCAI-Workshop: Conditionals in Knowledge Representation, 1993

(LaTeX) Abstract:

This paper presents a monotonic core logic for default conditionals and investigates possible nonmonotonic extensions. First, we introduce a possible worlds semantics characterizing HRC0, a strong logic for non-nested normal implication. Next, we formulate several basic regularity postulates for defeasible entailment relations extending our monotonic inference relation and claiming to provide an appropriate interpretation of our default conditional. We then construct a preferential semantic framework describing a class of consequence relations verifying our standard requirements. In particular, we define and analyze elementary hyperentailment, a new semantic-based plausible inference relation for boolean combinations of facts and defaults.


Download
Access Level:


Correlation

MPG Unit:

Max-Planck-Institut für Informatik



MPG Subunit:

Programming Logics Group

Audience:

experts only

Appearance:



BibTeX Entry:

@INPROCEEDINGS{Weydert93a,
AUTHOR = {Weydert, Emil},
EDITOR = {Clarke, M. and Kruse, R. and Moral, S.},
TITLE = {Plausible Inference for Default Conditionals},
BOOKTITLE = {Symbolic and Quantitative Approaches to Reasoning and Uncertainty: Proceedings of the European Conference ECSQARU '93},
PUBLISHER = {Springer},
YEAR = {1993},
VOLUME = {747},
PAGES = {356--363},
SERIES = {Lecture Notes in Computer Science},
ADDRESS = {Granada, Spain},
MONTH = {December},
}


Entry last modified by Uwe Brahm, 08/29/2014
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)
[Library]
Created
01/14/1995 06:53:03 PM
Revisions
5.
4.
3.
2.
1.
Editor(s)
Uwe Brahm
Uwe Brahm
Christine Kiesel/AG2/MPII/DE
Uwe Brahm/MPII/DE
Uwe Brahm/MPII/DE
Edit Dates
03/15/2001 12:01:54 PM
03/15/2001 12:00:02 PM
16/03/95 15:21:53
21/01/95 20:57:53
15/01/95 17:12:55