On Feasibility of Declarative Diagnosis

Article Properties
Journal Category
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
Refrences
Title Journal Journal Categories Citations Publication Date
The Prolog Debugger and Declarative Programming 2019
Logic + control: On program construction and verification Theory and Practice of Logic Programming
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Science: Mathematics
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 2018
Proving correctness and completeness of normal programs – a declarative approach 2005
The Notions of Symptom and Error in Declarative Diagnosis of Logic Programs 1993
Declarative Diagnosis of Missing Answers 1992