A Logic-Based Framework Leveraging Neural Networks for Studying the Evolution of Neurological Disorders
DOI10.1017/S1471068419000449zbMath1472.68187arXiv1910.09472OpenAlexW2991850581MaRDI QIDQ4957216
Giorgio Terracina, Francesco Calimeri, Francesco Cauteruccio, Luca Cinelli, Aldo Marzullo, Claudio Stamile, Dominique Sappey-Marinier, Françoise Durand-Dubief
Publication date: 3 September 2021
Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1910.09472
Neural biology (92C20) Neural networks for/in biological studies, artificial life and related topics (92B20) Logic in artificial intelligence (68T27) Medical applications (general) (92C50) Logic programming (68N17) Computational methods for problems pertaining to biology (92-08) Mathematical modeling or simulation for problems pertaining to biology (92-10)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Parameterised verification for multi-agent systems
- The 2013 evaluation of SMT-COMP and SMT-LIB
- Integrating answer set programming and constraint logic programming
- Logic programming and knowledge representation---The A-Prolog perspective
- Logic programs with stable model semantics as a constraint programming paradigm
- Evaluation of disjunctive programs in WASP
- The design of the Seventh Answer Set Programming Competition
- External sources of knowledge and value invention in logic programming
- Inferring phylogenetic trees using answer set programming
- Detecting inconsistencies in large biological networks with answer set programming
- Satisfiability Modulo Theories
- Knowledge Representation, Reasoning and Declarative Problem Solving
- Constraint Answer Set Programming without Grounding
- Learning weak constraints in answer set programming
- Taming primary key violations to query large inconsistent data via ASP
- A model building framework for answer set programming with external computations
- Iterative Learning of Answer Set Programs from Context Dependent Examples
- The<scp>dlvhex</scp>system for knowledge representation: recent advances (system description)
- Constraint answer set solver EZCSP and why integration schemas matter
- On relation between constraint answer set programming and satisfiability modulo theories
- A Tutorial on Hybrid Answer Set Solving with clingo
- Multi-shot ASP solving with clingo
- The Sixth Answer Set Programming Competition
- Logics in Artificial Intelligence
- Experimenting with recursive queries in database and logic programming systems
- Logic Programming
- Computing minimal models, stable models and answer sets
- Nonlinear analysis of electroencephalogram and magnetoencephalogram recordings in patients with Alzheimer's disease
This page was built for publication: A Logic-Based Framework Leveraging Neural Networks for Studying the Evolution of Neurological Disorders
