Logic + control: An example of program construction

Wlodzimierz Drabent

Published in: CoRR (2011)

Keyphrases

control program
computer programs
control method
predicate logic
control theory
construction process
control problems
databases
logic programming
control system
modal logic
data acquisition
test cases
automated reasoning
expert systems
control structure
artificial intelligence
program synthesis
neural network