A Logic-Based Framework Leveraging Neural Networks for Studying the Evolution of Neurological Disorders (Q4957216): Difference between revisions

Latest revision as of 09:45, 30 July 2024

scientific article; zbMATH DE number 7390863

Language	Label	Description	Also known as
English	A Logic-Based Framework Leveraging Neural Networks for Studying the Evolution of Neurological Disorders	scientific article; zbMATH DE number 7390863

Statements

instance of

scholarly article

0 references

title

A Logic-Based Framework Leveraging Neural Networks for Studying the Evolution of Neurological Disorders (English)

0 references

zbMATH Open document ID

1472.68187

0 references

DOI

10.1017/S1471068419000449

0 references

author

Francesco Calimeri

0 references

Francesco Cauteruccio

0 references

0 references

0 references

0 references

0 references

Françoise Durand-Dubief

0 references

Dominique Sappey-Marinier

0 references

published in

Theory and Practice of Logic Programming

0 references

publication date

3 September 2021

0 references

full work available at URL

https://arxiv.org/abs/1910.09472

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

0 references

0 references

0 references

0 references

describes a project that uses

0 references

0 references

0 references

0 references

0 references

0 references

0 references

0 references

0 references

0 references

Brain Connectivity Toolbox

0 references

DLV-EX

0 references

MaRDI profile type

MaRDI publication profile

0 references

arXiv ID

1910.09472

0 references

cites work

Evaluation of disjunctive programs in WASP

0 references

Constraint Answer Set Programming without Grounding

0 references

Constraint answer set solver EZCSP and why integration schemas matter

0 references

Knowledge Representation, Reasoning and Declarative Problem Solving

0 references

Satisfiability Modulo Theories

0 references

Logic Programming

0 references

Inferring phylogenetic trees using answer set programming

0 references

External sources of knowledge and value invention in logic programming

0 references

The 2013 evaluation of SMT-COMP and SMT-LIB

0 references

A model building framework for answer set programming with external computations

0 references

Logics in Artificial Intelligence

0 references

Multi-shot ASP solving with clingo

0 references

The Sixth Answer Set Programming Competition

0 references

The design of the Seventh Answer Set Programming Competition

0 references

Detecting inconsistencies in large biological networks with answer set programming

0 references

Logic programming and knowledge representation---The A-Prolog perspective

0 references

Q3983043

0 references

Q5270493

0 references

Q4936225

0 references

Nonlinear analysis of electroencephalogram and magnetoencephalogram recordings in patients with Alzheimer's disease

0 references

A Tutorial on Hybrid Answer Set Solving with clingo

0 references

Parameterised verification for multi-agent systems

0 references

Learning weak constraints in answer set programming

0 references

Iterative Learning of Answer Set Programs from Context Dependent Examples

0 references

On relation between constraint answer set programming and satisfiability modulo theories

0 references

Computing minimal models, stable models and answer sets

0 references

Taming primary key violations to query large inconsistent data via ASP

0 references

Q4702577

0 references

Integrating answer set programming and constraint logic programming

0 references

Logic programs with stable model semantics as a constraint programming paradigm

0 references

Q3983045

0 references

The<scp>dlvhex</scp>system for knowledge representation: recent advances (system description)

0 references

Q4631192

0 references

Experimenting with recursive queries in database and logic programming systems

0 references

OpenAlex ID

W2991850581

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:4957216

