Search Sciweavers | Sciweavers

811 search results - page 16 / 163

» Semantic Web Reasoning with Conceptual Logic Programs

105

click to vote

RR
2009
Springer

77views Automated Reasoning» more RR 2009»

Scalable Web Reasoning Using Logic Programming Techniques

15 years 10 months ago

Download www.aifb.uni-karlsruhe.de

Gergely Lukácsy, Péter Szeredi

claim paper

Read More »

133

Voted

ICLP
2010
Springer

137views Automated Reasoning» more ICLP 2010»

Program analysis for code duplication in logic programs

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

103

Voted

ICLP
2005
Springer

106views Automated Reasoning» more ICLP 2005»

Denotational Semantics Using Horn Concurrent Transaction Logic

15 years 9 months ago

Download www.scs.ryerson.ca

Marcus Vinicius Santos

claim paper

Read More »

111

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

Download www.kr.tuwien.ac.at

Thomas Eiter, Thomas Lukasiewicz, Roman Schindlaue...

claim paper

Read More »

117

Voted

FUIN
2008

116views more FUIN 2008»

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

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers