Back to Results
First PageMeta Content
Predicate logic / Model theory / Formal languages / Circumscription / Logic programming / Well-formed formula / Monadic predicate calculus / Atomic formula / Function / Logic / Mathematical logic / Mathematics


Computing Circumscription Revisited: A Reduction Algorithm Patrick Doherty and Witold. L ukaszewicz and Andrzej Szalas Abstract
Add to Reading List

Document Date: 2012-02-02 05:30:59

Open Document

File Size: 254,84 KB

Share Result on Facebook

Company

ESPRIT / /

Currency

pence / /

IndustryTerm

elimination algorithm / /

Organization

Swedish Research Council for Engineering Sciences / LiTH-IDA-94-42 ISSN-0281-4250 Department of Computer and Information Science / Swedish Council for the Engineering Sciences / /

Person

Patrick Doherty / Ai / /

Position

rst author / representative / /

ProgrammingLanguage

L / /

Technology

Reduction Algorithm / elimination algorithm / SCAN algorithm / 0 2.5 The SCAN Algorithm The SCAN algorithm / /

SocialTag