On the descriptive complexity of temporal constraint satisfaction problems. (English) Zbl 07876155
MSC:
68-XX
Found 30 Documents (Results 1–30)
Bowtie-free graphs and generic automorphisms. (English) Zbl 07738002
MSC:
03-XX
Using model theory to find decidable and tractable description logics with concrete domains. (English) Zbl 07606343
MSC:
68V15
When symmetries are not enough: a hierarchy of hard constraint satisfaction problems. (English) Zbl 1483.68141
An algebraic view on p-admissible concrete domains for lightweight description logics. (English) Zbl 07437042
Faber, Wolfgang (ed.) et al., Logics in artificial intelligence. 17th European conference, JELIA 2021, virtual event, May 17–20, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12678, 194-209 (2021).
MSC:
68T27
Ramsey properties and extending partial automorphisms for classes of finite structures. (English) Zbl 1498.05272
Reviewer: Ghaffar Raeisi (Shahrekord)
\( \omega \)-categorical structures avoiding height 1 identities. (English) Zbl 1472.08006
Reviewer: Keith Kearnes (Boulder)
ASNP: a tame fragment of existential second-order logic. (English) Zbl 07633504
Anselmo, Marcella (ed.) et al., Beyond the horizon of computability. 16th conference on computability in Europe, CiE 2020, Fisciano, Italy, June 29 – July 3, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12098, 149-162 (2020).
MSC:
68Qxx
Temporal constraint satisfaction problems in fixed-point logic. (English) Zbl 1498.08003
Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 237-251 (2020).
All those Ramsey classes (Ramsey classes with closures and forbidden homomorphisms). (English) Zbl 1421.05091
Rewritability in monadic disjunctive Datalog, MMSNP, and expressive description logics. (English) Zbl 1421.68037
A universal-algebraic proof of the complexity dichotomy for monotone monadic SNP. (English) Zbl 1452.03084
Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 105-114 (2018).
Ramsey theorem for designs. (English) Zbl 1379.05118
Drmota, Michael (ed.) et al., Extended abstracts of the ninth European conference on combinatorics, graph theory and applications, EuroComb 2017, Vienna, Austria, August 28 – September 1, 2017. Amsterdam: Elsevier. Electronic Notes in Discrete Mathematics 61, 623-629 (2017).
Ramsey classes with forbidden homomorphisms and a closure. (English) Zbl 1346.05294
Nešetril, Jaroslav (ed.) et al., Extended abstracts of the eight European conference on combinatorics, graph theory and applications, EuroComb 2015, Bergen, Norway, August 31 – September 4, 2015. Amsterdam: Elsevier. Electronic Notes in Discrete Mathematics 49, 737-745, electronic only (2015).
MSC:
05D10
Consistent amalgamation for þ-forking. (English) Zbl 1330.03074
Reviewer: Isaac Goldbring (Chicago)
Forbidden substructures and combinatorial dichotomies: WQO and universality. (English) Zbl 1223.05131
Many facets of dualities. (English) Zbl 1359.05060
Cook, William J. (ed.) et al., Research trends in combinatorial optimization. Papers based on the presentations at the workshop Bonn, Germany, 2008. Dedicated to Bernard Korte on the occasion of the 70th birthday. Berlin: Springer (ISBN 978-3-540-76795-4/hbk). 285-302 (2009).
MSC:
05C25
2006–07 Winter Meeting of the Association for Symbolic Logic. New Orleans Marriott and Sheraton New Orleans, New Orleans, Louisiana, January 7–8, 2007. (English) Zbl 1147.03302
2006 Annual Meeting of the Association for Symbolic Logic, Université du Québec à Montréal, Montréal, Québec, Canada, May 17–21, 2006. (English) Zbl 1118.03305
Bull. Symb. Log. 13, No. 1, 120-145 (2007); addendum ibid. 13, No. 3, 409 (2007).
Universal graphs with a forbidden subtree. (English) Zbl 1116.03026
Reviewer: Martin Weese (Potsdam)
Cuts and bounds. (English) Zbl 1076.05089
Filter Results by …
Document Type
- Journal Articles (23)
- Collection Articles (7)
all
top 5
Author
- Nešetřil, Jaroslav (8)
- Bodirsky, Manuel (6)
- Hubička, Jan (5)
- Mottet, Antoine (4)
- Rydval, Jakub (4)
- Cherlin, Gregory L. (3)
- Baader, Franz (2)
- Madelaine, Florent R. (2)
- Pinsker, Michael (2)
- Shelah, Saharon (2)
- Ackerman, Nathanael Leedom (1)
- Conant, Gabriel (1)
- Evans, David M. (1)
- Feier, Cristina (1)
- Freer, Cameron E. (1)
- Gillibert, Pierre (1)
- Groszek, Marcia J. (1)
- Jonušas, Julius (1)
- Kang, Mihyun (1)
- Kaplan, Itay (1)
- Knäuer, Simon (1)
- Kompatscher, Michael (1)
- Kuusisto, Antti (1)
- Lutz, Carsten (1)
- Makai, Tamás (1)
- Olšák, Miroslav (1)
- Onshuus, Alf Angel (1)
- Opršal, Jakub (1)
- Ossona de Mendez, Patrice (1)
- Pakusa, Wied (1)
- Panagiotopoulos, Aristotelis (1)
- Patel, Rehana (1)
- Pikhurko, Oleg (1)
- Shi, Niandong (1)
- Simon, Pierre (1)
- Siniora, Daoud (1)
- Starke, Florian (1)
- Tent, Katrin (1)
- Valeriote, Matthew A. (1)
- Willard, Ross (1)
all
top 5
Serial
- Eur. J. Comb. (3)
- Discrete Math. (2)
- J. Symb. Log. (2)
- SIAM J. Comput. (2)
- Trans. Am. Math. Soc. (2)
- Bull. Symb. Log. (2)
- Adv. Math. (1)
- Fundam. Math. (1)
- J. Comb. Theory, Ser. B (1)
- Adv. Appl. Math. (1)
- Ann. Pure Appl. Logic (1)
- J. Autom. Reasoning (1)
- Math. Log. Q. (1)
- J. ACM (1)
- Log. Methods Comput. Sci. (1)
- Forum Math. Sigma (1)
Software
- Datalog (1)
