Search Sciweavers | Sciweavers

3090 search results - page 30 / 618

» On Testing Answer-Set Programs

click to vote

JELIA
2004
Springer

105views Artificial Intelligence» more JELIA 2004»

A System with Template Answer Set Programs

14 years 3 months ago

Download www.mat.unical.it

Abstract. Although ASP systems have been extended in many directions, they still miss features which may be helpful towards industrial applications, like capabilities of quickly in...

Francesco Calimeri, Giovambattista Ianni, Giuseppe...

claim paper

Read More »

click to vote

KR
2004
Springer

139views Automated Reasoning» more KR 2004»

Combining Answer Set Programming with Description Logics for the Semantic Web

14 years 3 months ago

Download www.kr.tuwien.ac.at

Thomas Eiter, Thomas Lukasiewicz, Roman Schindlaue...

claim paper

Read More »

click to vote

LPNMR
2004
Springer

118views Automated Reasoning» more LPNMR 2004»

Towards Systematic Benchmarking in Answer Set Programming: The Dagstuhl Initiative

14 years 3 months ago

Download www.cs.uni-potsdam.de

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

claim paper

Read More »

click to vote

LPNMR
2004
Springer

105views Automated Reasoning» more LPNMR 2004»

Answer Sets: From Constraint Programming Towards Qualitative Optimization

14 years 3 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 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers