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

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

Latest revision as of 08: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

    A Logic-Based Framework Leveraging Neural Networks for Studying the Evolution of Neurological Disorders (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    3 September 2021
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references