Search Sciweavers | Sciweavers

2084 search results - page 44 / 417

» Set Constraints in Logic Programming

click to vote

ASP
2003
Springer

131views Automated Reasoning» more ASP 2003»

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

14 years 1 months ago

Download sunsite.informatik.rwth-aachen.de

Yuliya Lierler, Marco Maratea

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 14 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

14 years 12 days ago

Download gpd.sip.ucm.es

Francisco Javier López-Fraguas, Jaime S&aac...

claim paper

Read More »

click to vote

ELP
1992

112views Logical Reasoning» more ELP 1992»

Embedding Finite Sets in a Logic Programming Language

14 years 1 days ago

Download users.dimi.uniud.it

Agostino Dovier, Eugenio G. Omodeo, Enrico Pontell...

claim paper

Read More »

click to vote

AAAI
2006

102views Intelligent Agents» more AAAI 2006»

Elementary Sets of Logic Programs

13 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers