( en | de | ru )

 

Disambiguation of "Haldimann, Jonas"

Author of the publication

copydeleteadd this publication to your clipboard
Syntax Splitting and Reasoning from Weakly Consistent Conditional Belief Bases with c-Inference.

, , and . FoIKS, volume 14589 of Lecture Notes in Computer Science, page 85-103. Springer, (2024)

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.

Konrad Haldimann

David Haldimann

Andreas Haldimann

Eric Alexander Jonas

Asymmetrische Synthese planar- und zentral-chiraler 1,2,3-trisubstituierter und 1,3-disubstituierter Ferrocene. TU Aachen, (2007)

Klaus Jonas

 

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)Inference with System W Satisfies Syntax Splitting., and . KR, (2022)Normal Forms of Conditional Belief Bases Respecting Inductive Inference., and . FLAIRS, (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)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)Observational Equivalence of Conditional Belief Bases., , and . FLAIRS, AAAI Press, (2023)Conditionals, Infeasible Worlds, and Reasoning with System W., , , and . FLAIRS, AAAI Press, (2023)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)Semantic Splitting of Conditional Belief Bases., , and . Logic, Computation and Rigorous Methods, volume 12750 of Lecture Notes in Computer Science, page 82-95. Springer, (2021)Teaching Logic with Iltis: an Interactive, Web-Based System., , , , , , , , , and . ITiCSE, page 307. ACM, (2019)