Search Sciweavers | Sciweavers

7167 search results - page 26 / 1434

» Answer Set Programming

206

Voted

JELIA
2010
Springer

227views Artificial Intelligence» more JELIA 2010»

Translating First-Order Causal Theories into Answer Set Programming

15 years 5 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 »

188

Voted

CADE
2001
Springer

161views Logical Reasoning» more CADE 2001»

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

16 years 7 months ago

Download www.cs.uni-potsdam.de

Christian Anger, Kathrin Konczak, Thomas Linke

claim paper

Read More »

145

click to vote

ICLP
2007
Springer

138views Automated Reasoning» more ICLP 2007»

Answer Set Programming for the Semantic Web

16 years 28 days ago

Download www.kr.tuwien.ac.at

Thomas Eiter

claim paper

Read More »

158

click to vote

ICLP
2007
Springer

78views Automated Reasoning» more ICLP 2007»

Preferences, Contexts and Answer Sets

16 years 28 days ago

Download www.informatik.uni-leipzig.de

Gerhard Brewka

claim paper

Read More »

152

click to vote

ICLP
2003
Springer

90views Automated Reasoning» more ICLP 2003»

Adding Preferences to Answer Set Planning

15 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers