Sciweavers

2386 search results - page 74 / 478
» Representing and Reasoning with Preferences
Sort
View
DAGM
2004
Springer
15 years 3 months ago
Fast Statistically Geometric Reasoning About Uncertain Line Segments in 2D- and 3D-Space
This work addresses the two major drawbacks of current statistical uncertain geometric reasoning approaches. In the first part a framework is presented, that allows to represent u...
Christian Beder
LFP
1992
153views more  LFP 1992»
14 years 11 months ago
Reasoning About Programs in Continuation-Passing Style
The CPS transformation dates back to the early 1970's, where it arose as a technique to represent the control flow of programs in -calculus based programming languages as -te...
Amr Sabry, Matthias Felleisen
KI
2006
Springer
14 years 9 months ago
OWL and Qualitative Reasoning Models
The desire to share and reuse knowledge has led to the establishment of the Web Ontology Language (OWL) knowledge representation language. The Naturnet-Redime project needs to shar...
Jochem Liem, Bert Bredeweg
JAIR
1998
163views more  JAIR 1998»
14 years 9 months ago
A Temporal Description Logic for Reasoning about Actions and Plans
A class of interval-based temporal languages for uniformly representing and reasoning about actions and plans is presented. Actions are represented by describing what is true whil...
Alessandro Artale, Enrico Franconi
FROCOS
2011
Springer
13 years 9 months ago
Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models
Temporal data models have been used to describe how data can evolve in the context of temporal databases. Both the Extended Entity-Relationship (EER) model and the Unified Modelli...
Alessandro Artale, Roman Kontchakov, Vladislav Ryz...