2649 search results - page 63 / 530 » Temporal Theories of Reasoning |
LPAR
2010
Springer
14 years 10 months ago
2010
Springer
The classic method of Nelson and Oppen for combining decision procedures requires the theories to be stably-infinite. Unfortunately, some important theories do not fall into this...
ATAL
2005
Springer
15 years 5 months ago
2005
Springer
We sketch how to express typical features of agent communication protocols in a simple temporal logic and show that conformance verification at runtime reduces to a generalised f...
ACISICIS
2009
IEEE
15 years 3 months ago
2009
IEEE
Temporal representation and reasoning plays an important role in Data Mining and Knowledge Discovery, particularly, in mining and recognizing patterns with rich temporal informati...
AAAI
1993
15 years 1 months ago
1993
Formal AI systems traditionally represent knowledge using logical formulas. We will show, however, that for certain kinds of information, a modelbased representation is more compa...
123
click to vote
COSIT
1999
Springer
15 years 4 months ago
1999
Springer
We extend the theory about terminological default reasoning by using a logical base language that can represent spatioterminological phenomena. Based on this description logic lang...