Search results for "MMSNP"

Found 16 publication records. Showing 16 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
142	Lauri Hella, Merlijn Sevenster, Tero Tulenheimo	Partially Ordered Connectives and Monadic Monotone Strict NP.	J. Log. Lang. Inf.	2008	DBLP DOI BibTeX RDF	Henkin quantifiers, MMSNP, Partially ordered connectives, Constraint satisfaction problems, SNP, Generalized quantifiers
53	Stefan S. Dantchev, Florent R. Madelaine	Bounded-Degree Forbidden Patterns Problems Are Constraint Satisfaction Problems.	CSR	2006	DBLP DOI BibTeX RDF	Constraint Satisfaction, Duality, Monadic Second Order Logic, Logic in Computer Science, Graph Homomorphism
33	Alexey Barsukov, Florent R. Madelaine	On guarded extensions of MMSNP.	CoRR	2023	DBLP DOI BibTeX RDF
33	Alexey Barsukov, Florent R. Madelaine	On Guarded Extensions of MMSNP.	CiE	2023	DBLP DOI BibTeX RDF
33	Pierre Bourhis, Carsten Lutz	Containment in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics.	CoRR	2020	DBLP BibTeX RDF
33	Cristina Feier, Antti Kuusisto, Carsten Lutz	Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics.	Log. Methods Comput. Sci.	2019	DBLP DOI BibTeX RDF
33	Cristina Feier, Antti Kuusisto, Carsten Lutz	Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics.	CoRR	2017	DBLP BibTeX RDF
33	Cristina Feier, Antti Kuusisto, Carsten Lutz	Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics (Invited Talk).	ICDT	2017	DBLP DOI BibTeX RDF
33	Pierre Bourhis, Carsten Lutz	Containment in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics.	KR	2016	DBLP BibTeX RDF
33	Meghyn Bienvenu, Balder ten Cate, Carsten Lutz, Frank Wolter	Ontology-Based Data Access: A Study through Disjunctive Datalog, CSP, and MMSNP.	ACM Trans. Database Syst.	2014	DBLP DOI BibTeX RDF
33	Gábor Kun	Constraints, MMSNP and expander relational structures.	Comb.	2013	DBLP DOI BibTeX RDF
33	Meghyn Bienvenu, Balder ten Cate, Carsten Lutz, Frank Wolter	Ontology-based Data Access: A Study through Disjunctive Datalog, CSP, and MMSNP	CoRR	2013	DBLP BibTeX RDF
33	Meghyn Bienvenu, Balder ten Cate, Carsten Lutz, Frank Wolter	Ontology-based data access: a study through disjunctive datalog, CSP, and MMSNP.	PODS	2013	DBLP DOI BibTeX RDF
33	Manuel Bodirsky, Hubie Chen, Tomás Feder	On the Complexity of MMSNP.	SIAM J. Discret. Math.	2012	DBLP DOI BibTeX RDF
26	Barnaby Martin, Florent R. Madelaine	Hierarchies in Fragments of Monadic Strict NP.	CiE	2007	DBLP DOI BibTeX RDF
26	Florent R. Madelaine	Universal Structures and the Logic of Forbidden Patterns.	CSL	2006	DBLP DOI BibTeX RDF	Graph Homomorphism and Duality, Constraint Satisfaction, Finite Model theory, Monadic Second Order Logic