Results 341 to 350 of about 494,097 (364)

Decidability of Circumscribed Description Logics Revisited

Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, 2014
P. Bonatti, M. Faella, C. Lutz, L. Sauro, F. Wolter   +4 more
semanticscholar   +1 more source

Who Decides Who Decides?

2018
John Spiers, Philip Booth
openaire   +2 more sources

Deciding to Decide

2017
openaire   +1 more source

Decidability and Enumeration for Automatic Sequences: A Survey

Computer Science Symposium in Russia, 2013
J. Shallit
semanticscholar   +1 more source

On the decidability of implicational ticket entailment

Journal of Symbolic Logic (JSL), 2013
K. Bimbó, And .1. Michael Dunn
semanticscholar   +1 more source

7 / Deciding to Stay, Deciding to Move Deciding Not to Decide

2001
openaire   +1 more source

Decidability of General Extensional Mereology

Studia Logica: An International Journal for Symbolic Logic, 2013
Hsing-chien Tsai
semanticscholar   +1 more source

Deciding Not to Decide: When Is There Power in Not Deciding?

Marya Hillesland, Cheryl R. Doss, Serena Masino, Martina Querejeta, Aletheia Donald, Greg Seymour, Clare Clingain   +6 more
openaire   +1 more source

How to Decide That Voters Decide

Politics, 1982
openaire   +1 more source

MSO Decidability of Multi-Pushdown Systems via Split-Width

International Conference on Concurrency Theory, 2012
Aiswarya Cyriac, P. Gastin, K. N. Kumar
semanticscholar   +1 more source