Search Sciweavers | Sciweavers

4126 search results - page 31 / 826

» Set based logic programming

170

click to vote

LPNMR
2007
Springer

169views Automated Reasoning» more LPNMR 2007»

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

16 years 1 days 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 »

147

click to vote

WCFLP
2005
ACM

239views Artificial Intelligence» more WCFLP 2005»

Constraint logic programming over sets of spatial objects

15 years 11 months ago

Download indalog.ual.es

Jesús Manuel Almendros-Jiménez

claim paper

Read More »

124

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 11 months ago

Download www.kr.tuwien.ac.at

Thomas Eiter, Thomas Lukasiewicz, Roman Schindlaue...

claim paper

Read More »

135

click to vote

ASP
2001
Springer

133views Automated Reasoning» more ASP 2001»

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

15 years 10 months ago

Download www.aaai.org

Stefania Costantini

claim paper

Read More »

150

click to vote

LPAR
2001
Springer

95views Automated Reasoning» more LPAR 2001»

Functional Logic Programming with Failure: A Set-Oriented View

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers