Search Sciweavers | Sciweavers

2395 search results - page 72 / 479

» Reasoning in Semantic Wikis

click to vote

ASWC
2008
Springer

104views Internet Technology» more ASWC 2008»

Scalable Distributed Ontology Reasoning Using DHT-Based Partitioning

14 years 11 months ago

Download grid.tsinghua.edu.cn

Abstract. Ontology reasoning is an indispensable step to fully exploit the implicit semantics of Semantic Web data. The inherent distribution characteristic of the Semantic Web and...

Qiming Fang, Ying Zhao, Guangwen Yang, Weimin Zhen...

claim paper

Read More »

click to vote

ICFP
2010
ACM

170views Programming Languages» more ICFP 2010»

The impact of higher-order state and control effects on local relational reasoning

14 years 11 months ago

Download www.itu.dk

Reasoning about program equivalence is one of the oldest problems in semantics. In recent years, useful techniques have been developed, based on bisimulations and logical relation...

Derek Dreyer, Georg Neis, Lars Birkedal

claim paper

Read More »

click to vote

ECAI
2004
Springer

82views Artificial Intelligence» more ECAI 2004»

Paraconsistent Preferential Reasoning by Signed Quantified Boolean Formulae

15 years 1 months ago

Download www2.mta.ac.il

We introduce a uniform approach of representing a variety of paraconsistent non-monotonic formalisms by quantified Boolean formulae (QBFs) in the context of four-valued semantics. ...

Ofer Arieli

claim paper

Read More »

click to vote

KR
2004
Springer

139views Automated Reasoning» more KR 2004»

Combining Answer Set Programming with Description Logics for the Semantic Web

15 years 3 months ago

Download www.kr.tuwien.ac.at

Thomas Eiter, Thomas Lukasiewicz, Roman Schindlaue...

claim paper

Read More »