Sciweavers

4507 search results - page 480 / 902
» Generalized Binet dynamics
Sort
View
174
Voted
ECSQARU
1997
Springer
15 years 11 months ago
Cactus: A Branching-Time Logic Programming Language
Abstract. Temporal programming languages are recognized as natural and expressive formalisms for describing dynamic systems. However, most such languages are based on linear ow of ...
Panos Rondogiannis, Manolis Gergatsoulis, Themis P...
HICSS
1994
IEEE
118views Biometrics» more  HICSS 1994»
15 years 11 months ago
A Distributed Architecture for an Instructable Problem Solver
Our research goal is to design systems that enable humans to teach tedious, repetitive, simple tasks to a computer. We propose here a learner/problem solver architecture for such ...
Jacky Baltes, Bruce A. MacDonald
ECAI
1994
Springer
15 years 11 months ago
Belief Revision in Multi-Agent Systems
The ability to respond sensibly to changing and conflicting beliefs is an integral part of intelligent agency. To this end, we outline the design and implementation of a Distribute...
Benedita Malheiro, Nicholas R. Jennings, Eugenio O...
ECAIW
1994
Springer
15 years 11 months ago
An Agent Architecture for Distributed Medical Care
This paper describes the design and implementation of a layered agent architecture for decision support applications in general and for distributed medical care in particular. Thre...
Jun Huang, Nicholas R. Jennings, John Fox
CONPAR
1992
15 years 11 months ago
Analysis of an Efficient Distributed Algorithm for Mutual Exclusion (Average-Case Analysis of Path Reversal)
The algorithm designed in [12, 15] was the very first distributed algorithm to solve the mutual exclusion problem in complete networks by using a dynamic logical tree structure as...
Christian Lavault