Search Sciweavers | Sciweavers

9719 search results - page 43 / 1944

» Answer Set Optimization

click to vote

ECAI
2010
Springer

222views Artificial Intelligence» more ECAI 2010»

On Semantic Update Operators for Answer-Set Programs

13 years 11 months ago

Download centria.di.fct.unl.pt

Logic programs under the stable models semantics, or answer-set programs, provide an expressive rule based knowledge representation framework, featuring formal, declarative and wel...

Martin Slota, João Leite

claim paper

Read More »

click to vote

WIA
2009
Springer

288views Artificial Intelligence» more WIA 2009»

Compact Representation for Answer Sets of n-ary Regular Queries

14 years 4 months ago

Download www.kmonos.net

Kazuhiro Inaba, Haruo Hosoya

claim paper

Read More »

click to vote

ECSQARU
2009
Springer

107views Automated Reasoning» more ECSQARU 2009»

Encoding the Revision of Partially Preordered Information in Answer Set Programming

14 years 4 months ago

Download piccard.esil.univmed.fr

Mariette Sérayet, Pierre Drap, Odile Papini

claim paper

Read More »

click to vote

LPNMR
2009
Springer

207views Automated Reasoning» more LPNMR 2009»

Integrating Answer Set Programming and Satisfiability Modulo Theories

14 years 4 months ago

Download www.datalog20.org

Ilkka Niemelä

claim paper

Read More »

click to vote

LPNMR
2009
Springer

92views Automated Reasoning» more LPNMR 2009»

The Second Answer Set Programming Competition

14 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers