Kima- An automated error correction system for concurrent logic programs.
Yasuhiro AjiroKazunori UedaPublished in: AADEBUG (2000)
Keyphrases
- logic programs
- error correction
- logic programming
- answer sets
- answer set programming
- fixpoint
- background knowledge
- stable models
- error detection
- computational properties
- error correcting
- normal logic programs
- partial deduction
- term rewriting systems
- inductive logic programming
- stable model semantics
- prolog programs
- strong equivalence
- error detection and correction
- loop formulas
- logic program updates
- default logic
- functional programs
- monotonicity constraints
- search space
- watermarking scheme
- horn clauses