:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Haslum, Patrik, Corrêa, Augusto B.
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Artificial Intelligence Logic in Computer Science
Online-Zugang:	https://arxiv.org/abs/2411.08040
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Faster Lifting for Ordered Domains with Predecessor Relations
von: Zou, Kuncheng, et al.
Veröffentlicht: (2025)

Integrating Belief Domains into Probabilistic Logic Programs
von: Azzolini, Damiano, et al.
Veröffentlicht: (2025)

Approximate SMT Counting Beyond Discrete Domains
von: Shaw, Arijit, et al.
Veröffentlicht: (2025)

Robustness of Constraint Automata for Description Logics with Concrete Domains
von: Demri, Stéphane, et al.
Veröffentlicht: (2026)

Decidable Reasoning About Time in Finite-Domain Situation Calculus Theories
von: Hofmann, Till, et al.
Veröffentlicht: (2024)

Formalizing Kantian Ethics: Formula of the Universal Law Logic (FULL)
von: Olson, Taylor
Veröffentlicht: (2026)

A Formal Framework for the Definition of 'State': Hierarchical Representation and Meta-Universe Interpretation
von: Itoh, Kei
Veröffentlicht: (2025)

Abductive Reasoning in a Paraconsistent Framework
von: Bienvenu, Meghyn, et al.
Veröffentlicht: (2024)

Similarity-based analogical proportions
von: Antić, Christian
Veröffentlicht: (2024)

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

Policy-Adaptable Methods For Resolving Normative Conflicts Through Argumentation and Graph Colouring
von: Joyce, Johnny
Veröffentlicht: (2025)

Dynamic Logic of Trust-Based Beliefs
von: Jiang, Junli, et al.
Veröffentlicht: (2025)

The logic of KM belief update is contained in the logic of AGM belief revision
von: Bonanno, Giacomo
Veröffentlicht: (2026)

An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction
von: Xu, Yang, et al.
Veröffentlicht: (2025)

RvLLM: LLM Runtime Verification with Domain Knowledge
von: Zhang, Yedi, et al.
Veröffentlicht: (2025)

Pearce's Characterisation in an Epistemic Domain
von: Su, Ezgi Iraz
Veröffentlicht: (2025)

Abduction of Domain Relationships from Data for VQA
von: Chowdhury, Al Mehdi Saadat, et al.
Veröffentlicht: (2025)

On Probabilistic and Causal Reasoning with Summation Operators
von: Ibeling, Duligur, et al.
Veröffentlicht: (2024)

Defining implication relation for classical logic
von: Fu, Li
Veröffentlicht: (2013)

Queries With Exact Truth Values in Paraconsistent Description Logics
von: Bienvenu, Meghyn, et al.
Veröffentlicht: (2024)

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

Inconsistency Handling in Prioritized Databases with Universal Constraints: Complexity Analysis and Links with Active Integrity Constraints
von: Bienvenu, Meghyn, et al.
Veröffentlicht: (2023)

Neuro-Symbolic Verification of LLM Outputs for Data-Sensitive Domains (extended preprint)
von: Sigloch, Paul, et al.
Veröffentlicht: (2026)

$O_2$ is a multiple context-free grammar: an implementation-, formalisation-friendly proof
von: Caminati, Marco B.
Veröffentlicht: (2024)

Analogical proportions II
von: Antić, Christian
Veröffentlicht: (2024)

Decidability of Querying First-Order Theories via Countermodels of Finite Width
von: Feller, Thomas, et al.
Veröffentlicht: (2023)

Canonical Decision Diagrams Modulo Theories
von: Michelutti, Massimo, et al.
Veröffentlicht: (2024)

On Formally Undecidable Traits of Intelligent Machines
von: Fox, Matthew
Veröffentlicht: (2024)

Model Counting in the Wild
von: Shaw, Arijit, et al.
Veröffentlicht: (2024)

Repairing Networks of $\mathcal{EL_\perp}$ Ontologies using Weakening and Completing -- Extended version
von: Li, Ying, et al.
Veröffentlicht: (2024)

Operator-based semantics for choice programs: is choosing losing? (full version)
von: Heyninck, Jesse
Veröffentlicht: (2024)

Guiding Multi-agent Multi-task Reinforcement Learning by a Hierarchical Framework with Logical Reward Shaping
von: Liu, Chanjuan, et al.
Veröffentlicht: (2024)

Solving Decision Theory Problems with Probabilistic Answer Set Programming
von: Azzolini, Damiano, et al.
Veröffentlicht: (2024)

A Computationally Grounded Framework for Cognitive Attitudes (extended version)
von: de Lima, Tiago, et al.
Veröffentlicht: (2024)

LTLf Synthesis Under Unreliable Input
von: Hagemeier, Christian, et al.
Veröffentlicht: (2024)

Fast Inference for Probabilistic Answer Set Programs via the Residual Program
von: Azzolini, Damiano, et al.
Veröffentlicht: (2024)

A Variable Occurrence-Centric Framework for Inconsistency Handling (Extended Version)
von: Salhi, Yakoub
Veröffentlicht: (2024)

Enriching Ontologies with Disjointness Axioms using Large Language Models
von: Crum, Elias, et al.
Veröffentlicht: (2024)

Enumerating Minimal Unsatisfiable Cores of LTLf formulas
von: Ielo, Antonio, et al.
Veröffentlicht: (2024)

Effective AGM Belief Contraction: A Journey beyond the Finitary Realm (Technical Report)
von: Klumpp, Dominik, et al.
Veröffentlicht: (2024)