On the verification of modular logical knowledge bases

Grigoris Antoniou, Volker Sperschneider

Research output: Contribution to journalArticlepeer-review

2 Citations (Scopus)


In this paper we describe a framework for the design of modular knowledge-based systems. The main characteristic of the framework is that verification work can be done in a local setting. We present two concrete module concepts within this framework, and give formal semantics and correctness notions for them. Finally, we show a method for proving correctness of modules using an assertional proof system for logic programs.

Original languageEnglish
Pages (from-to)351-357
Number of pages7
JournalExpert Systems with Applications
Issue number3
Publication statusPublished - 1 Jul 1995
Externally publishedYes


Dive into the research topics of 'On the verification of modular logical knowledge bases'. Together they form a unique fingerprint.

Cite this