Framework for Synthesis by Unfolding of Declarative Programs.

Hiroshi Mabuchi Kiyoshi Akama Takahiko Ishikawa Y. Yamamoto

Published in: IC-AI (2002)

Keyphrases

theoretical framework
information retrieval
petri net
domain independent
databases
artificial intelligence
case study
high level
main contribution
conceptual framework