OPIUM: a debugging environment for Prolog development and debugging research.
Mireille DucasséAnna-Maria EmdePublished in: ACM SIGSOFT Softw. Eng. Notes (1991)
Keyphrases
- model based diagnosis
- software testing
- knowledge based systems
- execution traces
- programming language
- software engineering
- expert systems
- real time
- java programs
- mobile robot
- case study
- knowledge base
- hardware designs
- database
- genetic algorithm
- neural network
- virtual world
- design process
- data sets
- complex environments
- st century
- simulation environment
- multi agent based simulation
- theorem proving
- rapid development
- robotic systems
- development process
- dynamic environments
- decision support
- collaborative learning
- knowledge representation
- artificial intelligence