Sciweavers

3775 search results - page 304 / 755
» The Expression Problem Revisited
Sort
View
ICAI
2004
15 years 8 months ago
Mixed-Initiative Ontology Learning
This paper presents a mixed-initiative assistant that supports a subject matter expert to extend the ontology of a learning agent, in order to express the subtle distinctions he ma...
Cristina Boicu, Gheorghe Tecuci
DLOG
2003
15 years 8 months ago
Restricted Role-value-maps in a Description Logic with Existential Restrictions and Terminological Cycles
In a previous paper we have investigated subsumption in the presence of terminological cycles for the description logic EL, which allows conjunctions, existential restrictions, an...
Franz Baader
EUSFLAT
2003
15 years 8 months ago
Fuzzy-evidence approach to uncertainty modelling and reliability
Conventional approach to mathematical description of experiments applies probability theory. Here, another approach is used to express uncertainty based on probability, fuzzy sets...
Bohdan S. Butkiewicz
FLAIRS
2003
15 years 8 months ago
On the Computational Complexity of Spatio-Temporal Logics
Recently, a hierarchy of spatio-temporal languages based on the propositional temporal logic PTL and the spatial languages RCC-8, BRCC-8 and S4u has been introduced. Although a nu...
David Gabelaia, Roman Kontchakov, Agi Kurucz, Fran...
UAI
2003
15 years 8 months ago
A Logic for Reasoning about Evidence
We introduce a logic for reasoning about evidence that essentially views evidence as a function from prior beliefs (before making an observation) to posterior beliefs (after makin...
Joseph Y. Halpern, Riccardo Pucella