Searching for "On the Logic of Exceptions." – sorted by Relevance.
217 documents found, showing 1 through 10.
Next 10 →
-
Learning Logical Exceptions In Chess
- …LEARNING LOGICAL EXCEPTIONS IN CHESS a dissertation submitted to the department of statistics…
- Cited by 15 (2 self) – Add To MetaCart
-
Two-phase Exception Logic
- …Two-phase Exception Logic Leendert W.N. van der Torre and Yao-Hua Tan Abstract In this paper we…
- Add To MetaCart
-
Logic for Computational Effects: work in progress
- … symbols, and by including a _ operator. We give both syntax and semantics for the logic except for _. We…
- Cited by 1 (1 self) – Add To MetaCart
-
Edinburgh EH9 3JZ
- … symbols, and by including a µ operator. We give both syntax and semantics for the logic except for µ. We…
- Add To MetaCart
-
Non-monotonic Temporal Logics that Facilitate Elaboration Tolerant Revision of Goals
- … the domain. However, all existing temporal logics, except one, do not focus on the revision of goals…
- Add To MetaCart
-
Compositional Semantics for a Language of Imperfect Information
- … Kingdom. E-mail: W.Hodges@(email omitted); Abstract We describe a logic which is the same as first-order logic…
- Add To MetaCart
-
A Gentzen System for Reasoning with Contrary-To-Duty Obligations: A Preliminary Study
- … contraryto-duty is a special kind of normative exception. The logical machinery to formalize this idea…
- Cited by 11 (8 self) – Add To MetaCart
-
Logic of Violations: A Gentzen system for reasoning with contrary-to-duty obligations
- … contrary-to-duty is a special kind of normative exception. The logical machinery to formalise this idea…
- Cited by 10 (9 self) – Add To MetaCart
-
A New Single-Clock Flip-Flop for Half-Swing Clocking
- … other additional logics, and the random logic circuits except clock and ip- ops are supplied by Vcc…
- Add To MetaCart
-
From TLT modules to stream processing functions
- … similar to the "raw" TLA logic presented in [8], except that it provides primitive flexible communication…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
