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