Introduction to the special issue on computational logic for verification.

Published in: Theory Pract. Log. Program. (2018)

Keyphrases

computational logic
logic programming
management science
multi agent systems
early days
inductive logic programming
program synthesis
artificial intelligence
logic programs
future directions
knowledge base
cooperative
software engineering
computational intelligence
intelligent agents