Results 1 to 10 of about 120 (120)

Decidable and Undecidable Problems for First-Order Definability and Modal Definability

Lecture Notes in Computer Science, 2022
Tinko Tinchev, Philippe Balbiani
exaly  

Automorphisms and Definability (of Reducts) for Upward Complete Structures

Mathematics, 2022
Alexei Semenov, Sergei Soprunov
exaly  

Definability for Model Counting

Artificial Intelligence, 2020
Jean-Marie Lagniez, Pierre Marquis
exaly  

Definability and Textures

International Journal of Approximate Reasoning, 2012
Murat Diker
exaly  

On Propositional Definability

Artificial Intelligence, 2008
Jérôme Lang, Pierre Marquis
exaly  

A Characterization of Definability of Second-Order Generalized Quantifiers With Applications to Non-Definability

Journal of Computer and System Sciences, 2014
Jakub Szymanik, Juha Kontinen
exaly  

Decision Reducts and Bireducts in a Covering Approximation Space and Their Relationship to Set Definability

International Journal of Approximate Reasoning, 2019
Lynn D'Eer, Chris Cornelis
exaly  

The Exact Complexity of the First-Order Logic Definability Problem

ACM Transactions on Database Systems, 2016
Gonzalo I. Diaz, Marcelo Arenas
exaly  

Modal Definability of First-Order Formulas With Free Variables and Query Answering

Journal of Applied Logic, 2013
Stanislav Kikot, Evgeny Zolin
exaly  

Definability in the Class of All KD45-Frames – Computability and Complexity

Journal of Applied Non-Classical Logics, 2017
Dimiter Todorov Georgiev
exaly