:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Doherty, Patrick, Szalas, Andrzej
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Artificial Intelligence Logic in Computer Science
Online-Zugang:	https://arxiv.org/abs/2404.02454
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Dual Forgetting Operators in the Context of Weakest Sufficient and Strongest Necessary Conditions
von: Doherty, Patrick, et al.
Veröffentlicht: (2023)

Bridge and Bound: A Logic-Based Framework for Abstracting (Extended Report)
von: Szalas, Andrzej
Veröffentlicht: (2025)

Logical Foundations and Complexity of 4QL, a Query Language with Unrestricted Negation
von: Maluszynski, Jan, et al.
Veröffentlicht: (2010)

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

SHACL Validation in the Presence of Ontologies: Semantics and Rewriting Techniques
von: Oudshoorn, Anouk, et al.
Veröffentlicht: (2025)

Strength Change Explanations in Quantitative Argumentation
von: Kampik, Timotheus, et al.
Veröffentlicht: (2026)

How should I compute my candidates? A taxonomy and classification of diagnosis computation algorithms
von: Rodler, Patrick
Veröffentlicht: (2022)

Formally Verified Approximate Policy Iteration
von: Schäffeler, Maximilian, et al.
Veröffentlicht: (2024)

ODRL Policy Comparison Through Normalisation
von: Salas, Jaime Osvaldo, et al.
Veröffentlicht: (2026)

Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques
von: Han, Sangjun, et al.
Veröffentlicht: (2025)

The Logical Expressiveness of Temporal GNNs via Two-Dimensional Product Logics
von: Sälzer, Marco, et al.
Veröffentlicht: (2025)

HypRL: Reinforcement Learning of Control Policies for Hyperproperties
von: Hsu, Tzu-Han, et al.
Veröffentlicht: (2025)

Best-Effort Policies for Robust Markov Decision Processes
von: Abate, Alessandro, et al.
Veröffentlicht: (2025)

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

A Logic for Policy Based Resource Exchanges in Multiagent Systems
von: Ceragioli, Lorenzo, et al.
Veröffentlicht: (2024)

Follow the STARs: Dynamic $ω$-Regular Shielding of Learned Policies
von: Anand, Ashwani, et al.
Veröffentlicht: (2025)

Formal Ethical Obligations in Reinforcement Learning Agents: Verification and Policy Updates
von: Shea-Blymyer, Colin, et al.
Veröffentlicht: (2024)

Constrained and Robust Policy Synthesis with Satisfiability-Modulo-Probabilistic-Model-Checking
von: Heck, Linus, et al.
Veröffentlicht: (2025)

Do LLMs Really Struggle at NL-FOL Translation? Revealing their Strengths via a Novel Benchmarking Strategy
von: Brunello, Andrea, et al.
Veröffentlicht: (2025)

Certified Policy Verification and Synthesis for MDPs under Distributional Reach-avoidance Properties
von: Akshay, S., et al.
Veröffentlicht: (2024)

Don't Forget Imagination!
von: Vityaev, Evgenii E., et al.
Veröffentlicht: (2025)

Measuring Rule-based LTLf Process Specifications: A Probabilistic Data-driven Approach
von: Cecconi, Alessio, et al.
Veröffentlicht: (2023)

Can You Tell the Difference? Contrastive Explanations for ABox Entailments
von: Koopmann, Patrick, et al.
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)

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)

Where to Search: Measure the Prior-Structured Search Space of LLM Agents
von: Song, Zhuo-Yang
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)

A Note on the Practice of Logical Inferentialism
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2024)

Logical Inferentialism & Attacks on Classical Logic
von: Irani, Khashayar
Veröffentlicht: (2025)

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)

Aligning with Logic: Measuring, Evaluating and Improving Logical Preference Consistency in Large Language Models
von: Liu, Yinhong, et al.
Veröffentlicht: (2024)

Uppaal Coshy: Automatic Synthesis of Compact Shields for Hybrid Systems
von: Brorholt, Asger Horn, et al.
Veröffentlicht: (2025)

A Reinforcement Learning based Reset Policy for CDCL SAT Solvers
von: Li, Chunxiao, et al.
Veröffentlicht: (2024)

Learning Logic Specifications for Policy Guidance in POMDPs: an Inductive Logic Programming Approach
von: Meli, Daniele, et al.
Veröffentlicht: (2024)