ON THE VERIFICATION OF MODULAR LOGICAL KNOWLEDGE BASES

DC FieldValueLanguage
dc.contributor.authorANTONIOU, G
dc.contributor.authorSPERSCHNEIDER, V
dc.date.accessioned2021-12-23T16:04:52Z-
dc.date.available2021-12-23T16:04:52Z-
dc.date.issued1995
dc.identifier.issn09574174
dc.identifier.urihttps://osnascholar.ub.uni-osnabrueck.de/handle/unios/6645-
dc.descriptionEuropean Symposium on Validation and Verification of KBSs (Knowledge-Based Systems) - EUROVAV 93, PALMA DE MALLORCA, SPAIN, 1993
dc.description.abstractIn 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.
dc.language.isoen
dc.publisherPERGAMON-ELSEVIER SCIENCE LTD
dc.relation.ispartofEXPERT SYSTEMS WITH APPLICATIONS
dc.subjectComputer Science
dc.subjectComputer Science, Artificial Intelligence
dc.subjectEngineering
dc.subjectEngineering, Electrical & Electronic
dc.subjectOperations Research & Management Science
dc.titleON THE VERIFICATION OF MODULAR LOGICAL KNOWLEDGE BASES
dc.typeconference paper
dc.identifier.doi10.1016/0957-4174(94)E0026-Q
dc.identifier.isiISI:A1995QM80800005
dc.description.volume8
dc.description.issue3
dc.description.startpage351
dc.description.endpage357
dc.contributor.orcid0000-0003-3673-6602
dc.publisher.placeTHE BOULEVARD, LANGFORD LANE, KIDLINGTON, OXFORD, ENGLAND OX5 1GB
dcterms.isPartOf.abbreviationExpert Syst. Appl.
Show simple item record

Google ScholarTM

Check

Altmetric