Search Sciweavers | Sciweavers

505 search results - page 30 / 101

» Answer Set Programming with Templates

click to vote

BIRTHDAY
2005
Springer

90views Applied Computing» more BIRTHDAY 2005»

Mathematical Foundations of Answer Set Programming

15 years 8 months ago

Download www.krlab.cs.ttu.edu

Paolo Ferraris, Vladimir Lifschitz

claim paper

Read More »

Voted

CAEPIA
2005
Springer

56views Artificial Intelligence» more CAEPIA 2005»

Preferences in Answer Set Programming

15 years 8 months ago

Download opus.kobv.de

Gerhard Brewka

claim paper

Read More »

Voted

KR
2004
Springer

139views Automated Reasoning» more KR 2004»

Combining Answer Set Programming with Description Logics for the Semantic Web

15 years 8 months ago

Download www.kr.tuwien.ac.at

Thomas Eiter, Thomas Lukasiewicz, Roman Schindlaue...

claim paper

Read More »

110

Voted

LPNMR
2004
Springer

118views Automated Reasoning» more LPNMR 2004»

Towards Systematic Benchmarking in Answer Set Programming: The Dagstuhl Initiative

15 years 8 months ago

Download www.cs.uni-potsdam.de

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

claim paper

Read More »

104

Voted

ASP
2003
Springer

131views Automated Reasoning» more ASP 2003»

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

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers