default search action
Jonas Philipp Haldimann
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [b1]Jonas Philipp Haldimann
:
Nonmonotonic Reasoning with Defeasible Rules on Feasible and Infeasible Worlds - Exploring a Landscape of Inductive Inference Operators. Diss. Artif. Intell. 355, IOS Press 2024, ISBN 978-1-64368-529-8 - [j4]Jonas Haldimann
Approximations of system W for inference from strongly and weakly consistent belief bases. Int. J. Approx. Reason. 175: 109295 (2024) - [j3]Christoph Beierle
CLKR: Conditional Logic and Knowledge Representation. Künstliche Intell. 38(1): 61-67 (2024) - [c33]Christoph Beierle
A Partial MaxSAT Approach to Nonmonotonic Reasoning with System W. FLAIRS 2024 - [c32]Jonas Haldimann
Syntax Splitting and Reasoning from Weakly Consistent Conditional Belief Bases with c-Inference. FoIKS 2024: 85-103 - [c31]Christoph Beierle, Lars-Phillip Spiegel, Jonas Haldimann, Marco Wilhelm, Jesse Heyninck, Gabriele Kern-Isberner:
Conditional Splittings of Belief Bases and Nonmonotonic Inference with c-Representations. KR 2024 - [c30]Gabriele Kern-Isberner, Alexander Hahn, Jonas Haldimann, Christoph Beierle:
Total Preorders vs Ranking Functions under Belief Revision - the Dynamics of Empty Layers. KR 2024 - [c29]Christoph Beierle, Aron Spang, Jonas Haldimann:
Using SAT and Partial MaxSAT for Reasoning with System Z and System W. NMR 2024: 132-141 - [c28]Christoph Beierle
Scaling Up Reasoning from Conditional Belief Bases. SUM 2024: 29-44 - [e1]Lucía Gómez Álvarez, Jonas Haldimann, Jesse Heyninck, Srdjan Vesic, Francesco Fabiano, Marcello Balduccini:
Joint Proceedings of the Joint Workshop on Knowledge Diversity and Cognitive Aspects of KR and the Workshop on Symbolic and Neuro-Symbolic Architectures for Intelligent Robotics Technology (KoDis-CAKR-SYNERGY 2024) co-located with the 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024), Hanoi, Vietnam, November 2-8, 2024. CEUR Workshop Proceedings 3876, CEUR-WS.org 2024 [contents] - 2023
- [j2]Jonas Philipp Haldimann, Christoph Beierle, Gabriele Kern-Isberner:
Epistemic State Mappings among Ranking Functions and Total Preorders. FLAP 10(2): 155-191 (2023) - [c27]Jesse Heyninck
Conditional Syntax Splitting for Non-monotonic Inference Operators. AAAI 2023: 6416-6424 - [c26]Jonas Haldimann, Christoph Beierle:
Approximations of System W Between c-Inference, System Z, and Lexicographic Inference. ECSQARU 2023: 185-197 - [c25]Christoph Beierle, Jonas Haldimann
Observational Equivalence of Conditional Belief Bases. FLAIRS 2023 - [c24]Jonas Haldimann
Conditionals, Infeasible Worlds, and Reasoning with System W. FLAIRS 2023 - [c23]Marco Wilhelm
Splitting Techniques for Conditional Belief Bases in the Context of c-Representations. JELIA 2023: 462-477 - [c22]Jonas Haldimann
Rational Closure Extension in SPO-Representable Inductive Inference Operators. JELIA 2023: 561-576 - [c21]Jonas Philipp Haldimann, Christoph Beierle:
Finest Syntax Splittings of Ranking Functions and Total Preorders on Worlds. KR 2023: 747-751 - [c20]Jonas Philipp Haldimann, Christoph Beierle, Gabriele Kern-Isberner:
Extending c-Representations and c-Inference for Reasoning with Infeasible Worlds. NMR 2023: 52-63 - 2022
- [j1]Christoph Beierle, Jonas Haldimann:
Normal forms of conditional knowledge bases respecting system P-entailments and signature renamings. Ann. Math. Artif. Intell. 90(2-3): 149-179 (2022) - [c19]Christoph Beierle, Jonas Haldimann:
Normal Forms of Conditional Belief Bases Respecting Inductive Inference. FLAIRS 2022 - [c18]Jonas Haldimann, Christoph Beierle:
Properties of System W and Its Relationships to Other Inductive Inference Operators. FoIKS 2022: 206-225 - [c17]Christoph Beierle
An Implementation of Nonmonotonic Reasoning with System W. KI 2022: 1-8 - [c16]Jonas Haldimann, Christoph Beierle:
Inference with System W Satisfies Syntax Splitting. KR 2022 - [c15]Jonas Haldimann, Christoph Beierle:
Characterizing Multipreference Closure with System W. SUM 2022: 79-91 - [i3]Jonas Haldimann, Christoph Beierle:
Inference with System W Satisfies Syntax Splitting. CoRR abs/2202.05511 (2022) - [i2]Jonas Haldimann, Christoph Beierle:
Model Transformations for Ranking Functions and Total Preorders. CoRR abs/2203.14018 (2022) - 2021
- [c14]Christoph Beierle, Jonas Haldimann, Gabriele Kern-Isberner:
Semantic Splitting of Conditional Belief Bases. Logic, Computation and Rigorous Methods 2021: 82-95 - [c13]Christoph Beierle, Jonas Haldimann, Steven Kutsch:
A Complete Map of Conditional Knowledge Bases in Different Normal Forms and Their Induced System P Inference Relations Over Small Signatures. FLAIRS 2021 - [c12]Jonas Haldimann
Conditional Descriptor Revision and Its Modelling by a CSP. JELIA 2021: 35-49 - [c11]Jonas Haldimann
Syntax Splitting for Iterated Contractions, Ignorations, and Revisions on Ranking Functions Using Selection Strategies. JELIA 2021: 85-100 - [c10]Jonas Haldimann, Gabriele Kern-Isberner:
On Properties of Epistemic State Mappings among Ranking Functions and Total Preorders. FCR@KI 2021: 34-47 - [c9]Jonas Haldimann, Kai Sauerwald, Martin von Berg, Gabriele Kern-Isberner, Christoph Beierle:
Towards a framework of hansson's descriptor revision for conditionals. SAC 2021: 889-891 - 2020
- [c8]Christoph Beierle, Jonas Haldimann:
Transforming Conditional Knowledge Bases into Renaming Normal Form. FLAIRS 2020: 563-568 - [c7]Christoph Beierle, Jonas Haldimann
Normal Forms of Conditional Knowledge Bases Respecting Entailments and Renamings. FoIKS 2020: 22-41 - [c6]Kai Sauerwald
Descriptor Revision for Conditionals: Literal Descriptors and Conditional Preservation. KI 2020: 204-218 - [c5]Jonas Haldimann
Modelling and Reasoning in Biomedical Applications with Qualitative Conditional Logic. KI 2020: 283-289 - [c4]Jonas Philipp Haldimann, Gabriele Kern-Isberner, Christoph Beierle:
Syntax Splitting for Iterated Contractions. KR 2020: 465-475 - [i1]Kai Sauerwald, Jonas Haldimann, Martin von Berg, Christoph Beierle:
Descriptor Revision for Conditionals: Literal Descriptors and Conditional Preservation. CoRR abs/2006.01444 (2020)
2010 – 2019
- 2019
- [c3]Gaetano Geck
Teaching Logic with Iltis: an Interactive, Web-Based System. ITiCSE 2019: 307 - [c2]Kai Sauerwald, Jonas Haldimann:
WHIWAP: Checking Iterative Belief Changes. DKB/KIK@KI 2019: 14-23 - 2018
- [c1]Jonas Philipp Haldimann:
Wissensrevision in der reaktiven Antwortmengenprogrammierung. SKILL 2018: 23-34
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-23 19:28 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: