Search Sciweavers | Sciweavers

583 search results - page 36 / 117

» Preferences in Answer Set Programming

145

click to vote

KR
2004
Springer

139views Automated Reasoning» more KR 2004»

Combining Answer Set Programming with Description Logics for the Semantic Web

16 years 11 days ago

Download www.kr.tuwien.ac.at

Thomas Eiter, Thomas Lukasiewicz, Roman Schindlaue...

claim paper

Read More »

170

click to vote

LPNMR
2004
Springer

118views Automated Reasoning» more LPNMR 2004»

Towards Systematic Benchmarking in Answer Set Programming: The Dagstuhl Initiative

16 years 11 days ago

Download www.cs.uni-potsdam.de

Paul Borchert, Christian Anger, Torsten Schaub, Mi...

claim paper

Read More »

159

click to vote

LPNMR
2004
Springer

105views Automated Reasoning» more LPNMR 2004»

Answer Sets: From Constraint Programming Towards Qualitative Optimization

16 years 11 days ago

Download www.informatik.uni-leipzig.de

Gerhard Brewka

claim paper

Read More »

101

click to vote

ASP
2003
Springer

98views Automated Reasoning» more ASP 2003»

Lukaszewicz-style Answer Set Programming: A Preliminary Report

16 years 8 days ago

Download sunsite.informatik.rwth-aachen.de

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

claim paper

Read More »

153

click to vote

ASP
2003
Springer

131views Automated Reasoning» more ASP 2003»

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

16 years 8 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers