4573 search results - page 492 / 915 » Automated Reasoning |
137
click to vote
LPNMR
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We present a new answer set solver nomore++. Distinguishing features include its treatment of heads and bodies equitably as computational objects and a new hybrid lookahe...
132
click to vote
LPNMR
2005
Springer
15 years 10 months ago
2005
Springer
Given two classes of logic programs, we may be interested in modular translations from one class into the other that are sound wth respect to the answer set semantics. The main the...
131
click to vote
TARK
2005
Springer
15 years 10 months ago
2005
Springer
In this paper, we provide a notion of structure preserving maps (i.e. knowledge-belief morphisms) between knowledge-belief spaces. Then we show that - under the condition that the...
134
Voted
CSL
2004
Springer
15 years 10 months ago
2004
Springer
By viewing random 3-SAT as a distributional problem, we go over some of the notions of average-case complexity that were considered in the literature. We note that for dense formul...
142
click to vote
CSL
2004
Springer
15 years 10 months ago
2004
Springer
Interpretation of Proofs: Classical Propositional Calculus Martin Hyland DPMMS, Centre for Mathematical Sciences, University of Cambridge, England Representative abstract interpret...