Search Sciweavers | Sciweavers

443 search results - page 33 / 89

» SAT-Based 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 1 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 1 months ago

Download sunsite.informatik.rwth-aachen.de

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

claim paper

Read More »

click to vote

ASP
2001
Springer

133views Automated Reasoning» more ASP 2001»

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

14 years 9 days ago

Download www.aaai.org

Stefania Costantini

claim paper

Read More »

click to vote

AAAI
2006

132views Intelligent Agents» more AAAI 2006»

Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms

13 years 9 months ago

Download www.jair.org

Tran Cao Son, Enrico Pontelli, Phan Huy Tu

claim paper

Read More »

click to vote

AMAI
2007
Springer

83views Artificial Intelligence» more AMAI 2007»

An introduction to fuzzy answer set programming

13 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers