4573 search results - page 487 / 915 » Automated Reasoning |
137
click to vote
ECSQARU
2007
Springer
16 years 9 days ago
2007
Springer
A sufficient condition is given for a probability function in Inductive Logic (with relations of all arities) satisfying spectrum exchangeability to additionally satisfy Language ...
169
click to vote
ECSQARU
2007
Springer
16 years 9 days ago
2007
Springer
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...
161
click to vote
ICCBR
2007
Springer
16 years 9 days ago
2007
Springer
This paper presents a multiagent system that provides guidance on leisure facilities and suggestions for shopping in malls. This paper presents a deliberative agent which incorpora...
142
click to vote
ICCBR
2007
Springer
16 years 9 days ago
2007
Springer
In this position paper, we discuss the interdependencies of context models and flexible design processes in the chip industry. We illustrate this by an ontology-based context model...
157
Voted
ICLP
2007
Springer
16 years 9 days ago
2007
Springer
Abstract. The system presented in this paper aims at using Contextual Logic Programming as a computational hub for knowledge modeled by web ontologies and enable querying that repr...