630 search results - page 3 / 126 » Combining Two Formalism for Reasoning about Concepts |
IPL
2008
13 years 6 months ago
2008
Undefined terms involving the application of partial functions and operators are common in program specifications and in discharging proof obligations that arise in design. One wa...
CI
1998
13 years 6 months ago
1998
This paper presents a point based spatio-temporal rst order logic for representing the qualitative and quantitative spatial temporal knowledge needed to reason about motion in a t...
DLOG
2011
12 years 9 months ago
2011
We introduce an extension of Description Logics (DLs) for representing and reasoning about contextualized knowledge. Our formalism is inspired by McCarthy’s theory of formalizing...
ISMIS
1994
Springer
13 years 10 months ago
1994
Springer
We assume that safety of information stored in a database depends on the reliability of the agents who have performed the insertions in the database. We present a logic S to repres...
FLAIRS
2008
13 years 8 months ago
2008
Typical application fields of spatial and spatio-temporal representation formalisms and reasoning techniques include geographic information systems (GIS), mobile assistance system...