Copertina

Defeasible Reasoning on Concepts

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Ding, Yiwen, Manoorkar, Krishna, Switrayni, Ni Wayan, Wang, Ruoding
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Artificial Intelligence Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Fuzzy Lattice-based Description Logic
di: Ding, Yiwen, et al.
Pubblicazione: (2025)

Query Answering in Lattice-based Description Logic
di: Manoorkar, Krishna, et al.
Pubblicazione: (2024)

Toward the van Benthem Characterization Theorem for Non-Distributive Modal Logic
di: Ding, Yiwen, et al.
Pubblicazione: (2024)

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

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

Game semantics for lattice-based modal μ-calculus
di: Ding, Yiwen, et al.
Pubblicazione: (2023)

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

Relative Expressiveness of Defeasible Logics II
di: Maher, Michael J.
Pubblicazione: (2021)

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

Abductive Reasoning in a Paraconsistent Framework
di: Bienvenu, Meghyn, et al.
Pubblicazione: (2024)

Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents
di: Lyon, Tim S., et al.
Pubblicazione: (2024)

A Syllogistic Probe: Tracing the Evolution of Logic Reasoning in Large Language Models
di: Zang, Zhengqing, et al.
Pubblicazione: (2026)

Model Change for Description Logic Concepts
di: Ozaki, Ana, et al.
Pubblicazione: (2026)

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

On Probabilistic and Causal Reasoning with Summation Operators
di: Ibeling, Duligur, et al.
Pubblicazione: (2024)

Correspondence and Inverse Correspondence for Input/Output Logic and Region-Based Theories of Space
di: De Domenico, Andrea, et al.
Pubblicazione: (2024)

Knowledge on a Budget
di: Majer, Ondrej, et al.
Pubblicazione: (2026)

Automatically discovering heuristics in a complex SAT solver with large language models
di: Sun, Yiwen, et al.
Pubblicazione: (2025)

Reasoning in Neurosymbolic AI
di: Tran, Son, et al.
Pubblicazione: (2025)

Data2Concept2Text: An Explainable Multilingual Framework for Data Analysis Narration
di: Bertini, Flavio, et al.
Pubblicazione: (2025)

Enhancing Analogical Reasoning in the Abstraction and Reasoning Corpus via Model-Based RL
di: Lee, Jihwan, et al.
Pubblicazione: (2024)

ReasonOps: A Unified Operational Paradigm for Trustworthy Verified LLM Reasoning
di: Rashid, Adnan
Pubblicazione: (2026)

A Hybrid SMT-NRA Solver: Integrating 2D Cell-Jump-Based Local Search, MCSAT and OpenCAD
di: Ding, Tianyi, et al.
Pubblicazione: (2025)

Order-Sorted Intensional Logic: Expressing Subtyping Polymorphism with Typing Assertions and Quantification over Concepts
di: Marković, Đorđe, et al.
Pubblicazione: (2025)

Traffic Scenario Logic: A Spatial-Temporal Logic for Modeling and Reasoning of Urban Traffic Scenarios
di: Wang, Ruolin, et al.
Pubblicazione: (2024)

Building Trustworthy AI by Addressing its 16+2 Desiderata with Goal-Directed Commonsense Reasoning
di: Tudor, Alexis R., et al.
Pubblicazione: (2025)

Questions as cognitive filters
di: Conradie, Willem, et al.
Pubblicazione: (2025)

A framework for Conditional Reasoning in Answer Set Programming
di: Alviano, Mario, et al.
Pubblicazione: (2025)

FALCON: Scalable Reasoning over Inconsistent ALC Ontologies
di: Hinnerichs, Tilman, et al.
Pubblicazione: (2022)

A Modal Logic for Possibilistic Reasoning with Fuzzy Formal Contexts
di: Howlader, Prosenjit, et al.
Pubblicazione: (2025)

APOLLO: Automated LLM and Lean Collaboration for Advanced Formal Reasoning
di: Ospanov, Azim, et al.
Pubblicazione: (2025)

Analysing Temporal Reasoning in Description Logics Using Formal Grammars
di: Bourgaux, Camille, et al.
Pubblicazione: (2025)

Reasoning Systems as Structured Processes: Foundations, Failures, and Formal Criteria
di: Nikooroo, Saleh, et al.
Pubblicazione: (2025)

Temporal Causal Reasoning with (Non-Recursive) Structural Equation Models
di: Gladyshev, Maksim, et al.
Pubblicazione: (2025)

Large Language Models Imitate Logical Reasoning, but at what Cost?
di: McGinness, Lachlan, et al.
Pubblicazione: (2025)

Decidable Reasoning About Time in Finite-Domain Situation Calculus Theories
di: Hofmann, Till, et al.
Pubblicazione: (2024)

Spatiotemporal Robustness of Temporal Logic Tasks using Multi-Objective Reasoning
di: Schön, Oliver, et al.
Pubblicazione: (2026)

Stress-Testing the Reasoning Competence of LLMs With Proofs Under Minimal Formalism
di: Arkoudas, Konstantine, et al.
Pubblicazione: (2026)

From Knowledge to Conjectures: A Modal Framework for Reasoning about Hypotheses
di: Vitali, Fabio
Pubblicazione: (2025)

Epistemic Skills: Reasoning about Knowledge and Oblivion
di: Liang, Xiaolong, et al.
Pubblicazione: (2025)