2685 search results - page 300 / 537 » A Formal Semantics for SPKI |
159
click to vote
IJCAI
2001
15 years 8 months ago
2001
We propose to extend the temporal causal graph formalisms used in model-based diagnosis in order to deal with non trivial interactions like (partial) cancellation of fault effects...
161
click to vote
WSPI
2004
15 years 8 months ago
2004
Paradoxes, particularly Tarski's liar paradox, represent an ongoing challenge that have long attracted special interest. There have been numerous attempts to give either a for...
169
click to vote
DAGSTUHL
1998
15 years 8 months ago
1998
After brie y reviewing the basic notions and terminology of active rules and relating them to production rules and deductive rules, respectively, we survey a number of formal appro...
155
click to vote
EACL
1993
ACL Anthology
15 years 8 months ago
1993
ACL Anthology
Substantial efforts have been made in order to cope with disjunctions in constraint based grammar formalisms (e.g. [Kasper, 1987; Maxwell and Kaplan, 1991; DSrre and Eisele, 1990]...
166
click to vote
IJCAI
1993
15 years 8 months ago
1993
Several formalizations of cognitive state that include intentions and beliefs based on normal modal logics (NMLs) have appeared in the recent literature. We argue that NMLs are no...