834 search results - page 21 / 167 » Anaphora and the Logic of Change |
113
Voted
ACL
1992
15 years 1 months ago
1992
The information state of an agent is changed when a text (in natural language) is processed. The meaning of a text can be taken to be this information state change potential. The ...
105
Voted
ICLP
1995
Springer
15 years 4 months ago
1995
Springer
Abstract. The Event Calculus is a narrative based formalism for reasoning about actions and change originally proposed in logic programming form by Kowalski and Sergot. In this pap...
90
Voted
DAC
2012
ACM
13 years 2 months ago
2012
ACM
Unknown values (Xs) may exist in a design due to uninitialized registers or blocks that are powered down. Due to X-pessimism in gate-level logic simulation, such Xs cannot be hand...
79
Voted
CADE
2006
Springer
16 years 25 days ago
2006
Springer
We introduce a dynamic logic that is enriched by non-rigid functions, i.e., functions that may change their value from state to state (during program execution), and we present a (...
84
Voted
BIRTHDAY
2006
Springer
15 years 4 months ago
2006
Springer
The article is meant to be kind of the author's manifesto for the role of logic and deduction within Intellectics. Based on a brief analysis of this role the paper presents a...