Results 121 to 130 of about 158 (143)

29th Annual Computational Neuroscience Meeting: CNS*2020. [PDF]

BMC Neurosci, 2020
europepmc   +1 more source

Program Abstracts from the 21st International Association of Gerontology and Geriatrics (IAGG) World Congress. [PDF]

Innov Aging, 2017
europepmc   +1 more source

Answer Set Programming Modulo Acyclicity

Lecture Notes in Computer Science, 2015
International audienceAcyclicity constraints are prevalent in knowledge representation and, in particular, applications where acyclic data structures such as DAGs and trees play a role.
Joří Bomanson, Martin Gebser, Tomi Janhunen   +2 more
exaly   +2 more sources

Some of the next articles are maybe not open access.

Related searches:

Verification modulo theories

Formal Methods in System Design, 2023
Alessandro Cimatti, Alberto Griggio, Sérgio Mover   +2 more
exaly  

Relating constraint answer set programming languages and algorithms

Artificial Intelligence, 2014
Yuliya Lierler
exaly  

Answer Set Programming Modulo Acyclicity*

Fundamenta Informaticae, 2016
Joří Bomanson, Martin Gebser, Tomi Janhunen   +2 more
exaly  

Satisfiability modulo theories for process systems engineering

Computers and Chemical Engineering, 2018
Miten Mistry, Michael Huth, Ruth Misener   +2 more
exaly