Login / Signup
Entending the FOLON Environment for Automatically Deriving Totally Correct Prolog Procedures from Logic Descriptions.
Baudouin Le Charlier
Sabina Rossi
Published in:
LPE (1995)
Keyphrases
</>
logic programming
real time
expert systems
dynamic environments
data sets
high level
knowledge base
mobile robot
logic programs
modal logic
robotic systems
environmental conditions
simulation environment
programming environment
horn clauses