NIL 1991 - PDF Preprint Papers

NIL 1991 International Workshop on Nonmonotonic and Inductive Logic

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed NIL-1991 Paper

click to vote

NIL
1991

72views Automated Reasoning» more NIL 1991»

Deduction with Supernormal Defaults

1 years 8 months ago

Download www.dbs.uni-hannover.de

In this paper we consider supernormal defaults [Poo88] with a strict partial order deﬁning their priorities [Bre91]. We investigate their relation to minimal or preferential ent...

Stefan Brass

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Read	Views	Title	Status
1		72	Deduction with Supernormal Defaults	claim
2		59	Normal Form Results for Default Logic	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers