An Environment for Stepwise Map Specification and Reasoning in Prolog I: Three Language Extension Mechanisms.
Pasquale CaianielloStefania CostantiniEugenio G. OmodeoPublished in: APPIA-GULP-PRODE (2002)
Keyphrases
- programming language
- specification language
- knowledge representation
- logic programming language
- programming environment
- abstract machine
- knowledge base
- high level
- reasoning mechanisms
- mobile robot
- operational semantics
- robotic agents
- maximum a posteriori
- formal languages
- backward chaining
- reactive systems
- definition language
- language learning
- interaction model
- forward chaining
- real time
- natural language
- constraint logic programming
- software engineering
- cp nets
- logic programming
- data model
- cognitive map
- knowledge representation languages
- artificial intelligence