Author of the publication

Normal Forms of Conditional Knowledge Bases Respecting Entailments and Renamings.

, and . FoIKS, volume 12012 of Lecture Notes in Computer Science, page 22-41. Springer, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

WHIWAP: Checking Iterative Belief Changes., and . DKB/KIK@KI, volume 2445 of CEUR Workshop Proceedings, page 14-23. CEUR-WS.org, (2019)Normal Forms of Conditional Belief Bases Respecting Inductive Inference., and . FLAIRS, (2022)Inference with System W Satisfies Syntax Splitting., and . KR, (2022)Descriptor Revision for Conditionals: Literal Descriptors and Conditional Preservation., , , and . KI, volume 12325 of Lecture Notes in Computer Science, page 204-218. Springer, (2020)Observational Equivalence of Conditional Belief Bases., , and . FLAIRS, AAAI Press, (2023)Conditionals, Infeasible Worlds, and Reasoning with System W., , , and . FLAIRS, AAAI Press, (2023)Properties of System W and Its Relationships to Other Inductive Inference Operators., and . FoIKS, volume 13388 of Lecture Notes in Computer Science, page 206-225. Springer, (2022)Model Transformations for Ranking Functions and Total Preorders., and . CoRR, (2022)On Properties of Epistemic State Mappings among Ranking Functions and Total Preorders., and . FCR@KI, volume 2961 of CEUR Workshop Proceedings, page 34-47. CEUR-WS.org, (2021)An Implementation of Nonmonotonic Reasoning with System W., , , , and . KI, volume 13404 of Lecture Notes in Computer Science, page 1-8. Springer, (2022)