Proceedings of the 12th International Workshop on Logic Programming Environments

Alexandre Tessier

Published in: CoRR (2002)

Keyphrases

programming environments
programming environment
logic programming
classical logic
modal logic
programming language
multi valued
database systems
general purpose
logical framework
decision making
knowledge representation
logic programs