On the Verification of Modular Logical Knowledge Bases
Autor(en): | Antoniou, Grigoris Sperschneider, Volker |
Stichwörter: | Computer science; Theoretical computer science; Modular design; Programming language; Inference; Knowledge base; Knowledge representation and reasoning; Artificial intelligence | Erscheinungsdatum: | 1993 | Herausgeber: | Universidad Politécnica de Madrid | Journal: | EUROVAV '93 Proceedings of the European Symposium on the Validation and Verification of Knowledge Based Systems | Startseite: | 117 | Seitenende: | 128 | Externe URL: | https://dblp.uni-trier.de/db/conf/eurovav/eurovav1993.html#AntoniouS93 |
Show full item record