Imagen de Portada

Hybrid MKNF for Aeronautics Applications: Usage and Heuristics

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Sheela, Arun Raveendran Nair, De Grancey, Florence, Rey, Christophe, Charpenay, Victor
Formato:	Preprint
Publicado:	2026
Materias:	Artificial Intelligence Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Automated Hybrid Grounding Using Structural and Data-Driven Heuristics
por: Beiser, Alexander, et al.
Publicado: (2025)

Hybrid Answer Set Programming: Foundations and Applications
por: Rühling, Nicolas
Publicado: (2025)

Lemmas: Generation, Selection, Application
por: Rawson, Michael, et al.
Publicado: (2023)

TTT: A Temporal Refinement Heuristic for Tenuously Tractable Discrete Time Reachability Problems
por: Sidrane, Chelsea, et al.
Publicado: (2024)

Lawful and Accountable Personal Data Processing with GDPR-based Access and Usage Control in Distributed Systems
por: van Binsbergen, L. Thomas, et al.
Publicado: (2025)

Applications of Intuitionistic Temporal Logic to Temporal Answer Set Programming
por: Cabalar, Pedro, et al.
Publicado: (2026)

Technical Report -- A Context-Sensitive Multi-Level Similarity Framework for First-Order Logic Arguments: An Axiomatic Study
por: David, Victor, et al.
Publicado: (2026)

An Axiomatic Study of the Evaluation of Enthymeme Decoding in Weighted Structured Argumentation
por: Ben-Naim, Jonathan, et al.
Publicado: (2024)

The logic of KM belief update is contained in the logic of AGM belief revision
por: Bonanno, Giacomo
Publicado: (2026)

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
por: Bloch, Isabelle, et al.
Publicado: (2025)

Abductive Reasoning in a Paraconsistent Framework
por: Bienvenu, Meghyn, et al.
Publicado: (2024)

Policy-Adaptable Methods For Resolving Normative Conflicts Through Argumentation and Graph Colouring
por: Joyce, Johnny
Publicado: (2025)

Dynamic Logic of Trust-Based Beliefs
por: Jiang, Junli, et al.
Publicado: (2025)

Similarity-based analogical proportions
por: Antić, Christian
Publicado: (2024)

An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction
por: Xu, Yang, et al.
Publicado: (2025)

An Algebraic Notion of Conditional Independence, and Its Application to Knowledge Representation (full version)
por: Heyninck, Jesse
Publicado: (2024)

Sound Heuristic Search Value Iteration for Undiscounted POMDPs with Reachability Objectives
por: Ho, Qi Heng, et al.
Publicado: (2024)

Proceedings 19th International Workshop on the ACL2 Theorem Prover and Its Applications
por: Gamboa, Ruben, et al.
Publicado: (2025)

Knowledge Base Embeddings: Semantics and Theoretical Properties
por: Bourgaux, Camille, et al.
Publicado: (2024)

ReAct! An Interactive Tool for Hybrid Planning in Robotics
por: Dogmus, Zeynep, et al.
Publicado: (2013)

Best-Effort Policies for Robust Markov Decision Processes
por: Abate, Alessandro, et al.
Publicado: (2025)

Solving reachability problems on data-aware workflows
por: De Masellis, Riccardo, et al.
Publicado: (2019)

A Formal Framework for Robot Construction Problems: A Hybrid Planning Approach
por: Ahmad, Faseeh, et al.
Publicado: (2019)

Constrained Assumption-Based Argumentation Frameworks
por: De Angelis, Emanuele, et al.
Publicado: (2026)

Multi-Property Synthesis
por: Weinhuber, Christoph, et al.
Publicado: (2026)

Enriching Ontologies with Disjointness Axioms using Large Language Models
por: Crum, Elias, et al.
Publicado: (2024)

Queries With Exact Truth Values in Paraconsistent Description Logics
por: Bienvenu, Meghyn, et al.
Publicado: (2024)

Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents
por: Lyon, Tim S., et al.
Publicado: (2024)

On Probabilistic and Causal Reasoning with Summation Operators
por: Ibeling, Duligur, et al.
Publicado: (2024)

Defining implication relation for classical logic
por: Fu, Li
Publicado: (2013)

Efficient OWL2QL Meta-reasoning Using ASP-based Hybrid Knowledge Bases
por: Qureshi, Haya Majid, et al.
Publicado: (2025)

A Hybrid SMT-NRA Solver: Integrating 2D Cell-Jump-Based Local Search, MCSAT and OpenCAD
por: Ding, Tianyi, et al.
Publicado: (2025)

Complexity of Faceted Explanations in Propositional Abduction
por: Schmidt, Johannes, et al.
Publicado: (2025)

Uppaal Coshy: Automatic Synthesis of Compact Shields for Hybrid Systems
por: Brorholt, Asger Horn, et al.
Publicado: (2025)

Reasoning About Action and Change
por: de Saint-Cyr, Florence Dupin, et al.
Publicado: (2024)

Middle Architecture Criteria
por: Beverley, John, et al.
Publicado: (2024)

Circuit Representations of Random Forests with Applications to XAI
por: Ji, Chunxi, et al.
Publicado: (2026)

Analogical proportions II
por: Antić, Christian
Publicado: (2024)

A Performance Verification Methodology for Resource Allocation Heuristics
por: Goel, Saksham, et al.
Publicado: (2023)

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