Sciweavers

9719 search results - page 47 / 1944

» Answer Set Optimization

13

ASP
2003
Springer

98views Automated Reasoning» more ASP 2003»

Lukaszewicz-style Answer Set Programming: A Preliminary Report

14 years 3 months ago

Lukaszewicz-style Answer Set Programming: A Preliminary Report

Download sunsite.informatik.rwth-aachen.de

James P. Delgrande, Mona Gharib, Robert E. Mercer,...

claim paper

Read More »

30

ASP
2003
Springer

131views Automated Reasoning» more ASP 2003»

Computing Answer Sets of a Logic Program via-enumeration of SAT certificates

14 years 3 months ago

Computing Answer Sets of a Logic Program via-enumeration of SAT certificates

Download sunsite.informatik.rwth-aachen.de

Yuliya Lierler, Marco Maratea

claim paper

Read More »

22

ICLP
2003
Springer

90views Automated Reasoning» more ICLP 2003»

Adding Preferences to Answer Set Planning

14 years 3 months ago

Adding Preferences to Answer Set Planning

Download www.cs.nmsu.edu

Tran Cao Son, Enrico Pontelli

claim paper

Read More »

38

AGP
2010
IEEE

295views Artificial Intelligence» more AGP 2010»

Answer Set Programming

14 years 3 months ago

Answer Set Programming

Download cs.engr.uky.edu

Piero A. Bonatti, Francesco Calimeri, Nicola Leone...

claim paper

Read More »

40

KR
2010
Springer

248views Automated Reasoning» more KR 2010»

Tractable Answer-Set Programming with Weight Constraints: Bounded Treewidth Is not Enough

14 years 2 months ago

Tractable Answer-Set Programming with Weight Constraints: Bounded Treewidth Is not Enough

Download www.dbai.tuwien.ac.at

Cardinality constraints or, more generally, weight constraints are well recognized as an important extension of answer-set programming. Clearly, all common algorithmic tasks relat...

Reinhard Pichler, Stefan Rümmele, Stefan Szei...

claim paper

Read More »

« Prev « First page 47 / 1944 Last » Next »