search
search
reviewers
reviewers
feeds
feeds
assignments
assignments

settings
logout

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