Epistemic semantics for fixed-point non-monotonic logics
Epistemic semantics for fixed-point non-monotonic logics
Details
- OL Work ID
- OL4206359W
Subjects
Nonmonotonic reasoningProgramming languages (Electronic computers)SemanticsSymbolic and mathematical Logic