Sciweavers

1002 search results - page 96 / 201
» Reasoning about Object Structures Using Ownership
Sort
View
SEMWEB
2009
Springer
15 years 8 months ago
A Solution for the Man-Man Problem in the Family History Knowledge Base
The Family History Knowledge Base (FHKB) was presented at OWLED in 2008. The FHKB uses a rich object property hierarchy, including many OWL 2 features, to derive many entailments o...
Dmitry Tsarkov, Ulrike Sattler, Robert Stevens
KR
2004
Springer
15 years 7 months ago
Regulative and Constitutive Norms in Normative Multiagent Systems
In this paper we introduce a formal framework for the construction of normative multiagent systems, based on Searle’s notion of the construction of social reality. Within the st...
Guido Boella, Leendert W. N. van der Torre
ICASSP
2009
IEEE
15 years 9 months ago
Exploiting T-junctions for depth segregation in single images
Occlusion is one of the major consequences of the physical image generation process: it occurs when an opaque object partly obscures the view of another object further away from t...
Mariella Dimiccoli, Philippe Salembier
118
Voted
ATAL
2010
Springer
15 years 3 months ago
Merging example plans into generalized plans for non-deterministic environments
We present a new approach for finding generalized contingent plans with loops and branches in situations where there is uncertainty in state properties and object quantities, but ...
Siddharth Srivastava, Neil Immerman, Shlomo Zilber...
SIGSOFT
2010
ACM
15 years 2 days ago
Representation dependence testing using program inversion
The definition of a data structure may permit many different concrete representations of the same logical content. A (client) program that accepts such a data structure as input i...
Aditya Kanade, Rajeev Alur, Sriram K. Rajamani, Ga...