@@ Property / describes a project that uses @@
+SMT-LIB
@@ Property / describes a project that uses: SMT-LIB / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+sCASP
@@ Property / describes a project that uses: sCASP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MRtrix
@@ Property / describes a project that uses: MRtrix / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Tweety
@@ Property / describes a project that uses: Tweety / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ezcsp
@@ Property / describes a project that uses: ezcsp / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Brain Connectivity Toolbox
@@ Property / describes a project that uses: Brain Connectivity Toolbox / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+DLV-EX
@@ Property / describes a project that uses: DLV-EX / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.09472
@@ Property / arXiv ID: 1910.09472 / rank @@
+Normal rank
@@ Property / cites work @@
+Evaluation of disjunctive programs in WASP
@@ Property / cites work: Evaluation of disjunctive programs in WASP / rank @@
+Normal rank
@@ Property / cites work @@
+Constraint Answer Set Programming without Grounding
+Normal rank
@@ Property / cites work @@
+Constraint answer set solver EZCSP and why integration schemas matter
+Normal rank
@@ Property / cites work @@
+Knowledge Representation, Reasoning and Declarative Problem Solving
+Normal rank
@@ Property / cites work @@
+Satisfiability Modulo Theories
@@ Property / cites work: Satisfiability Modulo Theories / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming
@@ Property / cites work: Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Inferring phylogenetic trees using answer set programming
+Normal rank
@@ Property / cites work @@
+External sources of knowledge and value invention in logic programming
+Normal rank
@@ Property / cites work @@
+The 2013 evaluation of SMT-COMP and SMT-LIB
@@ Property / cites work: The 2013 evaluation of SMT-COMP and SMT-LIB / rank @@
+Normal rank
@@ Property / cites work @@
+A model building framework for answer set programming with external computations
+Normal rank
@@ Property / cites work @@
+Logics in Artificial Intelligence
@@ Property / cites work: Logics in Artificial Intelligence / rank @@
+Normal rank
@@ Property / cites work @@
+Multi-shot ASP solving with clingo
@@ Property / cites work: Multi-shot ASP solving with clingo / rank @@
+Normal rank
@@ Property / cites work @@
+The Sixth Answer Set Programming Competition
@@ Property / cites work: The Sixth Answer Set Programming Competition / rank @@
+Normal rank
@@ Property / cites work @@
+The design of the Seventh Answer Set Programming Competition
+Normal rank
@@ Property / cites work @@
+Detecting inconsistencies in large biological networks with answer set programming
+Normal rank
@@ Property / cites work @@
+Logic programming and knowledge representation---The A-Prolog perspective
+Normal rank
@@ Property / cites work @@
+Q3983043
@@ Property / cites work: Q3983043 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5270493
@@ Property / cites work: Q5270493 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4936225
@@ Property / cites work: Q4936225 / rank @@
+Normal rank
@@ Property / cites work @@
+Nonlinear analysis of electroencephalogram and magnetoencephalogram recordings in patients with Alzheimer's disease
+Normal rank
@@ Property / cites work @@
+A Tutorial on Hybrid Answer Set Solving with clingo
+Normal rank
@@ Property / cites work @@
+Parameterised verification for multi-agent systems
+Normal rank
@@ Property / cites work @@
+Learning weak constraints in answer set programming
+Normal rank
@@ Property / cites work @@
+Iterative Learning of Answer Set Programs from Context Dependent Examples
+Normal rank
@@ Property / cites work @@
+On relation between constraint answer set programming and satisfiability modulo theories
+Normal rank
@@ Property / cites work @@
+Computing minimal models, stable models and answer sets
+Normal rank
@@ Property / cites work @@
+Taming primary key violations to query large inconsistent data via ASP
+Normal rank
@@ Property / cites work @@
+Q4702577
@@ Property / cites work: Q4702577 / rank @@
+Normal rank
@@ Property / cites work @@
+Integrating answer set programming and constraint logic programming
+Normal rank
@@ Property / cites work @@
+Logic programs with stable model semantics as a constraint programming paradigm
+Normal rank
@@ Property / cites work @@
+Q3983045
@@ Property / cites work: Q3983045 / rank @@
+Normal rank
@@ Property / cites work @@
+The<scp>dlvhex</scp>system for knowledge representation: recent advances (system description)
+Normal rank
@@ Property / cites work @@
+Q4631192
@@ Property / cites work: Q4631192 / rank @@
+Normal rank
@@ Property / cites work @@
+Experimenting with recursive queries in database and logic programming systems
+Normal rank
@@ Property / OpenAlex ID @@
+W2991850581
@@ Property / OpenAlex ID: W2991850581 / rank @@
+Normal rank