scientific article; zbMATH DE number 10093
From MaRDI portal
Publication:4713374
Recommendations
- scientific article; zbMATH DE number 58298
- scientific article; zbMATH DE number 824735
- Epistemic logic programs: a study of some properties
- Logics for epistemic programs
- scientific article; zbMATH DE number 2236617
- Some computational constraints in epistemic logic
- scientific article; zbMATH DE number 2134137
- scientific article; zbMATH DE number 1999226
- scientific article; zbMATH DE number 2212572
- An epistemic model of logic programming
Cited in
(17)- Formal theories of knowledge in AI and robotics
- View-based explicit knowledge
- Reasoning about knowledge of unawareness revisited
- On logics of knowledge and belief
- Some computational constraints in epistemic logic
- scientific article; zbMATH DE number 2088977 (Why is no real title available?)
- The tree of knowledge in action: towards a common perspective
- scientific article; zbMATH DE number 58298 (Why is no real title available?)
- scientific article; zbMATH DE number 589737 (Why is no real title available?)
- A model-theoretic analysis of knowledge
- scientific article; zbMATH DE number 1999226 (Why is no real title available?)
- Handbook of epistemic logic
- A unified framework for hypothetical and practical reasoning. I: Theoretical foundations
- scientific article; zbMATH DE number 824735 (Why is no real title available?)
- Knowledge system for application of computer security rules
- Two Applications of Epistemic Logic in Computer Security
- scientific article; zbMATH DE number 2212572 (Why is no real title available?)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4713374)
