Search results for "expressibility"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
82	Jef Wijsen	On the first-order expressibility of computing certain answers to conjunctive queries over uncertain databases.	PODS	2010	DBLP DOI BibTeX RDF	first-order expressibility, primary keys, conjunctive queries, consistent query answering
53	Stavros S. Cosmadakis	On the First-Order Expressibility of Recursive Queries.	PODS	1989	DBLP DOI BibTeX RDF	Datalog
44	Marc Gyssens, Jan Paredaens, Dirk Van Gucht, George H. L. Fletcher	Structural characterizations of the semantics of XPath as navigation tool on a document.	PODS	2006	DBLP DOI BibTeX RDF	XPath, expressibility, definability
38	Alexander Moshe Rabinovich	Modularity and Expressibility for Nets of Relations.	Acta Informatica	1998	DBLP DOI BibTeX RDF
38	Herbert Praehofer, Bernard P. Zeigler	On the Expressibility of Discrete Event Specified Systems.	CAST	1994	DBLP DOI BibTeX RDF
38	V. Vinay, V. Chandru	The Expressibility of Nondeterministic Auxiliary Stack Automata and its Relation to Treesize Bounded Alternating Auxiliary Pushdown Automata.	FSTTCS	1990	DBLP DOI BibTeX RDF
38	Pratul Dublish, S. N. Maheshwari	Expressibility of Bounded-Arity Fixed-Point Query Hierarchies.	PODS	1989	DBLP DOI BibTeX RDF
30	Phokion G. Kolaitis, Moshe Y. Vardi	On the Expressive Power of Datalog: Tools and a Case Study.	PODS	1990	DBLP DOI BibTeX RDF	Datalog
30	Anthony J. Bonner	Hypothetical Datalog: Negation and Linear Recursion.	PODS	1989	DBLP DOI BibTeX RDF	Datalog
30	Joachim Parrow	The Expressive Power of Simple Parallelism.	PARLE (2)	1989	DBLP DOI BibTeX RDF
29	Chung-chieh Shan	A static simulation of dynamic delimited control.	High. Order Symb. Comput.	2007	DBLP DOI BibTeX RDF	Delimited control operators, Macro expressibility, Shift and reset, Control and prompt, Continuation-passing style (CPS)
29	Russell Greiner, Christian Darken, N. Iwan Santoso	Efficient reasoning.	ACM Comput. Surv.	2001	DBLP DOI BibTeX RDF	efficiency trade-offs, soundness/completeness/expressibility
23	Thomas Muñoz, Cristian Riveros, Stijn Vansummeren	Enumeration and Updates for Conjunctive Linear Algebra Queries Through Expressibility.	ICDT	2024	DBLP DOI BibTeX RDF
23	Muhammad Kashif, Saif Al-Kuwari	The unified effect of data encoding, ansatz expressibility and entanglement on the trainability of HQNNs.	Int. J. Parallel Emergent Distributed Syst.	2023	DBLP DOI BibTeX RDF
23	Andrei Rusu, Elena Rusu	On some classes of formulas in $S5$ which are pre-complete relative to existential expressibility.	Comput. Sci. J. Moldova	2023	DBLP BibTeX RDF
23	Thomas Muñoz, Cristian Riveros, Stijn Vansummeren	Enumeration and updates for conjunctive linear algebra queries through expressibility.	CoRR	2023	DBLP DOI BibTeX RDF
23	Zhao Song 0002, Guangyi Xu, Junze Yin	The Expressibility of Polynomial based Attention Scheme.	CoRR	2023	DBLP DOI BibTeX RDF
23	Li-Wei Yu, Weikang Li, Qi Ye, Zhide Lu, Zizhao Han, Dong-Ling Deng	Expressibility-induced Concentration of Quantum Neural Tangent Kernels.	CoRR	2023	DBLP DOI BibTeX RDF
23	Utkarsh Azad, Animesh Sinha	qLEET: visualizing loss landscapes, expressibility, entangling power and training trajectories for parameterized quantum circuits.	Quantum Inf. Process.	2023	DBLP DOI BibTeX RDF
23	Shamminuj Aktar, Andreas Bärtschi, Abdel-Hameed A. Badawy, Diane Oyen, Stephan J. Eidenbenz	Predicting Expressibility of Parameterized Quantum Circuits Using Graph Neural Network.	QCE	2023	DBLP DOI BibTeX RDF
23	Yalin Liao, Junpeng Zhan	Expressibility-Enhancing Strategies for Quantum Neural Networks.	CoRR	2022	DBLP DOI BibTeX RDF
23	Zoë Holmes, Kunal Sharma, Marco Cerezo, Patrick J. Coles	Connecting ansatz expressibility to gradient magnitudes and barren plateaus.	CoRR	2021	DBLP BibTeX RDF
23	Kouhei Nakaji, Naoki Yamamoto	Expressibility of the alternating layered ansatz for quantum computation.	Quantum	2021	DBLP DOI BibTeX RDF
23	Thomas Hubregtsen, Josef Pichlmeier, Patrick Stecher, Koen Bertels	Evaluation of parameterized quantum circuits: on the relation between classification accuracy, expressibility, and entangling capability.	Quantum Mach. Intell.	2021	DBLP DOI BibTeX RDF
23	Manuel Bodirsky, Simon Knäuer, Sebastian Rudolph	Datalog-Expressibility for Monadic and Guarded Second-Order Logic.	ICALP	2021	DBLP DOI BibTeX RDF
23	Aaron Eberhart, Cogan Shimizu, Sulogna Chowdhury, Md. Kamruzzaman Sarker, Pascal Hitzler	Expressibility of OWL Axioms with Patterns.	ESWC	2021	DBLP DOI BibTeX RDF
23	Alexander Bolotov, Montserrat Hermo, Paqui Lucio	Branching-time logic ECTL# and its tree-style one-pass tableau: Extending fairness expressibility of ECTL+.	Theor. Comput. Sci.	2020	DBLP DOI BibTeX RDF
23	Manuel Bodirsky, Simon Knäuer, Sebastian Rudolph	Datalog-Expressibility for Monadic and Guarded Second-Order Logic.	CoRR	2020	DBLP BibTeX RDF
23	Thomas Hubregtsen, Josef Pichlmeier, Koen Bertels	Evaluation of Parameterized Quantum Circuits: on the design, and the relation between classification accuracy, expressibility and entangling capability.	CoRR	2020	DBLP BibTeX RDF
23	Carsten Lutz, Johannes Marti, Leif Sabellek	Query Expressibility and Verification in Ontology-Based Data Access.	CoRR	2020	DBLP BibTeX RDF
23	Michal Ptaszynski, Fumito Masui, Naoto Ishii	A method for automatic estimation of meaning ambiguity of emoticons based on their linguistic expressibility.	Cogn. Syst. Res.	2020	DBLP DOI BibTeX RDF
23	Matthew Mandelkern	Modality and Expressibility.	Rev. Symb. Log.	2019	DBLP DOI BibTeX RDF
23	Denis I. Saveliev	On First-Order Expressibility of Satisfiability in Submodels.	WoLLIC	2019	DBLP DOI BibTeX RDF
23	Ievgen Ivanov, Mykola S. Nikitchenko	Expressibility in the Kleene Algebra of Partial Predicates with the Complement Composition.	ICTERI (Revised Selected Papers)	2019	DBLP DOI BibTeX RDF
23	Nils Vortmeier	Dynamic expressibility under complex changes.		2019	RDF
23	Siyuan Liu, Arijit Khan 0001	An Empirical Analysis on Expressibility of Vertex Centric Graph Processing Paradigm.	IEEE BigData	2018	DBLP DOI BibTeX RDF
23	Alexander Bolotov, Montserrat Hermo, Paqui Lucio	Extending Fairness Expressibility of ECTL+: A Tree-Style One-Pass Tableau Approach.	TIME	2018	DBLP DOI BibTeX RDF
23	Carsten Lutz, Johannes Marti, Leif Sabellek	Query Expressibility and Verification in Ontology-Based Data Access.	KR	2018	DBLP BibTeX RDF
23	Ringo Baumann	On the Nature of Argumentation Semantics: Existence and Uniqueness, Expressibility, and Replaceability.	FLAP	2017	DBLP BibTeX RDF
23	Andrei Bulatov, Leslie Ann Goldberg, Mark Jerrum, David Richerby, Stanislav Zivný	Functional clones and expressibility of partition functions.	Theor. Comput. Sci.	2017	DBLP DOI BibTeX RDF
23	Simon Alexanderson, Carol O'Sullivan, Michael Neff, Jonas Beskow	Mimebot - Investigating the Expressibility of Non-Verbal Communication Across Agent Embodiments.	ACM Trans. Appl. Percept.	2017	DBLP DOI BibTeX RDF
23	Natasha Alechina, Mehdi Dastani, Brian Logan 0001	Expressibility of norms in temporal logic.	CoRR	2016	DBLP BibTeX RDF
23	Andrei A. Bulatov, Leslie Ann Goldberg, Mark Jerrum, David Richerby, Stanislav Zivný	Functional Clones and Expressibility of Partition Functions.	CoRR	2016	DBLP BibTeX RDF
23	Roman Kontchakov, Egor V. Kostylev	On Expressibility of Non-Monotone Operators in SPARQL.	KR	2016	DBLP BibTeX RDF
23	Filip Mazowiecki, Cristian Riveros	On the expressibility of copyless cost register automata.	CoRR	2015	DBLP BibTeX RDF
23	Andrei A. Bulatov, Martin E. Dyer, Leslie Ann Goldberg, Mark Jerrum, Colin McQuillan	The expressibility of functions on the boolean domain, with applications to counting CSPs.	J. ACM	2013	DBLP DOI BibTeX RDF
23	Andrei Rusu	On sufficient conditions for expressibility of constants in the 4-valued extension of the propositional provability logic $GL$.	CoRR	2013	DBLP BibTeX RDF
23	Clemens Grabmayer, Jan Rochel	Expressibility in the Lambda Calculus with mu	CoRR	2013	DBLP BibTeX RDF
23	Andrei Rusu	On parametrical expressibility in the free void-generated diagonalizable algebra	CoRR	2013	DBLP BibTeX RDF
23	James Gate, Iain A. Stewart	The expressibility of fragments of Hybrid Graph Logic on finite digraphs.	J. Appl. Log.	2013	DBLP DOI BibTeX RDF
23	Clemens Grabmayer, Jan Rochel	Expressibility in the Lambda Calculus with Mu.	RTA	2013	DBLP DOI BibTeX RDF
23	Heng Zhang 0006, Yan Zhang 0003	First-Order Expressibility and Boundedness of Disjunctive Logic Programs.	IJCAI	2013	DBLP BibTeX RDF
23	Clemens Grabmayer, Jan Rochel	Expressibility in the Lambda Calculus with Letrec	CoRR	2012	DBLP BibTeX RDF
23	Max I. Kanovich	Light linear logics with controlled weakening: Expressibility, confluent strong normalization.	Ann. Pure Appl. Log.	2012	DBLP DOI BibTeX RDF
23	Albert Atserias, Elitza N. Maneva	Graph Isomorphism, Sherali-Adams Relaxations and Expressibility in Counting Logics.	Electron. Colloquium Comput. Complex.	2011	DBLP BibTeX RDF
23	Paul Bankston	On the first-order expressibility of lattice properties related to unicoherence in continua.	Arch. Math. Log.	2011	DBLP DOI BibTeX RDF
23	Wojciech Czerwinski, Sibylle B. Fröschle, Slawomir Lasota 0001	Partially-commutative context-free processes: Expressibility and tractability.	Inf. Comput.	2011	DBLP DOI BibTeX RDF
23	Stuart C. Shapiro	The Jobs Puzzle: A Challenge for Logical Expressibility and Automated Reasoning.	AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning	2011	DBLP BibTeX RDF
23	Meghyn Bienvenu	First-Order Expressibility Results for Queries over Inconsistent DL-Lite Knowledge Bases.	Description Logics	2011	DBLP BibTeX RDF
23	David McDonald, Charlie Greenbacker	'If you've heard it, you can say it' - Towards an Account of Expressibility.	INLG	2010	DBLP BibTeX RDF
23	Ross Willard	Testing Expressibility Is Hard.	CP	2010	DBLP DOI BibTeX RDF
23	Balder ten Cate	A note on the expressibility problem for modal logics and star-free regular expressions.	Inf. Process. Lett.	2009	DBLP DOI BibTeX RDF
23	Hongchao Zhou, Jehoshua Bruck	On the expressibility of stochastic switching circuits.	ISIT	2009	DBLP DOI BibTeX RDF
23	Luca Aceto, Anna Ingólfsdóttir	On the expressibility of priority.	Inf. Process. Lett.	2008	DBLP DOI BibTeX RDF
23	Walid E. Gomaa	Expressibility in Sigma-11.	J. Univers. Comput. Sci.	2008	DBLP DOI BibTeX RDF
23	Jan Hidders, Stefania Marrara, Jan Paredaens, Roel Vercammen	On the expressibility of functions in XQuery fragments.	Inf. Syst.	2008	DBLP DOI BibTeX RDF
23	Vítezslav Svejdar	Note on inter-expressibility of logical connectives in finitely-valued Gödel-Dummett logics.	Soft Comput.	2006	DBLP DOI BibTeX RDF
23	Andrea Formisano 0001, Eugenio G. Omodeo, Alberto Policriti	The axiom of elementary sets on the edge of Peircean expressibility.	J. Symb. Log.	2005	DBLP DOI BibTeX RDF
23	David A. Mix Barrington, Neil Immerman, Clemens Lautemann, Nicole Schweikardt, Denis Thérien	First-order expressibility of languages with neutral letters or: The Crane Beach conjecture.	J. Comput. Syst. Sci.	2005	DBLP DOI BibTeX RDF
23	V. V. Tarasov	To the problem of expressibility in the algebra of partial Boolean functions.	Probl. Inf. Transm.	2005	DBLP DOI BibTeX RDF
23	Lauri Hella, Jose Maria Turull Torres	Expressibility of Higher Order Logics.	WoLLIC	2003	DBLP DOI BibTeX RDF
23	V. Wiktor Marek, Jeffrey B. Remmel	On the Expressibility of Stable Logic Programming	CoRR	2003	DBLP BibTeX RDF
23	V. Wiktor Marek, Jeffrey B. Remmel	On the expressibility of stable logic programming.	Theory Pract. Log. Program.	2003	DBLP DOI BibTeX RDF
23	Andrea Formisano 0001, Eugenio G. Omodeo, Alberto Policriti	Automation of Aggregate Theories: The Cornerstones of Equational Expressibility.	APPIA-GULP-PRODE	2002	DBLP BibTeX RDF
23	Max I. Kanovich, Jacqueline Vauzeilles	The classical AI planning problems in the mirror of Horn linear logic: semantics, expressibility, complexity.	Math. Struct. Comput. Sci.	2001	DBLP DOI BibTeX RDF
23	Jose Maria Turull Torres	On the expressibility and the computability of untyped queries.	Ann. Pure Appl. Log.	2001	DBLP DOI BibTeX RDF
23	V. Wiktor Marek, Jeffrey B. Remmel	On the Expressibility of Stable Logic Programming.	LPNMR	2001	DBLP DOI BibTeX RDF
23	Victor Vianu	Review - Hypothetical Datalog: Complexity and Expressibility.	ACM SIGMOD Digit. Rev.	2000	DBLP BibTeX RDF
23	Juhani Karhumäki, Filippo Mignosi, Wojciech Plandowski	The expressibility of languages and relations by word equations.	J. ACM	2000	DBLP DOI BibTeX RDF	word equations
23	Vítezslav Svejdar, Kamila Bendová	On inter-expressibility of logical connectives in Gödel fuzzy logic.	Soft Comput.	2000	DBLP DOI BibTeX RDF
23	Ivana Cerná, Mojmír Kretínský, Antonín Kucera 0001	Comparing Expressibility of Normed BPA and Normed BPP Processes.	Acta Informatica	1999	DBLP DOI BibTeX RDF
23	Juhani Karhumäki, Wojciech Plandowski, Filippo Mignosi	The Expressibility of Languages and Relations by Word Equations.	ICALP	1997	DBLP DOI BibTeX RDF
23	Hajnal Andréka, Ivo Düntsch, István Németi	Expressibility of Properties of Relations.	J. Symb. Log.	1995	DBLP DOI BibTeX RDF
23	Ilmir Kh. Musikaev, Michael A. Taitslin	Flat Backtracking Prolog for Databases: A Formal Semantics, the Computational Complexity and the Expressibility.	Int. J. Found. Comput. Sci.	1995	DBLP DOI BibTeX RDF
23	Hardi Hungar	Expressibility of the Semantics of Sequential Programs in First-Order Logic.	Fundam. Informaticae	1994	DBLP DOI BibTeX RDF
23	Iain A. Stewart	Monotonicity and the Expressibility of NP Operators.	Math. Log. Q.	1994	DBLP DOI BibTeX RDF
23	Leo Marcus, Telis Menas	Expressibility of Output Equals Input.	Acta Informatica	1992	DBLP DOI BibTeX RDF
23	Alexander Moshe Rabinovich	Non Modularity and Expressibility for Nets of Relations.	LFCS	1992	DBLP DOI BibTeX RDF
23	Thomas Behrendt, Kevin J. Compton, Erich Grädel	Optimization Problems: Expressibility, Approximation Properties and Expected Asymptotic Growth of Optimal Solutions.	CSL	1992	DBLP DOI BibTeX RDF
23	Iain A. Stewart	Comparing the Expressibility of Languages Formed using NP-Complete Operators.	J. Log. Comput.	1991	DBLP DOI BibTeX RDF
23	Anthony J. Bonner	Hypothetical Datalog: Complexity and Expressibility.	Theor. Comput. Sci.	1990	DBLP DOI BibTeX RDF
23	Burkhard Molzan	Expressibility and Nonuniform Complexity Classes.	SIAM J. Comput.	1990	DBLP DOI BibTeX RDF
23	Iain A. Stewart	Comparing the expressibility of two languages formed using NP-complete graph operators.	WG	1990	DBLP DOI BibTeX RDF
23	V. Vinay, H. Venkateswaran, C. E. Veni Madhavan	Circuits, Pebbling and Expressibility.	SCT	1990	DBLP DOI BibTeX RDF
23	Neil Immerman	Expressibility and Parallel Complexity.	SIAM J. Comput.	1989	DBLP DOI BibTeX RDF
23	Ruben Michel	A Categorical Approach to Distributed Systems Expressibility and Knowledge.	PODC	1989	DBLP DOI BibTeX RDF
23	Edmund M. Clarke, I. A. Draghicescu	Expressibility results for linear-time and branching-time logics.	REX Workshop	1988	DBLP DOI BibTeX RDF	linear-time logic, temporal logic, fairness, computation tree logics, branching-time logic
23	Vikraman Arvind, Somenath Biswas	Expressibility of First Order Logic with a Nondeterministic Inductive Operator.	STACS	1987	DBLP DOI BibTeX RDF
23	Neil Immerman	Expressibility as a complexity measure: results and directions.	SCT	1987	DBLP BibTeX RDF
23	Matatyahu Rubin, Saharon Shelah	On the Expressibility Hierarchy of Magidor-Malitz Quantifiers.	J. Symb. Log.	1983	DBLP DOI BibTeX RDF