2291 search results - page 301 / 459 » Representational Reasoning and Verification |
114
Voted
EACL
1993
ACL Anthology
15 years 2 months ago
1993
ACL Anthology
Linguistic access to uncertain quantitative knowledge about physical properties is provided by dimensional adjectives, e.g. long-short in the spatial and temporal senses, near-far...
128
click to vote
DKE
2008
15 years 25 days ago
2008
In this work, we present the design and implementation of a system for proof explanation in the Semantic Web, based on defeasible reasoning. Trust is a vital feature for Semantic ...
83
Voted
JUCS
2002
15 years 13 days ago
2002
: Our work is concerned with the design of a knowledge-based system for recognizing agricultural landscape models on land-use maps. Landscape models are defined as sets of spatial ...
82
Voted
DALT
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. Norm-aware agents are able to reason about the obligations, permissions and prohibitions that affect their operation. While much work has focused on the creation of such ...
123
click to vote
WWW
2011
ACM
14 years 7 months ago
2011
ACM
We propose a description-logic style extension of OWL 2 with nominal schemas which can be used like“variable nominal classes”within axioms. This feature allows ontology langua...