:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Zhang, Liao, Cerna, David M., Kaliszyk, Cezary
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic in Computer Science Artificial Intelligence Machine Learning F.4.1, I.2.4
Online-Zugang:	https://arxiv.org/abs/2411.01188
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Experiments with Choice in Dependently-Typed Higher-Order Logic
von: Ranalter, Daniel, et al.
Veröffentlicht: (2024)

Goal-Driven Query Answering over First- and Second-Order Dependencies with Equality
von: Tsamoura, Efthymia, et al.
Veröffentlicht: (2024)

Unique Characterisability and Learnability of Temporal Queries Mediated by an Ontology
von: Jung, Jean Christoph, et al.
Veröffentlicht: (2023)

Globally Interpretable Classifiers via Boolean Formulas with Dynamic Propositions
von: Jaakkola, Reijo, et al.
Veröffentlicht: (2024)

Pantograph: A Machine-to-Machine Interaction Interface for Advanced Theorem Proving, High Level Reasoning, and Data Extraction in Lean 4
von: Aniva, Leni, et al.
Veröffentlicht: (2024)

Logic interpretations of ANN partition cells
von: Schmitt, Ingo
Veröffentlicht: (2024)

Locality in Residuated-Lattice Structures
von: Carr, James
Veröffentlicht: (2025)

Degree-preserving Godel logics with an involution: intermediate logics and (ideal) paraconsistency
von: Coniglio, M. E., et al.
Veröffentlicht: (2026)

Polymorphism Meets DHOL
von: Ranalter, Rhea, et al.
Veröffentlicht: (2026)

Interpretable classifiers for tabular data via discretization and feature selection
von: Jaakkola, Reijo, et al.
Veröffentlicht: (2024)

Modal Logics -- RNmatrices vs. Nmatrices
von: Coniglio, Marcelo E., et al.
Veröffentlicht: (2024)

Robust Computation Tree Logic
von: Nayak, Satya Prakash, et al.
Veröffentlicht: (2022)

On Angels and Demons: Strategic (De)Construction of Dynamic Models
von: Catta, Davide, et al.
Veröffentlicht: (2026)

TPTP World Infrastructure for Non-classical Logics
von: Steen, Alexander, et al.
Veröffentlicht: (2025)

A Coq-based Axiomatization of Tarski's Mereogeometry
von: Barlatier, Patrick, et al.
Veröffentlicht: (2025)

The Dependently Typed Higher-Order Form for the TPTP World
von: Ranalter, Daniel, et al.
Veröffentlicht: (2025)

Changing the Rules of the Game: Reasoning about Dynamic Phenomena in Multi-Agent Systems
von: Galimullin, Rustam, et al.
Veröffentlicht: (2025)

Canonical for Automated Theorem Proving in Lean
von: Norman, Chase, et al.
Veröffentlicht: (2025)

On the Power and Limitations of Examples for Description Logic Concepts
von: Cate, Balder ten, et al.
Veröffentlicht: (2024)

Refactoring-as-Propositions: Proved Refactoring of Hybrid Systems via Proved Refinements
von: Prebet, Enguerrand, et al.
Veröffentlicht: (2026)

A Sequent Calculus for General Inductive Definitions
von: Eede, Robbe Van den, et al.
Veröffentlicht: (2026)

Automated Strategy Invention for Confluence of Term Rewrite Systems
von: Zhang, Liao, et al.
Veröffentlicht: (2024)

Denotational Semantics for ODRL: Knowledge-Based Constraint Conflict Detection
von: Mustafa, Daham, et al.
Veröffentlicht: (2026)

I Would If I Could: Reasoning about Dynamics of Actions in Multi-Agent Systems
von: Galimullin, Rustam, et al.
Veröffentlicht: (2026)

Verifiably Robust Conformal Prediction
von: Jeary, Linus, et al.
Veröffentlicht: (2024)

Argumentation and Machine Learning
von: Rago, Antonio, et al.
Veröffentlicht: (2024)

A SHACL-based Data Consistency Solution for Contract Compliance Verification (Extended Paper)
von: David, Robert, et al.
Veröffentlicht: (2025)

Formal Verification of Diffusion Auctions
von: Galimullin, Rustam, et al.
Veröffentlicht: (2025)

Comparing State-Representations for DEL Model Checking
von: Behnke, Gregor, et al.
Veröffentlicht: (2025)

Structure Transfer: an Inference-Based Calculus for the Transformation of Representations
von: Raggi, Daniel, et al.
Veröffentlicht: (2025)

Inverse-Free Wilson Loops for Transformers: A Practical Diagnostic for Invariance and Order Sensitivity
von: Chang, Edward Y., et al.
Veröffentlicht: (2025)

Classification of Covering Spaces and Canonical Change of Basepoint
von: Wemmenhove, Jelle, et al.
Veröffentlicht: (2024)

Oruga: An Avatar of Representational Systems Theory
von: Raggi, Daniel, et al.
Veröffentlicht: (2025)

The Luna Bound Propagator for Formal Analysis of Neural Networks
von: LeCates, Henry, et al.
Veröffentlicht: (2026)

An Incremental Framework for Topological Dialogue Semantics: Efficient Reasoning in Discrete Spaces
von: Santacana, Andreu Ballus
Veröffentlicht: (2025)

Learning How to Cube
von: Erata, Ferhat, et al.
Veröffentlicht: (2026)

SPARQL in N3: SPARQL CONSTRUCT as a rule language for the Semantic Web (Extended Version)
von: Arndt, Dörthe, et al.
Veröffentlicht: (2025)

An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic
von: Martina, Antoine, et al.
Veröffentlicht: (2023)

Deontic Temporal Logic for Formal Verification of AI Ethics
von: V., Priya T., et al.
Veröffentlicht: (2025)

T-CPDL: A Temporal Causal Probabilistic Description Logic for Developing Logic-RAG Agent
von: Yu, Hong Qing
Veröffentlicht: (2025)