Logic-AAA: Debug of Logic Failures with an on-ATE Expert System.
Chris NighRonald D. BlantonPublished in: VTS (2024)
Keyphrases
- expert systems
- modal logic
- predicate logic
- logic programming
- multi valued
- deontic logic
- classical logic
- automated reasoning
- proof theory
- knowledge representation
- knowledge engineering
- sound and complete axiomatization
- linear logic
- epistemic logic
- formal theory
- theorem proving
- real time
- temporal logic
- fuzzy logic
- mobile robot
- case study
- knowledge base
- neural network
- databases