Search Sciweavers | Sciweavers

3090 search results - page 31 / 618

» On Testing Answer-Set Programs

129

click to vote

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

Download sunsite.informatik.rwth-aachen.de

Yuliya Lierler, Marco Maratea

claim paper

Read More »

149

click to vote

AGP
2010
IEEE

295views Artificial Intelligence» more AGP 2010»

Answer Set Programming

15 years 11 months ago

Download cs.engr.uky.edu

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

claim paper

Read More »

137

click to vote

ASP
2001
Springer

115views Automated Reasoning» more ASP 2001»

Dynamical Properties of Answer Set Programs

15 years 10 months ago

Download www.aaai.org

Abstract Howard A. Blair EECSDept., 2-177 SciTech Syracuse University Syracuse, NY13210 USA

Howard A. Blair

claim paper

Read More »

135

click to vote

ASP
2001
Springer

133views Automated Reasoning» more ASP 2001»

Comparing different graph representations of logic programs under the Answer Set semantics

15 years 10 months ago

Download www.aaai.org

Stefania Costantini

claim paper

Read More »

133

click to vote

ASP
2001
Springer

89views Automated Reasoning» more ASP 2001»

Tabular Constraint-Satisfaction Problems and Answer Set Programming

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers