Guarded resolution for answer set programming

Feb-21-2010–arXiv.org Artificial Intelligence

We describe a variant of resolution rule of proof and show that it is complete for stable semantics of logic programs. We show applications of this result.

artificial intelligence, logic & formal reasoning, resolution proof, (18 more...)

arXiv.org Artificial Intelligence

Feb-21-2010

arXiv.org PDF

Add feedback

Country:
- North America > United States
  - California > San Diego County
    - La Jolla (0.04)
    - San Diego (0.04)
  - Kentucky > Fayette County
    - Lexington (0.14)

Genre:
- Research Report (0.40)

Technology:
- Information Technology > Artificial Intelligence > Representation & Reasoning > Logic & Formal Reasoning (1.00)

Duplicate Docs Excel Report

Title
None found

Similar Docs Excel Report more

Title	Similarity	Source
None found