The following pages link to (Q5750427):
Displaying 9 items.
- Annotated nonmonotonic rule systems (Q673384) (← 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)
- Special issue on methods for investigating self-referential truth (Q5951908) (← links)
