139 search results - page 17 / 28 » Ontologies as Contexts for Constraint-based Reasoning |
KR
2004
Springer
15 years 5 months ago
2004
Springer
This paper offers two main contributions. On the one hand, it establishes a general formal framework for developing a foundational ontology of socially constructed entities, in th...
115
click to vote
AAAI
2012
13 years 2 months ago
2012
Temporal Action Logics (TAL) is a class of temporal logics for reasoning about actions. We present a reformulation of TAL in Answer Set Programming (ASP), and discuss some synergi...
KES
2004
Springer
15 years 5 months ago
2004
Springer
ConceptNet is a very large semantic network of commonsense knowledge suitable for making various kinds of practical inferences over text. ConceptNet captures a wide range of common...
DLOG
2007
15 years 2 months ago
2007
Abstract. In the paper we propose a method of structuring a knowledge base into hierarchically related contexts and present how this arrangement influences the structure of TBox a...
OTM
2005
Springer
15 years 5 months ago
2005
Springer
In ubiquitous computing, behavior routine learning is the process of mining the context-aware data to find interesting rules on the user’s behavior, while preference learning tri...