3573 search results - page 93 / 715 » Reasoning about Codata |
120
Voted
MKM
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. In a problem solving process, a step may not result in the expected progress or may not be applicable as expected. Hence, knowledge how to overcome and react to impasses ...
112
click to vote
TIME
2002
IEEE
15 years 8 months ago
2002
IEEE
We show the expressiveness provided by a Labelled point-based metric model for specifying and reasoning about complex disjunctive temporal constraints. The model allows us to mana...
104
Voted
ICSE
2009
IEEE-ACM
15 years 10 months ago
2009
IEEE-ACM
We propose a new approach for reasoning about concurrency in object-oriented programs. Central to our approach is static ownership inference analysis — we conjecture that this a...
112
click to vote
AAAI
1994
15 years 4 months ago
1994
We propose a propositional language for temporal reasoning that is computationally effective yet expressive enough to describe information about fluents, events and temporal const...
144
click to vote
ATAL
2005
Springer
15 years 8 months ago
2005
Springer
Rational strategic reasoning is the process whereby an agent reasons about the best strategy to adopt in a given multi-agent scenario, taking into account the likely behaviour of ...