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

15 years 4 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

15 years 1 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

15 years 3 months ago

Download www.scs.ryerson.ca

Marcus Vinicius Santos

claim paper

Read More »

Voted

RULEML
2004
Springer

104views Internet Technology» more RULEML 2004»

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

15 years 2 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

14 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers