Publication | Closed Access
A truth maintenance system
1.8K
Citations
42
References
1979
Year
EngineeringDynamic Epistemic LogicAutomated ReasoningVerificationFormal MethodsComputer ScienceTruth Maintenance SystemEpistemic LogicSemantic WebFormal VerificationComputer-assisted Reasoning
| Year | Citations | |
|---|---|---|
Page 1
Page 1