Search Sciweavers | Sciweavers

448 search results - page 32 / 90

» Answer Set Programming: A Primer

click to vote

ASP
2003
Springer

98views Automated Reasoning» more ASP 2003»

Lukaszewicz-style Answer Set Programming: A Preliminary Report

15 years 10 months ago

Download sunsite.informatik.rwth-aachen.de

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

claim paper

Read More »

123

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 10 months ago

Download sunsite.informatik.rwth-aachen.de

Yuliya Lierler, Marco Maratea

claim paper

Read More »

140

click to vote

AGP
2010
IEEE

295views Artificial Intelligence» more AGP 2010»

Answer Set Programming

15 years 10 months ago

Download cs.engr.uky.edu

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

claim paper

Read More »

127

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 »

126

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

Sciweavers

Explore & Download

Productivity Tools

Sciweavers