V. W. Marek | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat AI Photo Editor

Featured Co-authors

J. B. Remmel
2 publications

research

∙ 05/02/2009

An Application of Proof-Theory in Answer Set Programming

We apply proof-theoretic techniques in answer Set Programming. The main ...

0 V. W. Marek, et al. ∙

research

∙ 04/25/2009

Guarded resolution for answer set programming

We describe a variant of resolution rule of proof and show that it is co...

0 V. W. Marek, et al. ∙