Results 241 to 250 of about 39,716 (258)
Some of the next articles are maybe not open access.
On the decidability of implicational ticket entailment
Journal of Symbolic Logic, 2013Katalin Bimb
exaly
On rules with existential variables: Walking the decidability line
Artificial Intelligence, 2011Michel Leclère, Marie-laure Mugnier
exaly
Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues
Theory and Practice of Logic Programming, 2012Marco Manna +2 more
exaly
On the Decidability and Complexity of Diagnosability for Labeled Petri Nets
IEEE Transactions on Automatic Control, 2017Stephane Lafortune +2 more
exaly
The limits of decidability in fuzzy description logics with general concept inclusions
Artificial Intelligence, 2015Stefan Borgwardt +2 more
exaly
Decidability of order-based modal logics
Journal of Computer and System Sciences, 2017George Metcalfe
exaly
Combining decidability paradigms for existential rules
Theory and Practice of Logic Programming, 2013Georg Gottlob, Marco Manna
exaly
Multi-letter quantum finite automata: decidability of the equivalence and minimization of states
Acta Informatica, 2011Daowen Qiu, Paulo Mateus, Xiangfu Zou
exaly
DECIDABILITY OF THE THEORY OF MODULES OVER PRÜFER DOMAINS WITH INFINITE RESIDUE FIELDS
Journal of Symbolic Logic, 2018Gena Puninski
exaly