Cover Image

Rule-Based Error Detection and Correction to Operationalize Movement Trajectory Classification

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Xi, Bowen, Scaria, Kevin, Bavikadi, Divyagna, Shakarian, Paulo
Format:	Preprint
Published:	2023
Subjects:	Machine Learning Artificial Intelligence Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Sea-cret Agents: Maritime Abduction for Region Generation to Expose Dark Vessel Trajectories
by: Bavikadi, Divyagna, et al.
Published: (2025)

Geospatial Trajectory Generation via Efficient Abduction: Deployment for Independent Testing
by: Bavikadi, Divyagna, et al.
Published: (2024)

Machine Learning Model Integration with Open World Temporal Logic for Process Automation
by: Aditya, Dyuman, et al.
Published: (2025)

Abduction of Domain Relationships from Data for VQA
by: Chowdhury, Al Mehdi Saadat, et al.
Published: (2025)

On Trustworthy Rule-Based Models and Explanations
by: Siala, Mohamed, et al.
Published: (2025)

Probabilistic Circuits for Knowledge Graph Completion with Reduced Rule Sets
by: Patil, Jaikrishna Manojkumar, et al.
Published: (2025)

Error Detection and Constraint Recovery in Hierarchical Multi-Label Classification without Prior Knowledge
by: Kricheli, Joshua Shay, et al.
Published: (2024)

Compact Rule-Based Classifier Learning via Gradient Descent
by: Fumanal-Idocin, Javier, et al.
Published: (2025)

Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning
by: Mukherji, Kaustuv, et al.
Published: (2025)

Machine Learning Driven Biomarker Selection for Medical Diagnosis
by: Bavikadi, Divyagna, et al.
Published: (2024)

ANDRE: An Attention-based Neuro-symbolic Differentiable Rule Extractor for Inductive Logic Programming
by: Sharifi, Iman, et al.
Published: (2026)

Efficient & Correct Predictive Equivalence for Decision Trees
by: Marques-Silva, Joao, et al.
Published: (2025)

Neural Logic Networks for Interpretable Classification
by: Perreault, Vincent, et al.
Published: (2025)

Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces
by: Chevallier, Mark, et al.
Published: (2025)

Constraint-aware Learning of Probabilistic Sequential Models for Multi-Label Classification
by: Buleshnyi, Mykhailo, et al.
Published: (2025)

SATformer: Transformer-Based UNSAT Core Learning
by: Shi, Zhengyuan, et al.
Published: (2022)

Magnushammer: A Transformer-Based Approach to Premise Selection
by: Mikuła, Maciej, et al.
Published: (2023)

Learning Brave Assumption-Based Argumentation Frameworks via ASP
by: De Angelis, Emanuele, et al.
Published: (2024)

Recover: A Neuro-Symbolic Framework for Failure Detection and Recovery
by: Cornelio, Cristina, et al.
Published: (2024)

Pragmatic Formal Verification of Sequential Error Detection and Correction Codes (ECCs) used in Safety-Critical Design
by: Kumar, Aman
Published: (2024)

Autoformalizing Natural Language to First-Order Logic: A Case Study in Logical Fallacy Detection
by: Lalwani, Abhinav, et al.
Published: (2024)

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

Enhancing Neural Theorem Proving through Data Augmentation and Dynamic Sampling Method
by: Vishwakarma, Rahul, et al.
Published: (2023)

Dual Box Embeddings for the Description Logic EL++
by: Jackermeier, Mathias, et al.
Published: (2023)

Neurosymbolic AI for Reasoning over Knowledge Graphs: A Survey
by: DeLong, Lauren Nicole, et al.
Published: (2023)

Multitask Kernel-based Learning with First-Order Logic Constraints
by: Diligenti, Michelangelo, et al.
Published: (2023)

Application of AI to formal methods - an analysis of current trends
by: Stock, Sebastian, et al.
Published: (2024)

P2C: Path to Counterfactuals
by: Dasgupta, Sopam, et al.
Published: (2025)

Autonomous Code Evolution Meets NP-Completeness
by: Yu, Cunxi, et al.
Published: (2025)

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

MathConstraint: Automated Generation of Verified Combinatorial Reasoning Instances for LLMs
by: Pati, Viresh, et al.
Published: (2026)

Lattice Deduction Transformers
by: Davis, Liam, et al.
Published: (2026)

Learning big logical rules by joining small rules
by: Hocquette, Céline, et al.
Published: (2024)

Hypergraph Neural Networks Accelerate MUS Enumeration
by: Ijima, Hiroya, et al.
Published: (2026)

Approximating Pareto Frontiers in Stochastic Multi-Objective Optimization via Hashing and Randomization
by: Li, Jinzhao, et al.
Published: (2026)

Scaling the weight parameters in Markov logic networks and relational logistic regression models
by: Weitkämper, Felix
Published: (2021)

Marabou 2.0: A Versatile Formal Analyzer of Neural Networks
by: Wu, Haoze, et al.
Published: (2024)

Comparing Neural Network Encodings for Logic-based Explainability
by: Carvalho, Levi Cordeiro, et al.
Published: (2025)

Machine Learning for Quantifier Selection in cvc5
by: Jakubův, Jan, et al.
Published: (2024)

Transfer Learning from Foundational Optimization Embeddings to Unsupervised SAT Representations
by: Pal, Koyena, et al.
Published: (2026)