2649 search results - page 338 / 530 » Temporal Theories of Reasoning |
EUSFLAT
2003
13 years 10 months ago
2003
In this paper, intelligent perception-based systems are proposed in application to medical diagnosis problems. The systems are created by use of connectionist neurofuzzy architect...
IJCAI
1993
13 years 10 months ago
1993
Gelfond and Lifschitz introduce a declarative language A for describing effects of actions and define a translation of theories in this language into extended logic programs(ELP, ...
ENTCS
2008
13 years 9 months ago
2008
CLF (the Concurrent Logical Framework) is a language for specifying and reasoning about concurrent systems. Its most significant feature is the first-class representation of concu...
JLP
2008
13 years 9 months ago
2008
We explore the power of relational semantics and equational reasoning in the style of Kleene algebra for analyzing programs with mutable, statically scoped local variables. We prov...
AI
2002
Springer
13 years 9 months ago
2002
Springer
Abstract. The traditional unification is strict in the sense that it requires a perfect agreement between the terms being unified. In practice, data is seldom error-free and can co...