Search Sciweavers | Sciweavers

36 search results - page 1 / 8

» asp 2003

164

click to vote

ASP
2003
Springer

131views Automated Reasoning» more ASP 2003»

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

16 years 17 days ago

Download sunsite.informatik.rwth-aachen.de

Yuliya Lierler, Marco Maratea

claim paper

Read More »

119

click to vote

ASP
2003
Springer

103views Automated Reasoning» more ASP 2003»

OntoDLP: a Logic Formalism for Knowledge Representation

16 years 17 days ago

Download sunsite.informatik.rwth-aachen.de

Francesco Calimeri, Stefania Galizia, Massimo Ruff...

claim paper

Read More »

173

click to vote

ASP
2003
Springer

109views Automated Reasoning» more ASP 2003»

The A-Pol System

16 years 17 days ago

Download sunsite.informatik.rwth-aachen.de

Abstract. Answer Set Programming (ASP) is a formalism widely used for knowl

Mauricio Osorio, Enrique Corona

claim paper

Read More »

120

click to vote

ASP
2003
Springer

159views Automated Reasoning» more ASP 2003»

Aggregate Functions in DLV

16 years 17 days ago

Download sunsite.informatik.rwth-aachen.de

Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Ni...

claim paper

Read More »

111

click to vote

ASP
2003
Springer

98views Automated Reasoning» more ASP 2003»

Lukaszewicz-style Answer Set Programming: A Preliminary Report

16 years 17 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers