Cover Image

Towards Propositional KLM-Style Defeasible Standpoint Logics

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Leisegang, Nicholas, Meyer, Thomas, Rudolph, Sebastian
Format:	Preprint
Published:	2024
Subjects:	Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Extending Defeasibility for Propositional Standpoint Logics
by: Leisegang, Nicholas, et al.
Published: (2025)

Non-monotonic Extensions to Formal Concept Analysis via Object Preferences
by: Carr, Lucas, et al.
Published: (2024)

Semantic Bridges Between First Order c-Representations and Cost-Based Semantics: An Initial Perspective
by: Leisegang, Nicholas, et al.
Published: (2025)

Rational Inference in Formal Concept Analysis
by: Carr, Lucas, et al.
Published: (2025)

Defeasible Conditionals using Answer Set Programming
by: Dennison, Racquel, et al.
Published: (2026)

Relative Expressiveness of Defeasible Logics II
by: Maher, Michael J.
Published: (2021)

Non-Monotonic S4F Standpoint Logic (Extended Version with Proofs)
by: Gorczyca, Piotr, et al.
Published: (2025)

Toward Robust Legal Text Formalization into Defeasible Deontic Logic using LLMs
by: Horner, Elias, et al.
Published: (2025)

Defeasible Reasoning on Concepts
by: Ding, Yiwen, et al.
Published: (2024)

Towards a Mechanistic Understanding of Propositional Logical Reasoning in Large Language Models
by: Chen, Danchun, et al.
Published: (2026)

Propositional Logic for Probing Generalization in Neural Networks
by: Langedijk, Anna, et al.
Published: (2025)

A Defeasible Deontic Calculus for Resolving Norm Conflicts
by: Olson, Taylor, et al.
Published: (2024)

Exploring Non-Regular Extensions of Propositional Dynamic Logic with Description-Logics Features
by: Bednarczyk, Bartosz
Published: (2023)

LogicLearner: A Tool for the Guided Practice of Propositional Logic Proofs
by: Inamdar, Amogh, et al.
Published: (2025)

Propositional Measure Logic
by: Aragão, Francisco
Published: (2025)

Benchmarking Defeasible Reasoning with Large Language Models -- Initial Experiments and Future Directions
by: Tachmazidis, Ilias, et al.
Published: (2024)

State Algebra for Propositional Logic
by: Lesnik, Dmitry, et al.
Published: (2025)

A Implies B: Circuit Analysis in LLMs for Propositional Logical Reasoning
by: Hong, Guan Zhe, et al.
Published: (2024)

Black Swan: Abductive and Defeasible Video Reasoning in Unpredictable Events
by: Chinchure, Aditya, et al.
Published: (2024)

Propositional Interpretability in Artificial Intelligence
by: Chalmers, David J.
Published: (2025)

From Prompts to Propositions: A Logic-Based Lens on Student-LLM Interactions
by: Alfageeh, Ali, et al.
Published: (2025)

Defeasible Visual Entailment: Benchmark, Evaluator, and Reward-Driven Optimization
by: Zhang, Yue, et al.
Published: (2024)

StyleStream: Real-Time Zero-Shot Voice Style Conversion
by: Liu, Yisi, et al.
Published: (2026)

Learn from Failure: Fine-Tuning LLMs with Trial-and-Error Data for Intuitionistic Propositional Logic Proving
by: An, Chenyang, et al.
Published: (2024)

Defeasible Conditional Obligation in a Two-tiered Preference-based Semantics (Extended Version)
by: Parent, Xavier
Published: (2026)

On the Complexity and Properties of Preferential Propositional Dependence Logic
by: Sauerwald, Kai, et al.
Published: (2025)

Representation Theorems for Cumulative Propositional Dependence Logics
by: Kontinen, Juha, et al.
Published: (2026)

On the Complexity of Entailment for Cumulative Propositional Dependence Logics
by: Sauerwald, Kai, et al.
Published: (2026)

Fuzzy Propositional Formulas under the Stable Model Semantics
by: Lee, Joohyung, et al.
Published: (2025)

A Primer for Preferential Non-Monotonic Propositional Team Logics
by: Sauerwald, Kai, et al.
Published: (2024)

A Logic of General Attention Using Edge-Conditioned Event Models (Extended Version)
by: Belardinelli, Gaia, et al.
Published: (2025)

Can Broad Biomedical Knowledge be Contextualized into Scenario-Grounded Propositions?
by: Zeng, Qingyuan, et al.
Published: (2026)

A Data-Transparent Probabilistic Model of Temporal Propositional Abstraction
by: Kido, Hiroyuki
Published: (2023)

Analytica: Soft Propositional Reasoning for Robust and Scalable LLM-Driven Analysis
by: Cheng, Junyan, et al.
Published: (2026)

Towards Unifying Perceptual Reasoning and Logical Reasoning
by: Kido, Hiroyuki
Published: (2022)

Encoding Argumentation Frameworks to Propositional Logic Systems
by: Tang, Shuai, et al.
Published: (2025)

AI-Generated Content in Cross-Domain Applications: Research Trends, Challenges and Propositions
by: Li, Jianxin, et al.
Published: (2025)

An Operational Kardashev-Style Scale for Autonomous AI - Towards AGI and Superintelligence
by: Chojecki, Przemyslaw
Published: (2025)

Complexity of Faceted Explanations in Propositional Abduction
by: Schmidt, Johannes, et al.
Published: (2025)

Curved Boolean Logic: A Contextual Generalization of Propositional Logic with Algorithmic Consequences
by: von Liechtenstein, Maximilian R. P.
Published: (2025)