Search Sciweavers | Sciweavers

9719 search results - page 45 / 1944

» Answer Set Optimization

click to vote

ICLP
2007
Springer

138views Automated Reasoning» more ICLP 2007»

Answer Set Programming for the Semantic Web

14 years 4 months ago

Download www.kr.tuwien.ac.at

Thomas Eiter

claim paper

Read More »

click to vote

BIRTHDAY
2005
Springer

90views Applied Computing» more BIRTHDAY 2005»

Mathematical Foundations of Answer Set Programming

14 years 3 months ago

Download www.krlab.cs.ttu.edu

Paolo Ferraris, Vladimir Lifschitz

claim paper

Read More »

click to vote

CAEPIA
2005
Springer

56views Artificial Intelligence» more CAEPIA 2005»

Preferences in Answer Set Programming

14 years 3 months ago

Download opus.kobv.de

Gerhard Brewka

claim paper

Read More »

click to vote

LPNMR
2005
Springer

97views Automated Reasoning» more LPNMR 2005»

Integrating an Answer Set Solver into Prolog: ASP-PROLOG

14 years 3 months ago

Download www.cs.nmsu.edu

Omar El-Khatib, Enrico Pontelli, Tran Cao Son

claim paper

Read More »

click to vote

LPNMR
2005
Springer

105views Automated Reasoning» more LPNMR 2005»

Platypus: A Platform for Distributed Answer Set Solving

14 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers