Basic Architecture for Logic Self Repair.

Tobias Koal Heinrich Theodor Vierhaus

Published in: IOLTS (2008)

Keyphrases

modal logic
databases
logic programming
software architecture
logical framework
scheduling problem
formal model
inference rules
network architecture
architectural design
predicate logic
layered architecture
reasoning engine