Cover Image

Enhancing Computer Vision with Knowledge: a Rummikub Case Study

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Vandevelde, Simon, Mertens, Laurent, Lauwers, Sverre, Vennekens, Joost
Format:	Preprint
Published:	2024
Subjects:	Computer Vision and Pattern Recognition Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Efficiently grounding FOL using bit vectors
by: Van Laer, Lucas, et al.
Published: (2024)

EmoCAM: Toward Understanding What Drives CNN-based Emotion Recognition
by: Doulfoukar, Youssef, et al.
Published: (2024)

Enhancing Vision Language Models with Logic Reasoning for Situational Awareness
by: Pradeep, Pavana, et al.
Published: (2026)

Enhanced Drift-Aware Computer Vision Architecture for Autonomous Driving
by: Hossain, Md Shahi Amran, et al.
Published: (2025)

Answer Set Programming for Flexible Payroll Management
by: Callewaert, Benjamin, et al.
Published: (2024)

Toward Guarantees for Clinical Reasoning in Vision Language Models via Formal Verification
by: Singh, Vikash, et al.
Published: (2026)

FindingEmo: An Image Dataset for Emotion Recognition in the Wild
by: Mertens, Laurent, et al.
Published: (2024)

Assessing the Alignment of Popular CNNs to the Brain for Valence Appraisal
by: Mertens, Laurent, et al.
Published: (2025)

Robustness Assessment of a Runway Object Classifier for Safe Aircraft Taxiing
by: Elboher, Yizhak, et al.
Published: (2024)

Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report
by: Bukhari, Syed Ali Asadullah, et al.
Published: (2024)

Simulating dynamic systems using Linear Time Calculus theories
by: Bogaerts, Bart, et al.
Published: (2014)

Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems
by: Gruteser, Jan, et al.
Published: (2024)

Network Inversion and Its Applications
by: Suhail, Pirzada, et al.
Published: (2024)

LASER: A Neuro-Symbolic Framework for Learning Spatial-Temporal Scene Graphs with Weak Supervision
by: Huang, Jiani, et al.
Published: (2023)

Formal Reasoning About Confidence and Automated Verification of Neural Networks
by: Afzal, Mohammad, et al.
Published: (2025)

Concept-based Analysis of Neural Networks via Vision-Language Models
by: Mangal, Ravi, et al.
Published: (2024)

Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains
by: Mertens, Hannah, et al.
Published: (2024)

Compositional Reasoning for Probabilistic Automata with Uncertainty
by: Mertens, Hannah, et al.
Published: (2026)

Bridging Simplicity and Sophistication using GLinear: A Novel Architecture for Enhanced Time Series Prediction
by: Rizvi, Syed Tahir Hussain, et al.
Published: (2025)

A Multimodal Framework for Deepfake Detection
by: Gandhi, Kashish, et al.
Published: (2024)

Grounding vs. Compositionality: On the Non-Complementarity of Reasoning in Neuro-Symbolic Systems
by: Shahid, Mahnoor, et al.
Published: (2026)

Double-Stage Feature-Level Clustering-Based Mixture of Experts Framework
by: Badjie, Bakary, et al.
Published: (2025)

Compositional Reasoning for Parametric Probabilistic Automata
by: Mertens, Hannah, et al.
Published: (2025)

Improving Fuzzy-Logic based Map-Matching Method with Trajectory Stay-Point Detection
by: Jafarlou, Minoo, et al.
Published: (2022)

Bridging Computational Notions of Depth
by: Bienvenu, Laurent, et al.
Published: (2024)

Computing with Infinite Objects: the Gray Code Case
by: Spreen, Dieter, et al.
Published: (2021)

Tree Rewriting Calculi for Strictly Positive Logics
by: Santiago-Fernández, Sofía, et al.
Published: (2025)

The Complexity of the Constructive Master Modality
by: Santiago-Fernández, Sofía, et al.
Published: (2026)

Computational Imaging for Enhanced Computer Vision
by: Shaikh, Humera, et al.
Published: (2025)

Cut elimination for Cyclic Proofs: A Case Study in Temporal Logic
by: Afshari, Bahareh, et al.
Published: (2024)

Visual Graph Question Answering with ASP and LLMs for Language Parsing
by: Bauer, Jakob Johannes, et al.
Published: (2025)

Field Knowledge as a Dual to Distributed Knowledge: A Characterization by Weighted Modal Logic
by: Liang, Xiaolong, et al.
Published: (2024)

A Logic of Knowledge and Justifications, with an Application to Computational Trust
by: Genco, Francesco A.
Published: (2024)

Enhancing Computer Vision Model Generalization in Warehouse Facilities: A Case Study on Anomaly Detection in Vertical Material Handling Systems
by: Liu, Ruiliang, et al.
Published: (2026)

A Comprehensive Review of Knowledge Distillation in Computer Vision
by: Habib, Gousia, et al.
Published: (2024)

Computation of Interpolants for Description Logic Concepts in Hard Cases
by: Jung, Jean Christoph, et al.
Published: (2025)

SAT-based Learning of Computation Tree Logic
by: Pommellet, Adrien, et al.
Published: (2024)

Agent-Knowledge Logic for Alternative Epistemic Logic
by: Nishimura, Yuki
Published: (2024)

Micro-Fracture Detection in Photovoltaic Cells with Hardware-Constrained Devices and Computer Vision
by: Faassen, Booy Vitas, et al.
Published: (2024)

Meta-Mathematics of Computational Complexity Theory
by: Oliveira, Igor C.
Published: (2025)