Search Sciweavers | Sciweavers

9719 search results - page 43 / 1944

» Answer Set Optimization

179

click to vote

ECAI
2010
Springer

222views Artificial Intelligence» more ECAI 2010»

On Semantic Update Operators for Answer-Set Programs

15 years 7 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 »

160

click to vote

WIA
2009
Springer

288views Artificial Intelligence» more WIA 2009»

Compact Representation for Answer Sets of n-ary Regular Queries

16 years 17 days ago

Download www.kmonos.net

Kazuhiro Inaba, Haruo Hosoya

claim paper

Read More »

109

click to vote

ECSQARU
2009
Springer

107views Automated Reasoning» more ECSQARU 2009»

Encoding the Revision of Partially Preordered Information in Answer Set Programming

16 years 16 days ago

Download piccard.esil.univmed.fr

Mariette Sérayet, Pierre Drap, Odile Papini

claim paper

Read More »

150

click to vote

LPNMR
2009
Springer

207views Automated Reasoning» more LPNMR 2009»

Integrating Answer Set Programming and Satisfiability Modulo Theories

16 years 15 days ago

Download www.datalog20.org

Ilkka Niemelä

claim paper

Read More »

111

click to vote

LPNMR
2009
Springer

92views Automated Reasoning» more LPNMR 2009»

The Second Answer Set Programming Competition

16 years 15 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers