Diagnosing Dynamic Systems in A-Prolog

Michael Gelfond and Joel Galloway

The main goal of this paper is to continue the investigation of applicability of A-Prolog (a loosely defined collection of logic programming languages under the answer set semantics) knowledge representation and reasoning.


This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.