3573 search results - page 94 / 715 » Reasoning about Codata |
126
click to vote
ICFP
2010
ACM
15 years 4 months ago
2010
ACM
Reasoning about program equivalence is one of the oldest problems in semantics. In recent years, useful techniques have been developed, based on bisimulations and logical relation...
107
click to vote
MPC
1998
Springer
15 years 7 months ago
1998
Springer
Timed-trace formalisms have emerged as a powerful method for specifying and reasoning about concurrent real-time systems. We present a simple variant which builds methodically on s...
172
click to vote
KR
1991
Springer
15 years 6 months ago
1991
Springer
Temporal logic can be used as a programming language. If temporal formulae are represented in the form of an implication where the antecedent refers to the past, and the consequen...
COGSCI
2008
15 years 3 months ago
2008
Historians of science have pointed to essentialist beliefs about species as major impediments to the discovery of natural selection. The present study investigated whether such be...
119
click to vote
DALT
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. This paper proposes a formal framework for agent communication where agents can reason about their goals using strategic reasoning. This reasoning is argumentation-based ...