Existential Second−Order Logic over Graphs: Charting the Tractability Frontier

Existential Second−Order Logic over Graphs: Charting the Tractability Frontier

অন্যান্য সংস্করণ প্রদর্শন করুন (1)

গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক:	Gottlob, G, Kolaitis, P, Schwentick, T
বিন্যাস:	Conference item
প্রকাশিত:	2000

অনুরূপ উপাদানগুলি

Existential second−order logic over graphs: Charting the tractability frontier
অনুযায়ী: Gottlob, G, অন্যান্য
প্রকাশিত: (2004)

Existential second−order logic over strings
অনুযায়ী: Eiter, T, অন্যান্য
প্রকাশিত: (2000)

Existential Second−Order Logic over Strings
অনুযায়ী: Eiter, T, অন্যান্য
প্রকাশিত: (1998)

Second−Order Logic over Strings: Regular and Non−regular Fragments
অনুযায়ী: Eiter, T, অন্যান্য
প্রকাশিত: (2001)

Generalized hypertree decompositions: np−hardness and tractable variants
অনুযায়ী: Gottlob, G, অন্যান্য
প্রকাশিত: (2007)

Generalized hypertree decompositions: np-hardness and tractable variants.
অনুযায়ী: Gottlob, G, অন্যান্য
প্রকাশিত: (2007)

Cooperative games with overlapping coalitions: charting the tractability frontier
অনুযায়ী: Zick, Y, অন্যান্য
প্রকাশিত: (2019)

Tractable Query Answering over Ontologies with Datalog+⁄−
অনুযায়ী: Calì, A, অন্যান্য
প্রকাশিত: (2009)

Tractable Query Answering over Conceptual Schemata
অনুযায়ী: Calì, A, অন্যান্য
প্রকাশিত: (2009)

On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics
অনুযায়ী: Matthias Hoelzel, অন্যান্য
প্রকাশিত: (2021-07-01)

Second−Order Logic over Finite Structures − Report on a Research Programme
অনুযায়ী: Gottlob, G
প্রকাশিত: (2004)

On the Complexity of Model Checking for Propositional Default Logics: New Results and Tractable Cases
অনুযায়ী: Baumgartner, R, অন্যান্য
প্রকাশিত: (1999)

Tractable Query Answering over Conceptual Schemata (Extended Abstract)
অনুযায়ী: Calì, A, অন্যান্য
প্রকাশিত: (2010)

On Tractable Queries and Constraints
অনুযায়ী: Gottlob, G, অন্যান্য
প্রকাশিত: (1999)

The order encoding: from tractable CSP to tractable SAT
অনুযায়ী: Petke, J, অন্যান্য
প্রকাশিত: (2011)

The order encoding: From tractable CSP to tractable SAT
অনুযায়ী: Petke, J, অন্যান্য
প্রকাশিত: (2011)

On the Expressiveness of Frame Satisfiability and Fragments of Second−Order Logic
অনুযায়ী: Eiter, T, অন্যান্য
প্রকাশিত: (1998)

Tractable Probabilistic Description Logic Programs
অনুযায়ী: Lukasiewicz, T, অন্যান্য
প্রকাশিত: (2013)

Normal Forms for Second−Order Logic over Finite Structures‚ and Classification of NP Optimization Problems
অনুযায়ী: Eiter, T, অন্যান্য
প্রকাশিত: (1996)

A General Datalog−Based Framework for Tractable Query Answering over Ontologies
অনুযায়ী: Calì, A, অন্যান্য
প্রকাশিত: (2012)

A General Datalog−Based Framework for Tractable Query Answering over Ontologies
অনুযায়ী: Calì, A, অন্যান্য
প্রকাশিত: (2009)

A general datalog-based framework for tractable query answering over ontologies.
অনুযায়ী: Calì, A, অন্যান্য
প্রকাশিত: (2009)

A general Datalog-based framework for tractable query answering over ontologies.
অনুযায়ী: Calì, A, অন্যান্য
প্রকাশিত: (2012)

A General Datalog−Based Framework for Tractable Query Answering over Ontologies
অনুযায়ী: Calì, A, অন্যান্য
প্রকাশিত: (2012)

Second Order Logic and the Weak Exponential Hierarchies
অনুযায়ী: Gottlob, G, অন্যান্য
প্রকাশিত: (1995)

Hypertree Decompositions and Tractable Queries
অনুযায়ী: Gottlob, G, অন্যান্য
প্রকাশিত: (1998)

Hypertree Decompositions and Tractable Queries
অনুযায়ী: Gottlob, G, অন্যান্য
প্রকাশিত: (2002)

Hypertree Decompositions and Tractable Queries
অনুযায়ী: Gottlob, G, অন্যান্য
প্রকাশিত: (1999)

Hypertree Decompositions and Tractable Queries
অনুযায়ী: Gottlob, G, অন্যান্য
প্রকাশিত: (1999)

Tractable Constraints on Ordered Domains
অনুযায়ী: P.G.Jeavons, অন্যান্য
প্রকাশিত: (1995)

Tractability Frontier of Data Complexity in Team Semantics
অনুযায়ী: Arnaud Durand, অন্যান্য
প্রকাশিত: (2015-09-01)

Stable Model Semantics for Guarded Existential Rules and Description Logics
অনুযায়ী: Gottlob, G, অন্যান্য
প্রকাশিত: (2014)

The order encoding: from tractable CSP to tractable SAT (extended abstract)
অনুযায়ী: Petke, J, অন্যান্য
প্রকাশিত: (2011)

Tractable Probabilistic Description Logic Programs
অনুযায়ী: Lukasiewicz, T
প্রকাশিত: (2007)

Tractable Reasoning with Bayesian Description Logics
অনুযায়ী: d'Amato, C, অন্যান্য
প্রকাশিত: (2008)

Tractable reasoning with bayesian description logics
অনুযায়ী: D'Amato, C, অন্যান্য
প্রকাশিত: (2008)

A Tractable Logic for Molecular Biology
অনুযায়ী: Adrien Husson, অন্যান্য
প্রকাশিত: (2019-09-01)

Two-Variable Logic with Two Order Relations
অনুযায়ী: Thomas Schwentick, অন্যান্য
প্রকাশিত: (2012-03-01)

A General Datalog−Based Framework for Tractable Query Answering over Ontologies (Extended Abstract)
অনুযায়ী: Calì, A, অন্যান্য
প্রকাশিত: (2009)

Tractable Approximation to Robust Nonlinear Production Frontier Problem
অনুযায়ী: Lei Wang, অন্যান্য
প্রকাশিত: (2012-01-01)