Buchumschlag

On the Power and Limitations of Examples for Description Logic Concepts

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Cate, Balder ten, Koudijs, Raoul, Ozaki, Ana
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic in Computer Science Machine Learning F.4.1; I.2.6; I.2.4
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

How Expressive Are Graph Neural Networks in the Presence of Node Identifiers?
von: Soeteman, Arie, et al.
Veröffentlicht: (2026)

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

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

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

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

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

When do homomorphism counts help in query algorithms?
von: Cate, Balder ten, et al.
Veröffentlicht: (2023)

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

Logical Expressiveness of Graph Neural Networks with Hierarchical Node Individualization
von: Soeteman, Arie, et al.
Veröffentlicht: (2025)

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)

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

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

Do LLMs Game Formalization? Evaluating Faithfulness in Logical Reasoning
von: Kim, Kyuhee, et al.
Veröffentlicht: (2026)

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

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

Comparing State-Representations for DEL Model Checking
von: Behnke, Gregor, 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)

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

Logic-based Explanations for Linear Support Vector Classifiers with Reject Option
von: Filho, Francisco Mateus Rocha, et al.
Veröffentlicht: (2024)

Uncovering Bugs in Formal Explainers: A Case Study with PyXAI
von: Huang, Xuanxiang, et al.
Veröffentlicht: (2025)

FastLEC: Parallel Datapath Equivalence Checking with Hybrid Engines
von: Zhang, Xindi, et al.
Veröffentlicht: (2025)

Sutra: Tensor-Op RNNs as a Compilation Target for Vector Symbolic Architectures
von: Leonhart, Emma
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)

LFC-DA: Logical Formula-Controlled Data Augmentation for Enhanced Logical Reasoning
von: Li, Shenghao
Veröffentlicht: (2025)

Learning Rules Explaining Interactive Theorem Proving Tactic Prediction
von: Zhang, Liao, et al.
Veröffentlicht: (2024)

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

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)

An Incremental MaxSAT-based Model to Learn Interpretable and Balanced Classification Rules
von: Júnior, Antônio Carlos Souza Ferreira, et al.
Veröffentlicht: (2024)

Probabilities of the Third Type: Statistical Relational Learning and Reasoning with Relative Frequencies
von: Weitkämper, Felix
Veröffentlicht: (2022)

LLM-FACETS: A Privacy-Preserving Framework for Evaluating LLM Transparency and Accountability
von: Lucas, Tom, et al.
Veröffentlicht: (2026)

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

First-Order Coalition Logic
von: Catta, Davide, et al.
Veröffentlicht: (2025)

Varieties of Distributed Knowledge
von: Galimullin, Rustam, et al.
Veröffentlicht: (2025)

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

Comparing Fairness of Generative Mobility Models
von: Wang, Daniel, et al.
Veröffentlicht: (2024)

Which are the True Defeasible Logics?
von: Maher, Michael J.
Veröffentlicht: (2024)

Definite Descriptions and Hybrid Tense Logic
von: Indrzejczak, Andrzej, et al.
Veröffentlicht: (2024)

Incomplete Descriptions and Qualified Definiteness
von: Więckowski, Bartosz
Veröffentlicht: (2024)