ABSTRACT
No abstract available.
- 1.Joseph Y. Halpern and Ronald Fagin. Modelling knowledge and action in distributed systems. Distributed Compu~,ng, 3(4):159- 177, 1989.Google Scholar
- 2.Leslie Lamport. The temporal logic of actions. A OM Transactgon5 on Programming Languages and Systems, 16(3):872-923, May 1994. Google ScholarDigital Library
- 3.G. Peterson. Myths about the mutual exclusion problem, information Process,ng Letters, 12(3):115-116, 1981.Google Scholar
Index Terms
- Compiling knowledge-based programs
Recommendations
Negotiation support for compiling knowledge
GROUP '99: Proceedings of the 1999 ACM International Conference on Supporting Group WorkCritiquing systems, a special kind of knowledge-based systems, can be seen as a personal assistant helping to reflect on a particular design and to improve it. They have successfully demonstrated their capability to aid users during design tasks. ...
Design of Knowledge-Based Systems with a Knowledge-Based Assistant
Special Issue on Artificial Intelligence in Software ApplicationsThe authors propose a model for an intelligent assistant to aid in building knowledge-based systems (KBSs) and discuss a preliminary implementation. The assistant participates in KBS construction, including acquisition of an initial model of a problem ...
Knowledge acquisition for knowledge-based engineering systems
This paper is essentially concerned with the development of formal representations of knowledge required prior to the development of knowledge-based engineering systems (KBESs). Initially, the paper provides a brief introduction to knowledge-based ...
Comments