Search Sciweavers | Sciweavers

7167 search results - page 26 / 1434

» Answer Set Programming

134

click to vote

JELIA
2010
Springer

227views Artificial Intelligence» more JELIA 2010»

Translating First-Order Causal Theories into Answer Set Programming

15 years 18 days 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 »

140

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 2 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

15 years 8 months ago

Download www.kr.tuwien.ac.at

Thomas Eiter

claim paper

Read More »

110

click to vote

ICLP
2007
Springer

78views Automated Reasoning» more ICLP 2007»

Preferences, Contexts and Answer Sets

15 years 8 months ago

Download www.informatik.uni-leipzig.de

Gerhard Brewka

claim paper

Read More »

102

click to vote

ICLP
2003
Springer

90views Automated Reasoning» more ICLP 2003»

Adding Preferences to Answer Set Planning

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers