Peter Raulefs

Learn More
Speed alone is insufficient for real-time performance. We define real-time performance in terms of speed, responsiveness, timeliness, and graceful adaptation. We claim that all four aspects are essential if a system is to support real-time problem-solving. We also present a distributed knowledge p rocessing architecture based on the lackboard paradigm that(More)
Extended Abstract-1. Introduction For almost as long as attempts at proving theorems by machines have been made, a critical problem has been well known: Equational axioms, if left without precautions in the data base of an automatic theorem prover (ATP), will force the ATP to go astray. Four approaches to cope with equality axioms have been proposed: (1) To(More)
CSSA (Computing System for Societies of Actors) is an experimental programming language that originated from an attempt to design a language combining various new ideas having evolved from the fields of semantics of programming languages, artificial intelligence, programming methodology, and language design in recent years: (1) <italic>Abstraction(More)