Search Sciweavers | Sciweavers

3470 search results - page 289 / 694

» Head-Elementary-Set-Free Logic Programs

149

click to vote

RULEML
2004
Springer

104views Internet Technology» more RULEML 2004»

Well-Founded Semantics for Description Logic Programs in the Semantic Web

15 years 12 months ago

Download www.kr.tuwien.ac.at

Thomas Eiter, Thomas Lukasiewicz, Roman Schindlaue...

claim paper

Read More »

142

click to vote

ASP
2003
Springer

131views Automated Reasoning» more ASP 2003»

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

15 years 11 months ago

Download sunsite.informatik.rwth-aachen.de

Yuliya Lierler, Marco Maratea

claim paper

Read More »

142

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

Download www.aaai.org

Stefania Costantini

claim paper

Read More »

138

click to vote

ERSHOV
2001
Springer

59views Theoretical Computer Science» more ERSHOV 2001»

On Expressive and Model Checking Power of Propositional Program Logics

15 years 11 months ago

Download www.iis.nsk.su

Nikolay V. Shilov, Kwang Yi

claim paper

Read More »

117

click to vote

FASE
2001
Springer

85views Software Engineering» more FASE 2001»

Physical Programming: Beyond Mere Logic

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers