Back to Results
First PageMeta Content
Generalization / Atomic formula / Conjunctive normal form / Circumscription / Logic programming / First-order logic / Logic / Predicate logic / Well-formed formula


A Reduction Result for Circumscribed Semi-Horn Formulas Patrick Doherty Witold L ukaszewiczy
Add to Reading List

Document Date: 2012-02-03 06:11:00

Open Document

File Size: 175,20 KB

Share Result on Facebook

City

Warsaw / /

Country

Poland / Sweden / /

Currency

pence / /

/

Facility

Warsaw University / /

IndustryTerm

elimination algorithm / deductive systems / proof systems / /

Organization

Warsaw University / Swedish Council for Engineering Sciences / Department of Computer and Information Science / /

Person

Ai / Semi-Horn Formulas Patrick Doherty Witold / Horn Clause / /

Technology

DLS algorithm / elimination algorithm / 3.1 DLS Algorithm / nd algorithms / /

SocialTag