Search Sciweavers | Sciweavers

4126 search results - page 31 / 826

» Set based logic programming

click to vote

LPNMR
2007
Springer

169views Automated Reasoning» more LPNMR 2007»

Alternative Characterizations for Program Equivalence under Answer-Set Semantics: Preliminary Report

14 years 1 months ago

Download www.kr.tuwien.ac.at

Logic programs under answer-set semantics constitute an important tool for declarative problem solving. In recent years, two research issues received growing attention. On the one ...

Martin Gebser, Torsten Schaub, Hans Tompits, Stefa...

claim paper

Read More »

click to vote

WCFLP
2005
ACM

239views Artificial Intelligence» more WCFLP 2005»

Constraint logic programming over sets of spatial objects

14 years 1 months ago

Download indalog.ual.es

Jesús Manuel Almendros-Jiménez

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 27 days ago

Download www.kr.tuwien.ac.at

Thomas Eiter, Thomas Lukasiewicz, Roman Schindlaue...

claim paper

Read More »

click to vote

ASP
2001
Springer

133views Automated Reasoning» more ASP 2001»

Comparing different graph representations of logic programs under the Answer Set semantics

14 years 1 days ago

Download www.aaai.org

Stefania Costantini

claim paper

Read More »

click to vote

LPAR
2001
Springer

95views Automated Reasoning» more LPAR 2001»

Functional Logic Programming with Failure: A Set-Oriented View

13 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers