1368 search results - page 116 / 274 » Personality-Based Practical Reasoning |
138
Voted
MKM
2007
Springer
15 years 9 months ago
2007
Springer
An axiomatic theory represents mathematical knowledge declaratively as a set of axioms. An algorithmic theory represents mathematical knowledge procedurally as a set of algorithms....
111
click to vote
SEMWEB
2007
Springer
15 years 9 months ago
2007
Springer
In this paper we address the problem of migrating instances between heterogeneous overlapping ontologies. The instance migration problem arises when one wants to reclassify a set o...
108
click to vote
TIME
2005
IEEE
15 years 9 months ago
2005
IEEE
Abstract— We present a specification language and algorithms for the online and offline monitoring of synchronous systems including circuits and embedded systems. Such monitori...
133
click to vote
MATES
2005
Springer
15 years 8 months ago
2005
Springer
One aspect of rational behavior is that agents can pursue multiple goals in parallel. Current BDI theory and systems do not provide a theoretical or architectural framework for dec...
120
Voted
SSD
2001
Springer
15 years 7 months ago
2001
Springer
The notion of time granularity comes into play in a variety of problems involving time representation and management in database applications, including temporal database design, t...