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:








Author, Editor

Author(s):

Fehrer, Detlef

dblp



Editor(s):

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

dblp
dblp
dblp



BibTeX cite key*:

Fehrer93a

Title, Booktitle

Title*:

A Unifying Framework for Reason Maintenance

Booktitle*:

Symbolic and Quantitative Approaches to Reasoning and Uncertainty: Proceedings 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):

1993

Organization:


Event Start Date:

20 October 2019

Event End Date:

20 October 2019

Publisher

Name*:

Springer

URL:


Address*:

Berlin, Germany

Type:


Vol, No, Year, pp.

Series:

Lecture Notes in Computer Science

Volume:

747

Number:


Month:

August

Pages:

113-120

Year*:

1993

VG Wort Pages:


ISBN/ISSN:


Sequence Number:


DOI:




Note, Abstract, ©

Note:

Also appeared in Medlar {II} Report {PPR2}

(LaTeX) Abstract:

We present a way to semantically describe reason maintenance systems, based on Gabbay's labelled deductive system idea. Our approach works for justification based as well as for assumption based methods, thus giving a {\em unifying} semantics to both of them. Instead of restricting ourselves to only propositional Horn clauses, we'll admit arbitrary logics, e.g. full first order language. This enables us to characterize systems as a whole, including both the reason maintenance component and the problem solver, nevertheless maintaining a separation between the basic logic and the part that describes the label propagation. Further we give some hints at how to implement a system based on our labelled logic and plead for what we call ``incremental calculi''.



Download
Access Level:


Correlation

MPG Unit:

Max-Planck-Institut für Informatik



MPG Subunit:

Programming Logics Group

Audience:

experts only

Appearance:

MPII WWW Server, MPII FTP Server, university publications list, working group publication list



BibTeX Entry:

@INPROCEEDINGS{Fehrer93a,
AUTHOR = {Fehrer, Detlef},
EDITOR = {Clarke, M. and Kruse, R. and Moral, S.},
TITLE = {A Unifying Framework for Reason Maintenance},
BOOKTITLE = {Symbolic and Quantitative Approaches to Reasoning and Uncertainty: Proceedings European Conference ECSQARU '93},
PUBLISHER = {Springer},
YEAR = {1993},
VOLUME = {747},
PAGES = {113--120},
SERIES = {Lecture Notes in Computer Science},
ADDRESS = {Granada, Spain},
MONTH = {August},
NOTE = {Also appeared in Medlar {II} Report {PPR2}},
}


Entry last modified by Christine Kiesel/AG2/MPII/DE, 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)
Uwe Brahm
Created
01/14/1995 06:51:29 PM
Revisions
5.
4.
3.
2.
1.
Editor(s)
Christine Kiesel/AG2/MPII/DE
Christine Kiesel/AG2/MPII/DE
Uwe Brahm/MPII/DE
Uwe Brahm/MPII/DE
Uwe Brahm/MPII/DE
Edit Dates
14/02/95 10:16:46
14/02/95 10:10:09
07/02/95 14:51:46
21/01/95 20:49:02
17/01/95 19:56:38