Search Sciweavers | Sciweavers

7167 search results - page 26 / 1434

» Answer Set Programming

148

click to vote

JELIA
2010
Springer

227views Artificial Intelligence» more JELIA 2010»

Translating First-Order Causal Theories into Answer Set Programming

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

154

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

16 years 4 months ago

Download www.cs.uni-potsdam.de

Christian Anger, Kathrin Konczak, Thomas Linke

claim paper

Read More »

101

Voted

ICLP
2007
Springer

138views Automated Reasoning» more ICLP 2007»

Answer Set Programming for the Semantic Web

15 years 10 months ago

Download www.kr.tuwien.ac.at

Thomas Eiter

claim paper

Read More »

123

click to vote

ICLP
2007
Springer

78views Automated Reasoning» more ICLP 2007»

Preferences, Contexts and Answer Sets

15 years 10 months ago

Download www.informatik.uni-leipzig.de

Gerhard Brewka

claim paper

Read More »

117

click to vote

ICLP
2003
Springer

90views Automated Reasoning» more ICLP 2003»

Adding Preferences to Answer Set Planning

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers