Sciweavers

7335 search results - page 411 / 1467
» Scene Based Reasoning
Sort
View
ECSQARU
2007
Springer
15 years 11 months ago
Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics
In this paper, we propose an approach for measuring inconsistency in inconsistent ontologies. We first define the degree of inconsistency of an inconsistent ontology using a four...
Yue Ma, Guilin Qi, Pascal Hitzler, Zuoquan Lin
ER
2007
Springer
111views Database» more  ER 2007»
15 years 11 months ago
Provability-Based Semantic Interoperability Via Translation Graphs
Provability-based semantic interoperability (PBSI) is a kind of interoperability that transcends mere syntactic translation to allow for robust, meaningful information exchange acr...
Joshua Taylor, Andrew Shilliday, Selmer Bringsjord
MMMACNS
2005
Springer
15 years 10 months ago
A Modal Logic for Role-Based Access Control
Making correct access-control decisions is central to security, which in turn requires accounting correctly for the identity, credentials, roles, authority, and privileges of users...
Thumrongsak Kosiyatrakul, Susan Older, Shiu-Kai Ch...
128
Voted
RULEML
2005
Springer
15 years 10 months ago
A Semantic Web Based Architecture for e-Contracts in Defeasible Logic
Abstract. We introduce the DR-CONTRACT architecture to represent and reason on e-Contracts. The architecture extends the DR-device architecture by a deontic defeasible logic of vio...
Guido Governatori, Duy Hoang
KR
2004
Springer
15 years 10 months ago
A Logic-Based Formulation of Active Visual Perception
Building on earlier attempts to characterise robot perception as a form of abduction, this paper presents a logical account of active visual perception in the context of an upper-...
Murray Shanahan, David A. Randell