A PDL-Like Logic of Knowledge Acquisition

DOI10.1007/978-3-540-74510-5_17zbMATH Open1188.03021OpenAlexW1836259941MaRDI QIDQ3499772FDOQ3499772

Authors: Bernhard Heinemann 

Publication date: 3 June 2008

Published in: Computer Science – Theory and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-74510-5_17

Recommendations

• The logic of knowledge bases
• Acquisition of Terminological Knowledge in Probabilistic Description Logic
• Interpreting logics of knowledge in propositional dynamic logic
• Toward effective knowledge acquisition with first-order logic induction.
• Remarks on knowledge representation using predicate logic
• A kind of logical compilation for knowledge bases
• Publication:4941839
• About knowledge and inference in logical and relational learning
• scientific article; zbMATH DE number 549989

zbMATH Keywords

propositional dynamic logicknowledge acquisitiontopological reasoninglogics of knowledge

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Logic in artificial intelligence (68T27) Logic in computer science (03B70)

Cited In (4)

• Epistemic conditionals and the logic of subsets
• Updating knowledge using subsets
• Reverse public announcement operators on expanded models
• Toward effective knowledge acquisition with first-order logic induction.

This page was built for publication: A PDL-Like Logic of Knowledge Acquisition

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3499772)