Search Sciweavers | Sciweavers

7167 search results - page 32 / 1434

» Answer Set Programming

click to vote

LPNMR
2004
Springer

105views Automated Reasoning» more LPNMR 2004»

Answer Sets: From Constraint Programming Towards Qualitative Optimization

14 years 4 months ago

Download www.informatik.uni-leipzig.de

Gerhard Brewka

claim paper

Read More »

click to vote

ASP
2003
Springer

98views Automated Reasoning» more ASP 2003»

Lukaszewicz-style Answer Set Programming: A Preliminary Report

14 years 4 months ago

Download sunsite.informatik.rwth-aachen.de

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

claim paper

Read More »

click to vote

ASP
2003
Springer

131views Automated Reasoning» more ASP 2003»

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

14 years 4 months ago

Download sunsite.informatik.rwth-aachen.de

Yuliya Lierler, Marco Maratea

claim paper

Read More »

click to vote

AGP
2010
IEEE

295views Artificial Intelligence» more AGP 2010»

Answer Set Programming

14 years 4 months ago

Download cs.engr.uky.edu

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

claim paper

Read More »

click to vote

ASP
2001
Springer

115views Automated Reasoning» more ASP 2001»

Dynamical Properties of Answer Set Programs

14 years 3 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 »

« Prev « First page 32 / 1434 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers