Search Sciweavers | Sciweavers

1781 search results - page 32 / 357

» Functional Answer Set Programming

109

click to vote

KR
2004
Springer

139views Automated Reasoning» more KR 2004»

Combining Answer Set Programming with Description Logics for the Semantic Web

15 years 10 months ago

Download www.kr.tuwien.ac.at

Thomas Eiter, Thomas Lukasiewicz, Roman Schindlaue...

claim paper

Read More »

126

click to vote

LPNMR
2004
Springer

118views Automated Reasoning» more LPNMR 2004»

Towards Systematic Benchmarking in Answer Set Programming: The Dagstuhl Initiative

15 years 10 months ago

Download www.cs.uni-potsdam.de

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

claim paper

Read More »

112

click to vote

LPNMR
2004
Springer

105views Automated Reasoning» more LPNMR 2004»

Answer Sets: From Constraint Programming Towards Qualitative Optimization

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

15 years 9 months ago

Download sunsite.informatik.rwth-aachen.de

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

claim paper

Read More »

119

click to vote

ASP
2003
Springer

131views Automated Reasoning» more ASP 2003»

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

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers