Dung’s abstract argumentation theory can be seen as a general framework for non-monotonic reasoning. An important question is then: what is the class of logics that can be subsumed as instantiations of this theory? The goal of this paper is to identify and study the large class of logic-based instantiations of Dung’s theory which correspond to the maxi-consistent operator, i.e. to the function ...

How do memory retrieval processes lead to overt responses in strategic recognition tasks (responding "old" to one class of familiar stimulus and "new" to another)? Many current theories of memory retrieval ignore the response requirements in such memory tasks, instead modeling them using memory processes (e.g., familiarity and recollection) alone (see Yonelinas, 2002). We argue that strategic r...

As process industries start to adopt wireless sensoractuator networks (WSANs) for control applications, it is crucial to achieve real-time communication in this emerging class of networks. Routing has significant impacts on end-to-end communication delays in WSANs. However, despite considerable research on real-time transmission scheduling and delay analysis for such networks, real-time routing...

This thesis considers the problem of intersecting aircraft flows under decentralized conflict avoidance rules. Using an Eulerian standpoint (aircraft flow through a fixed control volume), new air traffic control models and scenarios are defined that enable the study of long-term airspace stability problems. Considering a class of two intersecting aircraft flows, it is shown that airspace stabil...

Failure A user-introduced failure without a specific interpretation in the model. Application Condition A condition in propositional logic (alternately represented as a set of sets offeatures) indicating to which feature configurations a delta is applicable. Application Function A function mapping deltas to their application condition. Class Refinement Like class inheritance, except that th...