( en | de | ru )

 

Disambiguation of "Haldimann, Jonas"

Author of the publication

copydeleteadd this publication to your clipboard
Teaching Logic with Iltis: an Interactive, Web-Based System.

, , , , , , , , , and . ITiCSE, page 307. ACM, (2019)

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

Andreas Haldimann

David Haldimann

Eric Alexander Jonas

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

Heinrich Jonas

 

Other publications of authors with the same name

Inference with System W Satisfies Syntax Splitting., and . KR, (2022)Normal Forms of Conditional Belief Bases Respecting Inductive Inference., and . FLAIRS, (2022)WHIWAP: Checking Iterative Belief Changes., and . DKB/KIK@KI, volume 2445 of CEUR Workshop Proceedings, page 14-23. CEUR-WS.org, (2019)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)Characterizing Multipreference Closure with System W., and . SUM, volume 13562 of Lecture Notes in Computer Science, page 79-91. Springer, (2022)Rational Closure Extension in SPO-Representable Inductive Inference Operators., , , and . JELIA, volume 14281 of Lecture Notes in Computer Science, page 561-576. Springer, (2023)A Complete Map of Conditional Knowledge Bases in Different Normal Forms and Their Induced System P Inference Relations Over Small Signatures., , and . FLAIRS, (2021)Normal forms of conditional knowledge bases respecting system P-entailments and signature renamings., and . Ann. Math. Artif. Intell., 90 (2-3): 149-179 (2022)Towards a framework of hansson's descriptor revision for conditionals., , , , and . SAC, page 889-891. ACM, (2021)