:: Library Catalog

Imagen de Portada

Guardado en:

Detalles Bibliográficos
Autores principales:	Ai, Lun, Muggleton, Stephen H., Liang, Shi-Shun, Baldwin, Geoff S.
Formato:	Preprint
Publicado:	2024
Materias:	Artificial Intelligence Symbolic Computation
Acceso en línea:	https://arxiv.org/abs/2405.11412
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Active learning of digenic functions with boolean matrix logic programming
por: Ai, Lun, et al.
Publicado: (2024)

Boolean Matrix Logic Programming on the GPU
por: Ai, Lun
Publicado: (2024)

Boolean matrix logic programming for active learning of gene functions in genome-scale metabolic network models
por: Ai, Lun, et al.
Publicado: (2024)

Power Term Polynomial Algebra for Boolean Logic
por: Sansone, Emanuele, et al.
Publicado: (2026)

LogicMP: A Neuro-symbolic Approach for Encoding First-order Logic Constraints
por: Xu, Weidi, et al.
Publicado: (2023)

Learning to Solve Abstract Reasoning Problems with Neurosymbolic Program Synthesis and Task Generation
por: Bednarek, Jakub, et al.
Publicado: (2024)

Speaking in Words, Thinking in Logic: A Dual-Process Framework in QA Systems
por: Bui, Tuan, et al.
Publicado: (2025)

Improving Neural-based Classification with Logical Background Knowledge
por: Ledaguenel, Arthur, et al.
Publicado: (2024)

Integrating Fuzzy Logic into Deep Symbolic Regression
por: Gerdes, Wout, et al.
Publicado: (2024)

Decoupling Representation and Learning in Genetic Programming: the LaSER Approach
por: Le, Nam H., et al.
Publicado: (2025)

Model-Based Diagnosis with Multiple Observations: A Unified Approach for C Software and Boolean Circuits
por: Orvalho, Pedro, et al.
Publicado: (2025)

The Neural Compiler: Program-to-Network Translation for Hybrid Scientific Machine Learning
por: Sheneman, Lucas
Publicado: (2026)

Improving Evaluation of Recombination-based Cartesian Genetic Programming
por: Tran, Duy Long, et al.
Publicado: (2026)

APEX$^2$: Adaptive and Extreme Summarization for Personalized Knowledge Graphs
por: Li, Zihao, et al.
Publicado: (2024)

A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning
por: Chen, Michael K.
Publicado: (2025)

KERAIA: An Adaptive and Explainable Framework for Dynamic Knowledge Representation and Reasoning
por: Varey, Stephen Richard, et al.
Publicado: (2025)

Enhancing Zero-Shot Chain-of-Thought Reasoning in Large Language Models through Logic
por: Zhao, Xufeng, et al.
Publicado: (2023)

Simulation to Rules: A Dual-VLM Framework for Formal Visual Planning
por: Hao, Yilun, et al.
Publicado: (2025)

Synthesizing Evolving Symbolic Representations for Autonomous Systems
por: Sartor, Gabriele, et al.
Publicado: (2024)

A Probabilistic Framework for Hierarchical Goal Recognition
por: Zhang, Chenyuan, et al.
Publicado: (2026)

Choices and their Provenance: Explaining Stable Solutions of Abstract Argumentation Frameworks
por: Ludäscher, Bertram, et al.
Publicado: (2025)

NL2CA: Auto-formalizing Cognitive Decision-Making from Natural Language Using an Unsupervised CriticNL2LTL Framework
por: Deng, Zihao, et al.
Publicado: (2025)

ABD: Default Exception Abduction in Finite First Order Worlds
por: Batzoglou, Serafim
Publicado: (2026)

VITA: Versatile Time Representation Learning for Temporal Hyper-Relational Knowledge Graphs
por: Un, ChongIn, et al.
Publicado: (2025)

Formal Verification of Neural Certificates Done Dynamically
por: Henzinger, Thomas A., et al.
Publicado: (2025)

A Qualitative Model to Reason about Object Rotations (QOR) applied to solve the Cube Comparison Test (CCT)
por: Falomir, Zoe
Publicado: (2026)

The Neurosymbolic Frontier of Nonuniform Ellipticity: Formalizing Sharp Schauder Theory via Topos-Theoretic Reasoning Models
por: Mishra, Suyash
Publicado: (2026)

On Explaining Proxy Discrimination and Unfairness in Individual Decisions Made by AI Systems
por: Sonna, Belona, et al.
Publicado: (2025)

NOMTO: Neural Operator-based symbolic Model approximaTion and discOvery
por: Garmaev, Sergei, et al.
Publicado: (2025)

To Be or Not To Be: Vector ontologies as a truly formal ontological framework
por: Rothenfusser, Kaspar
Publicado: (2025)

Probabilistic Active Goal Recognition
por: Zhang, Chenyuan, et al.
Publicado: (2025)

Two Constraint Compilation Methods for Lifted Planning
por: Mantenoglou, Periklis, et al.
Publicado: (2025)

Routing and Scheduling in Answer Set Programming applied to Multi-Agent Path Finding: Preliminary Report
por: Kaminski, Roland, et al.
Publicado: (2024)

Combining Neural Networks and Symbolic Regression for Analytical Lyapunov Function Discovery
por: Feng, Jie, et al.
Publicado: (2024)

ArgMed-Agents: Explainable Clinical Decision Reasoning with LLM Disscusion via Argumentation Schemes
por: Hong, Shengxin, et al.
Publicado: (2024)

Logic Sketch Prompting (LSP): A Deterministic and Interpretable Prompting Method
por: Tripathi, Satvik
Publicado: (2025)

Executable Archaeology: Reanimating the Logic Theorist from its IPL-V Source
por: Shrager, Jeff
Publicado: (2026)

Physics-constrained symbolic regression for discovering closed-form equations of multimodal water retention curves from experimental data
por: Kim, Yejin, et al.
Publicado: (2026)

Scene-Driven Multimodal Knowledge Graph Construction for Embodied AI
por: Yaoxian, Song, et al.
Publicado: (2023)

From Understanding the World to Intervening in It: A Unified Multi-Scale Framework for Embodied Cognition
por: Wang, Maijunxian
Publicado: (2025)