Search Sciweavers | Sciweavers

811 search results - page 16 / 163

» Semantic Web Reasoning with Conceptual Logic Programs

click to vote

RR
2009
Springer

77views Automated Reasoning» more RR 2009»

Scalable Web Reasoning Using Logic Programming Techniques

14 years 2 months ago

Download www.aifb.uni-karlsruhe.de

Gergely Lukácsy, Péter Szeredi

claim paper

Read More »

click to vote

ICLP
2010
Springer

137views Automated Reasoning» more ICLP 2010»

Program analysis for code duplication in logic programs

13 years 11 months ago

Download drops.dagstuhl.de

Abstract. In this PhD project, we deal with the issue of code duplication in logic programs. In particular semantical duplication or redundancy is generally viewed as a possible se...

Celine Dandois

claim paper

Read More »

click to vote

ICLP
2005
Springer

106views Automated Reasoning» more ICLP 2005»

Denotational Semantics Using Horn Concurrent Transaction Logic

14 years 1 months ago

Download www.scs.ryerson.ca

Marcus Vinicius Santos

claim paper

Read More »

click to vote

RULEML
2004
Springer

104views Internet Technology» more RULEML 2004»

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

14 years 1 months ago

Download www.kr.tuwien.ac.at

Thomas Eiter, Thomas Lukasiewicz, Roman Schindlaue...

claim paper

Read More »

click to vote

FUIN
2008

116views more FUIN 2008»

Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web

13 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers