Search Sciweavers | Sciweavers

764 search results - page 14 / 153

» On the Expressibility of Stable Logic Programming

click to vote

LPKR
1997
Springer

217views Automated Reasoning» more LPKR 1997»

Disjunctive Logic Programming and Autoepistemic Logic

14 years 6 days ago

Download www.comp.nus.edu.sg

In this paper, we use autoepistemic reasoning semantics to classify various semantics for disjunctive logic programs with default negation. We have observed that two diﬀerent typ...

Li-Yan Yuan, Jia-Huai You, Randy Goebel

claim paper

Read More »

click to vote

ERSHOV
2001
Springer

59views Theoretical Computer Science» more ERSHOV 2001»

On Expressive and Model Checking Power of Propositional Program Logics

14 years 16 days ago

Download www.iis.nsk.su

Nikolay V. Shilov, Kwang Yi

claim paper

Read More »

click to vote

COCO
1997
Springer

81views Algorithms» more COCO 1997»

Complexity and Expressive Power of Logic Programming

14 years 6 days ago

Download cs.roosevelt.edu

Evgeny Dantsin, Thomas Eiter, Georg Gottlob, Andre...

claim paper

Read More »

click to vote

DAGSTUHL
2007

68views Software Engineering» more DAGSTUHL 2007»

Expressing and Verifying Business Contracts with Abductive Logic Programming

13 years 9 months ago

Download drops.dagstuhl.de

Marco Alberti, Federico Chesani, Marco Gavanelli, ...

claim paper

Read More »

click to vote

AMAI
1999
Springer

92views Artificial Intelligence» more AMAI 1999»

Nested Expressions in Logic Programs

13 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers