Jonas Haldimann

41 papers A* 5B 5C 2Misc 10Journal 7Unranked 11

Year	Rank	Type	Title / Venue / Authors
2025	A*	`conf`	Generalized Safe Conditional Syntax Splitting of Belief Bases. IJCAI Lars-Phillip Spiegel, Jonas Haldimann, Jesse Heyninck, Gabriele Kern-Isberner, Christoph Beierle
2025	C	`conf`	Implementing Lexicographic Inference Using Partial MaxSAT. ECSQARU Jonas Haldimann, Aron Spang, Lars-Phillip Spiegel, Christoph Beierle
2025	A*	`conf`	Reasoning in Defeasible Description Logics with System W and Lexicographic Inference. KR Giovanni Casini, Jonas Haldimann, Thomas Meyer
2025	J	`jnl`	Reasoning with system W and infeasible worlds. Ann. Math. Artif. Intell. Jonas Haldimann, Christoph Beierle, Gabriele Kern-Isberner, Thomas Meyer
2025	—	`conf`	The InfOCF Library for Reasoning With Conditional Belief Bases. JELIA (2) Christoph Beierle, Jonas Haldimann, Arthur Sanin, Aron Spang, Lars-Phillip Spiegel, Martin von Berg
2025	—	`conf`	Towards Practicable Defeasible Reasoning for ABoxes. JELIA (1) Jonas Haldimann, Magdalena Ortiz, Mantas Simkus
2024	Misc	`conf`	A Partial MaxSAT Approach to Nonmonotonic Reasoning with System W. FLAIRS Christoph Beierle, Aron Spang, Jonas Haldimann
2024	J	`jnl`	Approximations of system W for inference from strongly and weakly consistent belief bases. Int. J. Approx. Reason. Jonas Haldimann, Christoph Beierle
2024	J	`jnl`	CLKR: Conditional Logic and Knowledge Representation. Künstliche Intell. Christoph Beierle, Jonas Haldimann, Leon Schwarzer
2024	A*	`conf`	Conditional Splittings of Belief Bases and Nonmonotonic Inference with c-Representations. KR Christoph Beierle, Lars-Phillip Spiegel, Jonas Haldimann, Marco Wilhelm, Jesse Heyninck, Gabriele Kern-Isberner
2024	—	`ed.`	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. KoDis+CAKR+SYNERGY@KR Lucía Gómez Álvarez, Jonas Haldimann, Jesse Heyninck, Srdjan Vesic, Francesco Fabiano, Marcello Balduccini
2024	—	`conf`	Scaling Up Reasoning from Conditional Belief Bases. SUM Christoph Beierle, Jonas Haldimann, Arthur Sanin, Leon Schwarzer, Aron Spang, Lars-Phillip Spiegel, Martin von Berg
2024	—	`conf`	Syntax Splitting and Reasoning from Weakly Consistent Conditional Belief Bases with c-Inference. FoIKS Jonas Haldimann, Christoph Beierle, Gabriele Kern-Isberner
2024	A*	`conf`	Total Preorders vs Ranking Functions under Belief Revision - the Dynamics of Empty Layers. KR Gabriele Kern-Isberner, Alexander Hahn, Jonas Haldimann, Christoph Beierle
2024	—	`conf`	Using SAT and Partial MaxSAT for Reasoning with System Z and System W. NMR Christoph Beierle, Aron Spang, Jonas Haldimann
2023	C	`conf`	Approximations of System W Between c-Inference, System Z, and Lexicographic Inference. ECSQARU Jonas Haldimann, Christoph Beierle
2023	Misc	`conf`	Conditionals, Infeasible Worlds, and Reasoning with System W. FLAIRS Jonas Haldimann, Christoph Beierle, Gabriele Kern-Isberner, Thomas Meyer
2023	Misc	`conf`	Observational Equivalence of Conditional Belief Bases. FLAIRS Christoph Beierle, Jonas Haldimann, Leon Schwarzer
2023	B	`conf`	Rational Closure Extension in SPO-Representable Inductive Inference Operators. JELIA Jonas Haldimann, Thomas Meyer, Gabriele Kern-Isberner, Christoph Beierle
2023	B	`conf`	Splitting Techniques for Conditional Belief Bases in the Context of c-Representations. JELIA Marco Wilhelm, Meliha Sezgin, Gabriele Kern-Isberner, Jonas Haldimann, Christoph Beierle, Jesse Heyninck
2022	Misc	`conf`	An Implementation of Nonmonotonic Reasoning with System W. KI Christoph Beierle, Jonas Haldimann, Daniel Kollár, Kai Sauerwald, Leon Schwarzer
2022	—	`conf`	Characterizing Multipreference Closure with System W. SUM Jonas Haldimann, Christoph Beierle
2022	A*	`conf`	Inference with System W Satisfies Syntax Splitting. KR Jonas Haldimann, Christoph Beierle
2022	J	`jnl`	Inference with System W Satisfies Syntax Splitting. CoRR Jonas Haldimann, Christoph Beierle
2022	J	`jnl`	Model Transformations for Ranking Functions and Total Preorders. CoRR Jonas Haldimann, Christoph Beierle
2022	Misc	`conf`	Normal Forms of Conditional Belief Bases Respecting Inductive Inference. FLAIRS Christoph Beierle, Jonas Haldimann
2022	J	`jnl`	Normal forms of conditional knowledge bases respecting system P-entailments and signature renamings. Ann. Math. Artif. Intell. Christoph Beierle, Jonas Haldimann
2022	—	`conf`	Properties of System W and Its Relationships to Other Inductive Inference Operators. FoIKS Jonas Haldimann, Christoph Beierle
2021	Misc	`conf`	A Complete Map of Conditional Knowledge Bases in Different Normal Forms and Their Induced System P Inference Relations Over Small Signatures. FLAIRS Christoph Beierle, Jonas Haldimann, Steven Kutsch
2021	B	`conf`	Conditional Descriptor Revision and Its Modelling by a CSP. JELIA Jonas Haldimann, Kai Sauerwald, Martin von Berg, Gabriele Kern-Isberner, Christoph Beierle
2021	—	`conf`	On Properties of Epistemic State Mappings among Ranking Functions and Total Preorders. FCR@KI Jonas Haldimann, Gabriele Kern-Isberner
2021	—	`conf`	Semantic Splitting of Conditional Belief Bases. Logic, Computation and Rigorous Methods Christoph Beierle, Jonas Haldimann, Gabriele Kern-Isberner
2021	B	`conf`	Syntax Splitting for Iterated Contractions, Ignorations, and Revisions on Ranking Functions Using Selection Strategies. JELIA Jonas Haldimann, Christoph Beierle, Gabriele Kern-Isberner
2021	Misc	`conf`	Towards a framework of hansson's descriptor revision for conditionals. SAC Jonas Haldimann, Kai Sauerwald, Martin von Berg, Gabriele Kern-Isberner, Christoph Beierle
2020	Misc	`conf`	Descriptor Revision for Conditionals: Literal Descriptors and Conditional Preservation. KI Kai Sauerwald, Jonas Haldimann, Martin von Berg, Christoph Beierle
2020	J	`jnl`	Descriptor Revision for Conditionals: Literal Descriptors and Conditional Preservation. CoRR Kai Sauerwald, Jonas Haldimann, Martin von Berg, Christoph Beierle
2020	Misc	`conf`	Modelling and Reasoning in Biomedical Applications with Qualitative Conditional Logic. KI Jonas Haldimann, Anna Osiak, Christoph Beierle
2020	—	`conf`	Normal Forms of Conditional Knowledge Bases Respecting Entailments and Renamings. FoIKS Christoph Beierle, Jonas Haldimann
2020	Misc	`conf`	Transforming Conditional Knowledge Bases into Renaming Normal Form. FLAIRS Christoph Beierle, Jonas Haldimann
2019	B	`conf`	Teaching Logic with Iltis: an Interactive, Web-Based System. ITiCSE Gaetano Geck, Artur Ljulin, Jonas Haldimann, Johannes May, Jonas Schmidt, Marko Schmellenkamp, Daniel Sonnabend, Felix Tschirbs, Fabian Vehlken, Thomas Zeume
2019	—	`conf`	WHIWAP: Checking Iterative Belief Changes. DKB/KIK@KI Kai Sauerwald, Jonas Haldimann