The Layered Architecture of a System for Reasoning about Programs.

Published in: IJCAI (1985)

Keyphrases

layered architecture
agent architecture
artificial intelligence
web services
spatial reasoning
automatic programming
search engine
feature selection
reinforcement learning
cooperative
answer sets
fixpoint
home care
provably correct