Cover Image

Semantic Bridges Between First Order c-Representations and Cost-Based Semantics: An Initial Perspective

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Leisegang, Nicholas, Casini, Giovanni, Meyer, Thomas
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence Logic in Computer Science
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)

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

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

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
by: Bloch, Isabelle, et al.
Published: (2025)

Discussion Graph Semantics of First-Order Logic with Equality for Reasoning about Discussion and Argumentation
by: Arisaka, Ryuta
Published: (2024)

Cost-Based Semantics for Querying Inconsistent Weighted Knowledge Bases
by: Bienvenu, Meghyn, et al.
Published: (2024)

Knowledge Base Embeddings: Semantics and Theoretical Properties
by: Bourgaux, Camille, et al.
Published: (2024)

Learning to Rank the Initial Branching Order of SAT Solvers
by: Eriksson, Arvid, et al.
Published: (2026)

Automated Process Planning Based on a Semantic Capability Model and SMT
by: Köcher, Aljosha, et al.
Published: (2023)

Evaluation and Comparison Semantics for ODRL
by: Salas, Jaime Osvaldo, et al.
Published: (2025)

Decidability of Querying First-Order Theories via Countermodels of Finite Width
by: Feller, Thomas, et al.
Published: (2023)

Towards Practical First-Order Model Counting
by: Kidambi, Ananth K., et al.
Published: (2025)

On the Complexity of the Grounded Semantics for Infinite Argumentation Frameworks
by: Andrews, Uri, et al.
Published: (2025)

On the Trap Space Semantics of Normal Logic Programs
by: Trinh, Van-Giang, et al.
Published: (2026)

Weighted Rules under the Stable Model Semantics
by: Lee, Joohyung, et al.
Published: (2026)

LTLf Synthesis on First-Order Agent Programs in Nondeterministic Environments
by: Hofmann, Till, et al.
Published: (2024)

SDSC:A Structure-Aware Metric for Semantic Signal Representation Learning
by: Lee, Jeyoung, et al.
Published: (2025)

SHACL Validation in the Presence of Ontologies: Semantics and Rewriting Techniques
by: Oudshoorn, Anouk, et al.
Published: (2025)

A New Tractable Description Logic under Categorical Semantics
by: Duc, Chan Le, et al.
Published: (2025)

Syntax Is Easy, Semantics Is Hard: Evaluating LLMs for LTL Translation
by: Danso, Priscilla Kyei, et al.
Published: (2026)

Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity Rollercoaster
by: Lutz, Carsten, et al.
Published: (2024)

Learning First-Order Rules with Relational Path Contrast for Inductive Relation Reasoning
by: Pan, Yudai, et al.
Published: (2021)

Lifted Inference beyond First-Order Logic
by: Malhotra, Sagar, et al.
Published: (2023)

Recursive Aggregates as Intensional Functions in Answer Set Programming: Semantics and Strong Equivalence
by: Fandinno, Jorge, et al.
Published: (2024)

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

Counting Worlds Branching Time Semantics for post-hoc Bias Mitigation in generative AI
by: Buda, Alessandro G., et al.
Published: (2026)

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

A Reversible Semantics for Janus
by: Lanese, Ivan, et al.
Published: (2026)

Perennial Semantic Data Terms of Use for Decentralized Web
by: Zhao, Rui, et al.
Published: (2024)

Technical Report -- A Context-Sensitive Multi-Level Similarity Framework for First-Order Logic Arguments: An Axiomatic Study
by: David, Victor, et al.
Published: (2026)

Learning Concepts Definable in First-Order Logic with Counting
by: van Bergerem, Steffen
Published: (2019)

Subject-Event Ontology Without Global Time: Foundations and Execution Semantics
by: Boldachev, Alexander
Published: (2025)

Towards Advanced Mathematical Reasoning for LLMs via First-Order Logic Theorem Proving
by: Cao, Chuxue, et al.
Published: (2025)

Navigating Taxonomic Expansions of Entity Sets Driven by Knowledge Bases
by: Amendola, Giovanni, et al.
Published: (2025)

Multitask Kernel-based Learning with First-Order Logic Constraints
by: Diligenti, Michelangelo, et al.
Published: (2023)

Ontology for Policing: Conceptual Knowledge Learning for Semantic Understanding and Reasoning in Law Enforcement Reports
by: Srbinovska, Anita, et al.
Published: (2026)

Dynamic Logic of Trust-Based Beliefs
by: Jiang, Junli, et al.
Published: (2025)

An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction
by: Xu, Yang, et al.
Published: (2025)

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

Provenance Analysis and Semiring Semantics for First-Order Logic
by: Grädel, Erich, et al.
Published: (2024)