Search Sciweavers | Sciweavers

7167 search results - page 26 / 1434

» Answer Set Programming

click to vote

JELIA
2010
Springer

227views Artificial Intelligence» more JELIA 2010»

Translating First-Order Causal Theories into Answer Set Programming

13 years 9 months ago

Download www.cs.utexas.edu

Abstract. Nonmonotonic causal logic became a basis for the semantics of several expressive action languages. Norman McCain and Paolo Ferraris showed how to embed propositional caus...

Vladimir Lifschitz, Fangkai Yang

claim paper

Read More »

click to vote

CADE
2001
Springer

161views Logical Reasoning» more CADE 2001»

NoMoRe : A System for Non-monotonic Reasoning with Logic Programs under Answer Set Semantics

14 years 11 months ago

Download www.cs.uni-potsdam.de

Christian Anger, Kathrin Konczak, Thomas Linke

claim paper

Read More »

click to vote

ICLP
2007
Springer

138views Automated Reasoning» more ICLP 2007»

Answer Set Programming for the Semantic Web

14 years 5 months ago

Download www.kr.tuwien.ac.at

Thomas Eiter

claim paper

Read More »

click to vote

ICLP
2007
Springer

78views Automated Reasoning» more ICLP 2007»

Preferences, Contexts and Answer Sets

14 years 5 months ago

Download www.informatik.uni-leipzig.de

Gerhard Brewka

claim paper

Read More »

click to vote

ICLP
2003
Springer

90views Automated Reasoning» more ICLP 2003»

Adding Preferences to Answer Set Planning

14 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers