Sciweavers

5818 search results - page 292 / 1164
» A reasonable Semantic Web
Sort
View
ECSQARU
2007
Springer
16 years 1 months ago
Extending Description Logics with Uncertainty Reasoning in Possibilistic Logic
Possibilistic logic provides a convenient tool for dealing with inconsistency and handling uncertainty. In this paper, we propose possibilistic description logics as an extension o...
Guilin Qi, Jeff Z. Pan, Qiu Ji
VL
2000
IEEE
115views Visual Languages» more  VL 2000»
15 years 11 months ago
SD2: A Sound and Complete Diagrammatic Reasoning System
SD2 is a system of Venn-type diagrams that can be used to reason diagrammatically about sets, their cardinalities and their relationships. They augment the systems of Venn-Peirce ...
John Howse, Fernando Molina, John Taylor
DOLAP
2005
ACM
15 years 9 months ago
Modeling, querying and reasoning about OLAP databases: a functional approach
We propose a new functional framework for modeling, querying and reasoning about OLAP databases. The framework represents data (data cubes and dimensional hierarchies) and queryin...
Ken Q. Pu
FLAIRS
2006
15 years 8 months ago
Representation and Reasoning for Deeper Natural Language Understanding in a Physics Tutoring System
Students' natural language (NL) explanations in the domain of qualitative mechanics lie in-between unrestricted NL and the constrained NL of "proper" domain stateme...
Maxim Makatchev, Kurt VanLehn, Pamela W. Jordan, U...
AAAI
1996
15 years 8 months ago
Reasoning about Continuous Processes
Overcoming the disadvantages of equidistant discretization of continuous actions, we introduce an approach that separates time into slices of varying length bordered by certain ev...
Christoph S. Herrmann, Michael Thielscher