Results 311 to 320 of about 47,932 (337)

On rules with existential variables: Walking the decidability line

Artificial Intelligence, 2011
Michel Leclère, Marie-laure Mugnier
exaly  

How to Decide How to Decide

Contemporary Psychology: A Journal of Reviews, 1975
openaire   +2 more sources

Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues

Theory and Practice of Logic Programming, 2012
Marco Manna, Mario Alviano, Wolfgang Faber   +2 more
exaly  

On the Decidability and Complexity of Diagnosability for Labeled Petri Nets

IEEE Transactions on Automatic Control, 2017
Stephane Lafortune, Aleksandra Antovic, Xiang Yin   +2 more
exaly  

The limits of decidability in fuzzy description logics with general concept inclusions

Artificial Intelligence, 2015
Stefan Borgwardt, Stefan Borgwardt, Rafael Peñaloza   +2 more
exaly  

Decidability of order-based modal logics

Journal of Computer and System Sciences, 2017
George Metcalfe
exaly  

Combining decidability paradigms for existential rules

Theory and Practice of Logic Programming, 2013
Georg Gottlob, Marco Manna
exaly  

Multi-letter quantum finite automata: decidability of the equivalence and minimization of states

Acta Informatica, 2011
Daowen Qiu, Paulo Mateus, Xiangfu Zou
exaly  

DECIDABILITY OF THE THEORY OF MODULES OVER PRÜFER DOMAINS WITH INFINITE RESIDUE FIELDS

Journal of Symbolic Logic, 2018
Gena Puninski
exaly  

Who decides who decides?

2018
openaire   +2 more sources