Some Specification Techniques for Nonmonotonic Knowledge-Bases: Preliminary Report

G. Antoniou, Cara MacNish

Research output: Chapter in Book/Conference paperConference paper

Original languageEnglish
Title of host publicationProceedings of the AAAI-96 Workshop on Validation and Verification of Knowledge Based Systems and Subsystems
EditorsA. Vermesan, J. Schmolze
Place of PublicationUSA
PublisherAAAI Press
Pages116-121
Volume1
EditionPortland, Oregon, USA
Publication statusPublished - 1996
EventSome Specification Techniques for Nonmonotonic Knowledge-Bases: Preliminary Report - Portland, Oregon, USA
Duration: 1 Jan 1996 → …

Conference

ConferenceSome Specification Techniques for Nonmonotonic Knowledge-Bases: Preliminary Report
Period1/01/96 → …

Cite this

Antoniou, G., & MacNish, C. (1996). Some Specification Techniques for Nonmonotonic Knowledge-Bases: Preliminary Report. In A. Vermesan, & J. Schmolze (Eds.), Proceedings of the AAAI-96 Workshop on Validation and Verification of Knowledge Based Systems and Subsystems (Portland, Oregon, USA ed., Vol. 1, pp. 116-121). USA: AAAI Press.