Found 1,357 Documents (Results 1–100)
On the cardinality computation problem for regular languages over symmetric groups. (English. Russian original) Zbl 07881447
Mosc. Univ. Comput. Math. Cybern. 48, No. 2, 130-136 (2024); translation from Vestn. Mosk. Univ., Ser. XV 2024, No. 2, 73-79 (2024).
Count-free Weisfeiler-Leman and group isomorphism. (English) Zbl 07854824
Reviewer: Igor Subbotin (Los Angeles)
A logic-based framework for characterizing nexus of similarity within knowledge bases. (English) Zbl 07842985
Why the classes P and NP are not well-defined finitarily. arXiv:2401.09478
Preprint, arXiv:2401.09478 [math.LO] (2024).
Quantum cost optimization algorithm for entanglement-based asymmetric quantum error correction. (English) Zbl 1537.81081
On guarded extensions of MMSNP. (English) Zbl 07787582
Della Vedova, Gianluca (ed.) et al., Unity of logic and computation. 19th conference on computability in Europe, CiE 2023, Batumi, Georgia, July 24–28, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13967, 202-213 (2023).
Parallel algorithms for power circuits and the word problem of the Baumslag group. (English) Zbl 1525.20028
A simple logic of the hide and seek game. (English) Zbl 07755335
MSC:
03-XX
Equivalence in argumentation frameworks with a claim-centric view: classical results with novel ingredients. (English) Zbl 1535.68323
The algebraic structure of the densification and the sparsification tasks for CSPs. (English) Zbl 1522.68242
Deciding FO-rewritability of regular languages and ontology-mediated queries in linear temporal logic. (English) Zbl 1543.68141
Number of variables for graph differentiation and the resolution of graph isomorphism formulas. (English) Zbl 1541.03157
Knapsack and the power word problem in solvable Baumslag-Solitar groups. (English) Zbl 1516.20066
Reviewer: Enrico Jabara (Venezia)
Computational philosophy of science. arXiv:2302.02105
Preprint, arXiv:2302.02105 [cs.LO] (2023).
Algorithms and data structures for first-order logic with connectivity under vertex failures. (English) Zbl 07870312
Bojańczyk, Mikołaj (ed.) et al., 49th EATCS international conference on automata, languages, and programming, ICALP 2022, Paris, France, July 4–8, 2022. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 229, Article 102, 18 p. (2022).
Number of variables for graph differentiation and the resolution of GI formulas. (English) Zbl 1541.03158
Manea, Florin (ed.) et al., 30th EACSL annual conference on computer science logic, CSL 2022, Göttingen, Germany, virtual conference, February 14–19, 2022. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 216, Article 36, 18 p. (2022).
Synchronization of finite automata. (English. Russian original) Zbl 07733482
Russ. Math. Surv. 77, No. 5, 819-891 (2022); translation from Usp. Mat. Nauk 77, No. 5, 53-130 (2022).
Implicit computation complexity in higher-order programming languages. A survey in memory of Martin Hofmann. (English) Zbl 1517.68075
Complexity of finite-variable fragments of products with non-transitive modal logics. (English) Zbl 07589718
Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals. (English) Zbl 07587328
Computational properties of partial non-deterministic matrices and their logics. (English) Zbl 1541.03091
Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13137, 180-197 (2022).
Complexity of finite-variable fragments of propositional temporal and modal logics of computation. (English) Zbl 1540.03038
Parameterised complexity of model checking and satisfiability in propositional dependence logic. (English) Zbl 1534.68108
On the complexity of equational decision problems for finite height complemented and orthocomplemented modular lattices. (English) Zbl 07468272
Answers set programs for non-transferable utility games: expressiveness, complexity and applications. (English) Zbl 1478.68380
The fluted fragment with transitive relations. (English) Zbl 1490.03010
Reviewer: Mario Alviano (Rende)
Conjunctive grammars, cellular automata and logic. (English) Zbl 1542.68080
Castillo-Ramirez, Alonso (ed.) et al., 27th IFIP WG 1.5 international workshop on cellular automata and discrete complex systems, AUTOMATA 2021, Aix-Marseille University, France, July 12–14, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. OASIcs – OpenAccess Ser. Inform. 90, Article 8, 19 p. (2021).
A mechanised proof of the time invariance thesis for the weak call-by-value \(\lambda\)-calculus. (English) Zbl 07699436
Cohen, Liron (ed.) et al., 12th international conference on interactive theorem proving, ITP 2021, Rome, Italy, virtual conference, June 29 – July 1, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 193, Article 19, 20 p. (2021).
MSC:
68V15
On the satisfiability and model checking for one parameterized extension of linear-time temporal logic. (Russian. English summary) Zbl 1517.68237
EXPSPACE-completeness of the logics \(K4 \times S5\) and \(S4 \times S5\) and the logic of subset spaces. (English) Zbl 1505.03053
Deciding the existence of quasiweak near unanimity terms in finite algebras. (English) Zbl 1529.08023
Satisfiability in Boolean logic (SAT problem) is polynomial. (English) Zbl 1507.03092
Reviewer: Arne Meier (Hannover)
Efficient SAT-based minimal model generation methods for modal logic S5. (English) Zbl 07495576
Li, Chu-Min (ed.) et al., Theory and applications of satisfiability testing – SAT 2021. 24th international conference, Barcelona, Spain, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12831, 225-241 (2021).
Complexity of Lambek calculi with modalities and of total derivability in grammars. (English. Russian original) Zbl 1515.03218
Algebra Logic 60, No. 5, 308-326 (2021); translation from Algebra Logika 60, No. 4, 471-496 (2021).
A logic of knowledge based on abstract arguments. (English) Zbl 1486.03037
Reviewer: Éric Martin (Sydney)
MSC:
03B42
Adding guarded constructions to the syllogistic. (English) Zbl 07442311
Madarász, Judit (ed.) et al., Hajnal Andréka and István Németi on unity of science. From computing to relativity theory through algebraic logic. Cham: Springer. Outst. Contrib. Log. 19, 139-163 (2021).
Tableau-based decision procedure for non-Fregean logic of sentential identity. (English) Zbl 1540.03055
Platzer, André (ed.) et al., Automated deduction – CADE 28. 28th international conference on automated deduction, virtual event, July 12–15, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12699, 41-57 (2021).
Computational complexity of flat and generic assumption-based argumentation, with and without probabilities. (English) Zbl 1519.68246
Complexity analysis of a unifying algorithm for model checking interval temporal logic. (English) Zbl 1518.68204
Enumerating models of DNF faster: breaking the dependency on the formula size. (English) Zbl 1523.68036
Learning of monotone functions with single error correction. (English. Russian original) Zbl 1516.94075
Discrete Math. Appl. 31, No. 3, 193-205 (2021); translation from Diskretn. Mat. 31, No. 4, 53-69 (2019).
\( \omega \)-categorical structures avoiding height 1 identities. (English) Zbl 1472.08006
Reviewer: Keith Kearnes (Boulder)
Reasoning about degrees of confirmation. (English) Zbl 1535.03140
Dastani, Mehdi (ed.) et al., Logic and argumentation. Third international conference, CLAR 2020, Hangzhou, China, April 6–9, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12061, 80-95 (2020).
Knapsack and the power word problem in solvable Baumslag-Solitar groups. (English) Zbl 1542.20138
Esparza, Javier (ed.) et al., 45th international symposium on mathematical foundations of computer science, MFCS 2020, August 25–26, 2020, Prague, Czech Republic. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 170, Article 67, 15 p. (2020).
Reviewer: Egle Bettio (Venezia)
Complexity of commutative infinitary action logic. (English) Zbl 1535.03135
Martins, Manuel A. (ed.) et al., Dynamic logic. New trends and applications. Third international workshop, Dalí 2020, Prague, Czech Republic, October 9–10, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12569, 155-169 (2020).
Complexity of possible and necessary existence problems in abstract argumentation. (English) Zbl 1464.68373
De Giacomo, Giuseppe (ed.) et al., ECAI 2020. 24th European conference on artificial intelligence, August 29 – September 8, 2020, Santiago de Compostela, Spain. Including 10th conference on prestigious applications of artificial intelligence, PAIS 2020. Amsterdam: IOS Press. Front. Artif. Intell. Appl. 325, 897-904 (2020).
Compression is comprehension and the unreasonable effectiveness of digital computation in the natural world. (English) Zbl 1527.03006
Wuppuluri, Shyam (ed.) et al., Unravelling complexity. The life and work of Gregory Chaitin. Hackensack, NJ: World Scientific. 201-238 (2020).
On parameterized complexity of the word search problem in the Baumslag-Gersten group. (English) Zbl 07300092
Mantzaflaris, Angelos (ed.), Proceedings of the 45th international symposium on symbolic and algebraic computation, ISSAC ’20, Kalamata, Greece, July 20–23, 2020. New York, NY: Association for Computing Machinery (ACM). 360-363 (2020).
On computing the set of acceptable arguments in abstract argumentation. (English) Zbl 1464.68376
Prakken, Henry (ed.) et al., Computational models of argument. Proceedings of the 8th conference, COMMA 2020, University of Perugia, Italy, virtual conference, September 8–11, 2020. Amsterdam: IOS Press. Front. Artif. Intell. Appl. 326, 363-370 (2020).
Abstract argumentation frameworks with fallible evidence. (English) Zbl 1464.68374
Prakken, Henry (ed.) et al., Computational models of argument. Proceedings of the 8th conference, COMMA 2020, University of Perugia, Italy, virtual conference, September 8–11, 2020. Amsterdam: IOS Press. Front. Artif. Intell. Appl. 326, 347-354 (2020).
Possible controllability of control argumentation frameworks. (English) Zbl 1464.68366
Prakken, Henry (ed.) et al., Computational models of argument. Proceedings of the 8th conference, COMMA 2020, University of Perugia, Italy, virtual conference, September 8–11, 2020. Amsterdam: IOS Press. Front. Artif. Intell. Appl. 326, 283-294 (2020).
Computing strongly admissible sets. (English) Zbl 1464.68355
Prakken, Henry (ed.) et al., Computational models of argument. Proceedings of the 8th conference, COMMA 2020, University of Perugia, Italy, virtual conference, September 8–11, 2020. Amsterdam: IOS Press. Front. Artif. Intell. Appl. 326, 179-190 (2020).
Minimal strong admissibility: a complexity analysis. (English) Zbl 1464.68347
Prakken, Henry (ed.) et al., Computational models of argument. Proceedings of the 8th conference, COMMA 2020, University of Perugia, Italy, virtual conference, September 8–11, 2020. Amsterdam: IOS Press. Front. Artif. Intell. Appl. 326, 135-146 (2020).
Deciding quantifier-free definability in finite algebraic structures. (English) Zbl 1495.03050
Felty, Amy (ed.) et al., 14th international workshop on logical and semantic frameworks, with applications, LSFA 2019, Natal, Brazil, in August 2019. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 348, 23-41 (2020).
The power of the combined basic linear programming and affine relaxation for promise constraint satisfaction problems. (English) Zbl 1496.68255
Algorithmic polynomials. (English) Zbl 1495.68096
Justifications in constraint handling rules for logical retraction in dynamic algorithms: theory, implementations, and complexity. (English) Zbl 1471.68049
The joy of probabilistic answer set programming: semantics, complexity, expressivity, inference. (English) Zbl 1490.68072
The Bernays-Schönfinkel-Ramsey class of separation logic with uninterpreted predicates. (English) Zbl 1446.03064
Musings on generic-case complexity. (English) Zbl 1528.03174
Baginski, Paul (ed.) et al., Elementary theory of groups and group rings, and related topics. Proceedings of the conference held at Fairfield University and at the Graduate Center, CUNY, New York, NY, USA, November 1–2, 2018. Berlin: De Gruyter. De Gruyter Proc. Math., 135-148 (2020).
Algorithm design with Haskell. (English) Zbl 1440.68002
Cambridge: Cambridge University Press (ISBN 978-1-108-49161-7/hbk; 978-1-108-86904-1/ebook). xvi, 437 p. (2020).
On weak positive predicates over a finite set. (English. Russian original) Zbl 1445.68142
Discrete Math. Appl. 30, No. 3, 203-213 (2020); translation from Diskretn. Mat. 30, No. 3, 127-140 (2018).
Solutions to twisted word equations and equations in virtually free groups. (English) Zbl 1481.20118
About the temporal logic of the lexicographic products of unbounded dense linear orders: a new study of its computability. (English) Zbl 1484.03030
Ju, Shier (ed.) et al., Nonclassical logics and their applications. Post-proceedings of the 8th international workshop on logic and cognition, WOLC 2016, Guangzhou, China, December 5–9, 2016. Singapore: Springer. Log. Asia: Stud. Log. Libr., 67-83 (2020).
Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination. (English) Zbl 1443.68101
Placing quantified variants of 3-SAT and not-all-equal 3-SAT in the polynomial hierarchy. (English) Zbl 1440.68114
Filter Results by …
Document Type
- Journal Articles (810)
- Collection Articles (437)
- Books (103)
- arXiv Preprints (7)
all
top 5
Author
- Demri, Stéphane P. (23)
- Vollmer, Heribert (20)
- Pratt-Hartmann, Ian (17)
- Dal Lago, Ugo (16)
- Eiter, Thomas (16)
- Lohrey, Markus (16)
- Bodirsky, Manuel (14)
- Montanari, Angelo (14)
- Grädel, Erich (13)
- Kolaitis, Phokion G. (13)
- Mundhenk, Martin (13)
- Baillot, Patrick (12)
- Meier, Arne (12)
- Pudlák, Pavel (12)
- Tendera, Lidia (12)
- Vardi, Moshe Ya’akov (12)
- Lutz, Carsten (11)
- Bozzelli, Laura (10)
- Gottlob, Georg (10)
- Hájek, Petr (10)
- Ushakov, Alexander S. (10)
- Dawar, Anuj (9)
- Kuusisto, Antti (9)
- Leivant, Daniel M. (9)
- Myasnikov, Alexei G. (9)
- Sala, Pietro (9)
- Zakharyaschev, Michael Viktorovich (9)
- Gurevich, Yuri (8)
- Hella, Lauri T. (8)
- Kieroński, Emanuel (8)
- Krajíček, Jan (8)
- Makino, Kazuhisa (8)
- Otto, Martin (8)
- Rybakov, Mikhail Nikolaevich (8)
- Schneider, Thomas (8)
- Wolter, Frank (8)
- Woltran, Stefan (8)
- Achilleos, Antonis (7)
- Börger, Egon (7)
- Dunne, Paul E. (7)
- Grandjean, Etienne (7)
- Hermann, Miki (7)
- Makowsky, Johann-Andreas (7)
- Marion, Jean-Yves (7)
- Peron, Adriano (7)
- Ščedrov, Andrej (7)
- Zetzsche, Georg (7)
- Atserias, Albert (6)
- Bauland, Michael (6)
- Halpern, Joseph Yehuda (6)
- Hemaspaandra, Edith (6)
- Horváth, Gábor (6)
- Immerman, Neil (6)
- Japaridze, Giorgi (6)
- Kanovich, Max Iosifovich (6)
- Kontinen, Juha (6)
- Lazić, Ranko (6)
- Liberatore, Paolo (6)
- Lincoln, Patrick D. (6)
- Martin, Barnaby D. (6)
- Molinari, Alberto (6)
- Palopoli, Luigi (6)
- Ronchi Della Rocca, Simona (6)
- Schnoor, Henning (6)
- Schnoor, Ilka (6)
- Schwentick, Thomas (6)
- Schwichtenberg, Helmut (6)
- Szwast, Wiesław (6)
- Szymanik, Jakub (6)
- Terui, Kazushige (6)
- Urquhart, Alasdair (6)
- Veith, Helmut (6)
- Virtema, Jonni (6)
- Wooldridge, Michael J. (6)
- Angiulli, Fabrizio (5)
- Buss, Samuel R. (5)
- Charatonik, Witold (5)
- Das, Anupam (5)
- Dvořák, Wolfgang (5)
- Gaboardi, Marco (5)
- Göller, Stefan (5)
- Grohe, Martin (5)
- Harel, David (5)
- Kapovich, Ilya (5)
- Kleine Büning, Hans (5)
- Lohmann, Peter (5)
- Lück, Martin (5)
- Mazza, Damiano (5)
- Montagna, Franco (5)
- Muscholl, Anca (5)
- Olive, Frédéric (5)
- Papadimitriou, Christos Harilaos (5)
- Rothe, Jörg-Matthias (5)
- Ryzhikov, Vladislav (5)
- Schubert, Aleksy (5)
- Schupp, Paul E. (5)
- Sciavicco, Guido (5)
- Shpilrain, Vladimir (5)
- Szeider, Stefan (5)
- Voronkov, Andrei (5)
- and 1,285 more Authors
all
top 5
Serial
- Theor. Comput. Sci. (66)
- ACM Trans. Comput. Log. (49)
- Artif. Intell. (44)
- Log. Methods Comput. Sci. (43)
- Ann. Pure Appl. Logic (40)
- Inf. Comput. (36)
- J. Log. Comput. (36)
- Inf. Process. Lett. (24)
- J. Symb. Log. (24)
- SIAM J. Comput. (23)
- Int. J. Algebra Comput. (19)
- J. Comput. Syst. Sci. (18)
- Ann. Math. Artif. Intell. (17)
- Stud. Log. (15)
- Log. J. IGPL (15)
- J. Logic Lang. Inf. (14)
- Theory Comput. Syst. (13)
- Arch. Math. Logic (12)
- J. Appl. Non-Class. Log. (9)
- Math. Log. Q. (9)
- Int. J. Found. Comput. Sci. (7)
- Bull. Symb. Log. (7)
- Algebra Univers. (6)
- Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. (6)
- J. Artif. Intell. Res. (JAIR) (6)
- J. ACM (6)
- Fundam. Inform. (6)
- J. Appl. Log. (6)
- Lect. Notes Comput. Sci. (6)
- Discrete Appl. Math. (5)
- Int. J. Theor. Phys. (5)
- J. Algebra (5)
- Kibern. Sb., Nov. Ser. (5)
- Trans. Am. Math. Soc. (5)
- Comput. Complexity (5)
- Theory Pract. Log. Program. (5)
- Algebra Logic (4)
- Inf. Control (4)
- Notre Dame J. Formal Logic (4)
- Synthese (4)
- J. Autom. Reasoning (4)
- Int. J. Approx. Reasoning (4)
- Discrete Math. Appl. (4)
- J. Group Theory (4)
- Stud. Logic Found. Math. (4)
- Mosc. Univ. Math. Bull. (3)
- Adv. Math. (3)
- J. Assoc. Comput. Mach. (3)
- J. Philos. Log. (3)
- J. Symb. Comput. (3)
- Algorithmica (3)
- Math. Struct. Comput. Sci. (3)
- RIMS Kokyuroku (3)
- Rev. Symb. Log. (3)
- Perspect. Math. Log. (3)
- Acta Inf. (2)
- Am. Math. Mon. (2)
- Arch. Math. Logik Grundlagenforsch. (2)
- Russ. Math. Surv. (2)
- Fuzzy Sets Syst. (2)
- Inf. Sci. (2)
- J. Sov. Math. (2)
- Rend. Semin. Mat., Torino (2)
- Bull. Sect. Log., Univ. Łódź, Dep. Log. (2)
- J. Log. Program. (2)
- AI Commun. (2)
- Random Struct. Algorithms (2)
- Elektron. Informationsverarbeitung Kybernetik (2)
- Enseign. Math. (2) (2)
- Form. Methods Syst. Des. (2)
- Vopr. Kibern., Mosk. (2)
- J. Math. Sci., New York (2)
- Constraints (2)
- Discrete Math. Theor. Comput. Sci. (2)
- Theor. Inform. Appl. (2)
- Quantum Inf. Process. (2)
- J. Mult.-Val. Log. Soft Comput. (2)
- Oberwolfach Rep. (2)
- Encycl. Math. Appl. (2)
- Grad. Texts Comput. Sci. (2)
- Lect. Notes Log. (2)
- Stud. Log. (Lond.) (2)
- ACM Trans. Comput. Theory (2)
- Perspect. Log. (2)
- EATCS Monogr. Theoret. Comput. Sci. (2)
- ACM Comput. Surv. (1)
- Ann. Hist. Comput. (1)
- Commun. Algebra (1)
- Houston J. Math. (1)
- Math. Notes (1)
- Phys. Rep. (1)
- Math. Comput. (1)
- Math. Intell. (1)
- Acta Math. Sin. (1)
- An. Univ. Bucur., Mat. (1)
- Arch. Math. (1)
- BIT (1)
- Bull. Lond. Math. Soc. (1)
- Can. Math. Bull. (1)
- Computing (1)
- and 108 more Serials
all
top 5
Year of Publication
- 2024 (8)
- 2023 (13)
- 2022 (15)
- 2021 (24)
- 2020 (54)
- 2019 (42)
- 2018 (64)
- 2017 (48)
- 2016 (56)
- 2015 (67)
- 2014 (62)
- 2013 (44)
- 2012 (54)
- 2011 (44)
- 2010 (40)
- 2009 (45)
- 2008 (35)
- 2007 (35)
- 2006 (39)
- 2005 (28)
- 2004 (31)
- 2003 (19)
- 2002 (27)
- 2001 (29)
- 2000 (23)
- 1999 (42)
- 1998 (33)
- 1997 (36)
- 1996 (21)
- 1995 (19)
- 1994 (19)
- 1993 (22)
- 1992 (21)
- 1991 (11)
- 1990 (14)
- 1989 (21)
- 1988 (15)
- 1987 (16)
- 1986 (12)
- 1985 (18)
- 1984 (14)
- 1983 (12)
- 1982 (12)
- 1981 (10)
- 1980 (15)
- 1979 (13)
- 1978 (7)
- 1977 (1)
- 1976 (3)
- 1974 (1)
- 1970 (2)
- 1967 (1)
all
top 3
Main Field
- 68-XX (1,134)
- 03-XX (1,129)
- 20-XX (98)
- 05-XX (49)
- 94-XX (44)
- 00-XX (39)
- 91-XX (35)
- 08-XX (28)
- 06-XX (24)
- 90-XX (18)
- 81-XX (16)
- 01-XX (14)
- 60-XX (10)
- 11-XX (9)
- 18-XX (8)
- 12-XX (7)
- 57-XX (6)
- 13-XX (5)
- 46-XX (5)
- 65-XX (5)
- 14-XX (4)
- 16-XX (3)
- 28-XX (3)
- 54-XX (3)
- 62-XX (3)
- 82-XX (3)
- 37-XX (2)
- 52-XX (2)
- 92-XX (2)
- 15-XX (1)
- 26-XX (1)
- 34-XX (1)
- 47-XX (1)
- 51-XX (1)
- 53-XX (1)
- 93-XX (1)
Biographic Reference
all
top 3
Software
- Datalog (12)
- ASSAT (5)
- MCMAS (5)
- MiniSat (4)
- CESAR (3)
- Chaff (3)
- Cmodels (3)
- Coq (3)
- MOCHA (3)
- Mathematica (3)
- Ontop (3)
- SPIN (3)
- SeLoger (3)
- Smallfoot (3)
- Walksat (3)
- XPath (3)
- clasp (3)
- Agda (2)
- CVC4 (2)
- ContentCVS (2)
- Cyclist (2)
- DDVerify (2)
- DELORES (2)
- DPF (2)
- GAP (2)
- Gringo (2)
- Haskell (2)
- LOF (2)
- Nuprl (2)
- OSCAR (2)
- PRISM (2)
- PRMLT (2)
- Potassco (2)
- SONATA (2)
- Slide (2)
- Smodels (2)
- VeriFast (2)
- dynASP (2)
- z3 (2)
- ABACUS (1)
- ACORDA (1)
- AFRA (1)
- ASPARTIX (1)
- Automath (1)
- BEACON (1)
- BioPortal (1)
- C4.5 (1)
- CCalc (1)
- CEX (1)
- CHR.js (1)
- COSTA (1)
- CPLEX (1)
- CRAG (1)
- Carneades (1)
- CatLog3 (1)
- Clingo (1)
- CoQuiAAS (1)
- DIAMOND (1)
- DKAL (1)
- DRAT-trim (1)
- DatalogMTL (1)
- Dungine (1)
- EL2MCS (1)
- EasyCrypt (1)
- Eigen (1)
- F* (1)
- FLATA (1)
- FODD-Planner (1)
- FaCT++ (1)
- FluCaP (1)
- GRASShopper (1)
- GameTheory (1)
- GameTheoryAllocation (1)
- GitHub (1)
- Glucose (1)
- Grail (1)
- Graphplan (1)
- Gurobi (1)
- HermiT (1)
- HgMUS (1)
- HyLoRes (1)
- Infer (1)
- Isabelle (1)
- Isabelle/HOL (1)
- Isabelle/Isar (1)
- Isar (1)
- JBool (1)
- Just (1)
- KL-ONE (1)
- LTL2BA (1)
- LiQuor (1)
- LinearOne (1)
- LoTREC (1)
- Lolli (1)
- Lore (1)
- Lorel (1)
- Lparse (1)
- Ltur (1)
- MAGNUS (1)
- MASTRO (1)
- and 60 more Software Packages