Results 311 to 320 of about 471,067 (339)
Some of the next articles are maybe not open access.
Decidability of model checking multi-agent systems against a class of EHS specifications
European Conference on Artificial Intelligence, 2014A. Lomuscio, Jakub Michaliszyn
semanticscholar +1 more source
A Survey of Decidability Results for Elementary Object Systems
Fundamenta Informaticae, 2014Michael Köhler-Bussmeier
semanticscholar +1 more source
Decidability of Circumscribed Description Logics Revisited
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, 2014P. Bonatti +4 more
semanticscholar +1 more source
On the decidability of implicational ticket entailment
Journal of Symbolic Logic (JSL), 2013K. Bimbó, And .1. Michael Dunn
semanticscholar +1 more source
Decidability and Enumeration for Automatic Sequences: A Survey
Computer Science Symposium in Russia, 2013J. Shallit
semanticscholar +1 more source

