The following pages link to (Q5750427):
Displaying 13 items.
- Annotated nonmonotonic rule systems (Q673384) (← links)
- A general framework for reason maintenance (Q1187218) (← links)
- Truth maintenance systems and their application for verifying expert system knowledge bases (Q1193853) (← links)
- Logic programs, well-orderings, and forward chaining (Q1295428) (← links)
- A context for belief revision: forward chaining-normal nonmonotonic rule systems (Q1326782) (← links)
- On the relationship between TMS and logic programs (Q1333372) (← links)
- A theory of nonmonotonic rule systems I (Q1356221) (← links)
- A framework for controlling model-based diagnosis systems with multiple actions (Q1924804) (← links)
- A rational reconstruction of nonmonotonic truth maintenance systems (Q2638808) (← links)
- (Q4357779) (← links)
- (Q4833773) (← links)
- An assumption-based truth maintenance system dealing with non-ground justifications (Q4880539) (← links)
- Special issue on methods for investigating self-referential truth (Q5951908) (← links)
