Search Sciweavers | Sciweavers

461 search results - page 35 / 93

» Component-Based Answer Set Programming

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 »

150

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 »

135

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

Download www.aaai.org

Raphael A. Finkel, Victor W. Marek, Miroslaw Trusz...

claim paper

Read More »

123

click to vote

FLOPS
2008
Springer

86views Automated Reasoning» more FLOPS 2008»

Model-Based Knowledge Representation and Reasoning Via Answer Set Programming

15 years 7 months ago

Download www.iam.unibe.ch

Torsten Schaub

claim paper

Read More »

141

click to vote

AAAI
2006

132views Intelligent Agents» more AAAI 2006»

Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers