Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
Back to Results
First Page
Meta Content
View Document Preview and Link
A Characterization Result for Circumscribed Normal Logic Programs Patrick Doherty and Witold L ukaszewicz and Andrzej Szalas Abstract Circumscription has been perceived as an elegant mathematical technique for modelin
Add to Reading List
Document Date: 2012-02-02 05:30:06
Open Document
File Size: 175,07 KB
Share Result on Facebook
Country
Sweden /
/
Currency
pence /
/
Facility
Institute of Informatics /
Warsaw University /
/
IndustryTerm
elimination algorithm /
deductive systems /
/
Organization
Warsaw University /
LiTH-IDA-R-95-20 ISSN-0281-4250 Department of Computer and Information Science /
Institute of Informatics /
Swedish Council for the Engineering Sciences /
/
Person
Ai /
Horn Clause /
/
Position
rst author /
/
ProgrammingLanguage
L /
/
Technology
DLS algorithm /
elimination algorithm /
3.1 DLS Algorithm /
5 The DLS algorithm /
nd algorithms /
/
SocialTag
Formal languages
Circumscription
Logic programming
Non-classical logic
Conjunctive normal form
Atomic formula
Well-formed formula
First-order logic
Logic
Mathematical logic