Sciweavers

9719 search results - page 47 / 1944

» Answer Set Optimization

90

ASP
2003
Springer

98views Automated Reasoning» more ASP 2003»

Lukaszewicz-style Answer Set Programming: A Preliminary Report

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

129

ASP
2003
Springer

131views Automated Reasoning» more ASP 2003»

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

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

142

ICLP
2003
Springer

90views Automated Reasoning» more ICLP 2003»

Adding Preferences to Answer Set Planning

15 years 11 months ago

Adding Preferences to Answer Set Planning

Download www.cs.nmsu.edu

Tran Cao Son, Enrico Pontelli

claim paper

Read More »

150

AGP
2010
IEEE

295views Artificial Intelligence» more AGP 2010»

Answer Set Programming

15 years 11 months ago

Answer Set Programming

Download cs.engr.uky.edu

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

claim paper

Read More »

175

KR
2010
Springer

248views Automated Reasoning» more KR 2010»

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

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