Journal Article
@Article
Artikel in Fachzeitschrift


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(s)

Author(s):

Eisinger, Norbert
Ohlbach, Hans Jürgen
Präcklein, Axel

dblp
dblp
dblp



BibTeX cite key*:

EisingerOhlbachPraecklein91a

Title

Title*:

Reduction Rules for Resolution Based Systems

Journal

Journal Title*:

Artificial Intelligence

Journal's URL:


Download URL
for the article:


Language:

English

Publisher

Publisher's
Name:


Publisher's URL:


Publisher's
Address:

?

ISSN:


Vol, No, pp, Date

Volume*:

50

Number:


Publishing Date:

1991

Pages*:

141-181

Number of
VG Pages:


Page Start:


Page End:


Sequence Number:


DOI:


Note, Abstract, ©

Note:


(LaTeX) Abstract:

Inference rules for resolution based systems can be classified into deduction rules, which add new objects, and reduction rules, which remove objects. Traditional reduction rules like subsumption do not actively contribute to a solution, but they help to avoid redundancies in the search space. We present a number of advanced reduction rules, which can cope with high degrees of redundancy and play a distinctly active part because they find trivial solutions on their own and thus relieve the control component for the deduction rules from low level tasks. We describe how these reduction rules can be implemented with reasonable efficiency in a clause graph resolution system, but they are not restricted to this particular representation.

URL for the Abstract:


Categories,
Keywords:


HyperLinks / References / URLs:


Copyright Message:


Personal Comments:


Download
Access Level:


Correlation

MPG Unit:

Max-Planck-Institut für Informatik



MPG Subunit:

Programming Logics Group

Audience:

experts only

Appearance:


BibTeX Entry:

@ARTICLE{EisingerOhlbachPraecklein91a,
AUTHOR = {Eisinger, Norbert and Ohlbach, Hans J{\"u}rgen and Pr{\"a}cklein, Axel},
TITLE = {Reduction Rules for Resolution Based Systems},
JOURNAL = {Artificial Intelligence},
YEAR = {1991},
VOLUME = {50},
PAGES = {141--181},
ADDRESS = {?},
}


Entry last modified by Christine Kiesel, 08/08/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
02/06/1995 05:56:20 PM
Revisions
5.
4.
3.
2.
1.
Editor(s)
Christine Kiesel
Christine Kiesel
Uwe Brahm/MPII/DE
Uwe Brahm/MPII/DE
Uwe Brahm/MPII/DE
Edit Dates
28.08.2001 08:37:59
28.08.2001 08:37:49
10/02/95 17:19:47
21/01/95 20:48:56
15/01/95 16:59:08