Search
Now showing items 91-100 of 219
Temporal abductive diagnosis
(1999)
Fast backward predictive congestion notification for ATM networks with significant propagation delays
(1995)
A fast Backward Predictive Congestion Notification (BPCN) scheme for ATM networks is proposed, whose objective is to avoid cell loss and achieve high resource utilisation during high traffic demand. A dynamic adaptive model ...
Default reasoning via negation as failure
(1994)
We show how recent developments in the study of negation as failure of Logic Programming can be used to define a general framework for Default Reasoning. Negation as failure can be viewed as a form of hypotheses with which ...
Distributed, low contention task allocation
(IEEE, 1996)
A new approach to solve task allocation problems is proposed. The method involves introducing a load balancing network, a new class of distributed, and asynchronous algorithms for task allocation in shared memory ...
Stable theories for logic programs
(Publ by MIT Press, 1991)
We define a class of theories associated to any normal logic program, called stable theories, based on a notion of stable negative hypotheses. This stability of hypotheses is motivated directly from the intuitive understanding ...
Short note preferred extensions are partial stable models
(1992)
We show that two recently presented proposals for the semantics of normal logic programs, namely partial stable models of Saccá and Zaniolo and preferred extensions of Phan Minh Dung coincide. © 1992.
Air-crew scheduling through abduction
(1999)
This paper presents the design and implementation of an aircrew assignment system based on the Artificial Intelligence principles and techniques of abductive reasoning as captured by the framework of Abductive Logic ...
Preface
(1997)