Found 481 Documents (Results 1–100)
Inconsistent precedents and deontic logic. (English) Zbl 07892340
Maranhão, Juliano (ed.) et al., Deontic logic and normative systems. 16th international conference, DEON 2023, Trois-Rivières, Canada, 2023. London: College Publications. 317-333 (2023).
Allowed, or enabled, that is the question. (English) Zbl 07892339
Maranhão, Juliano (ed.) et al., Deontic logic and normative systems. 16th international conference, DEON 2023, Trois-Rivières, Canada, 2023. London: College Publications. 297-315 (2023).
On floating conclusions. (English) Zbl 07892334
Maranhão, Juliano (ed.) et al., Deontic logic and normative systems. 16th international conference, DEON 2023, Trois-Rivières, Canada, 2023. London: College Publications. 199-215 (2023).
Perspectival obligation and extensionality in an alethic-deontic setting. (English) Zbl 07892327
Maranhão, Juliano (ed.) et al., Deontic logic and normative systems. 16th international conference, DEON 2023, Trois-Rivières, Canada, 2023. London: College Publications. 57-77 (2023).
Rights and practical reasoning in deontic logic. (English) Zbl 07892324
Maranhão, Juliano (ed.) et al., Deontic logic and normative systems. 16th international conference, DEON 2023, Trois-Rivières, Canada, 2023. London: College Publications. 1-19 (2023).
Resolution calculi for non-normal modal logics. (English) Zbl 07850752
Ramanayake, Revantha (ed.) et al., Automated reasoning with analytic tableaux and related methods. 32nd international conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14278, 322-341 (2023).
MSC:
68V15
Finding factors in legal case-based reasoning. (English) Zbl 1535.68333
Bentzen, Bruno (ed.) et al., Logics for AI and law. Joint proceedings of the third international workshop on logics for new-generation artificial intelligence and the international workshop on logic, AI and law, September 8–9 and 11–12, 2023, Hangzhou, China. London: College Publications. 175-192 (2023).
MSC:
68T27
A logic for temporal and open information. (English) Zbl 1535.68349
Bentzen, Bruno (ed.) et al., Logics for AI and law. Joint proceedings of the third international workshop on logics for new-generation artificial intelligence and the international workshop on logic, AI and law, September 8–9 and 11–12, 2023, Hangzhou, China. London: College Publications. 93-109 (2023).
Morpho-logic from a topos perspective – application to symbolic AI. (English) Zbl 07734046
MSC:
68T37
Quasi-Boolean based models in rough set theory: a case of covering. (English) Zbl 1541.03145
Banerjee, Mohua (ed.) et al., Logic and its applications. 10th Indian conference, ICLA 2023, Indore, India, March 3–5, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13963, 159-171 (2023).
An algebraic semantics for possibilistic finite-valued Łukasiewicz logic. (English) Zbl 07713728
MSC:
68T37
Qualitative reasoning in a two-layered framework. (English) Zbl 07698072
MSC:
68T37
A non-distributive logic for semiconcepts and its modal extension with semantics based on Kripke contexts. (English) Zbl 1524.68364
Towards a unified view on logics for uncertainty. (English) Zbl 1524.68353
Dupin de Saint-Cyr, Florence (ed.) et al., Scalable uncertainty management. 15th international conference, SUM 2022, Paris, France, October 17–19, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13562, 329-337 (2022).
Parametrized modal logic. I: An introduction. (English) Zbl 1531.03031
Fernández-Duque, David (ed.) et al., Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22–25, 2022. London: College Publications. 97-117 (2022).
MSC:
03B45
Classical reasoning in the justification paradigm. (English) Zbl 1532.03021
Reviewer: Meghdad Ghari (Isfahan)
Some implicative topological quasi-Boolean algebras and rough set models. (English) Zbl 07581212
MSC:
68T37
Satisfiability in a temporal multi-valueted logic based on \(\mathbb{Z} \). (English) Zbl 1535.03155
A formal study of a generalized rough set model based on subset approximation structure. (English) Zbl 07460570
MSC:
68T37
Rough concepts. (English) Zbl 1539.68345
Prioritized defaults and formal argumentation. (English) Zbl 07655721
Liu, Fenrong (ed.) et al., Deontic logic and normative systems. 15th international conference, DEON 2020/2021. London: College Publications. 427-446 (2021).
Goal-directed decision procedures for input/output logics. (English) Zbl 07655720
Liu, Fenrong (ed.) et al., Deontic logic and normative systems. 15th international conference, DEON 2020/2021. London: College Publications. 414-426 (2021).
A reduction in violation logic. (English) Zbl 07655713
Liu, Fenrong (ed.) et al., Deontic logic and normative systems. 15th international conference, DEON 2020/2021. London: College Publications. 291-307 (2021).
How deontic logic ought to be: towards a many-sorted framework for normative reasoning. (English) Zbl 07655709
Liu, Fenrong (ed.) et al., Deontic logic and normative systems. 15th international conference, DEON 2020/2021. London: College Publications. 219-238 (2021).
Axiomatizing norms across time and the ‘paradox of the court’. (English) Zbl 07655708
Liu, Fenrong (ed.) et al., Deontic logic and normative systems. 15th international conference, DEON 2020/2021. London: College Publications. 201-218 (2021).
Deontic action logics via algebra. (English) Zbl 07655701
Liu, Fenrong (ed.) et al., Deontic logic and normative systems. 15th international conference, DEON 2020/2021. London: College Publications. 77-93 (2021).
Hypergraphs, local reasoning, and weakly aggregative modal logic. (English) Zbl 07547759
Ghosh, Sujata (ed.) et al., Logic, rationality, and interaction. 8th international workshop, LORI 2021, Xi’ian, China, October 16–18, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13039, 58-72 (2021).
MSC:
03B45
Trust evidence logic. (English) Zbl 07542369
Vejnarová, Jiřina (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 16th European conference, ECSQARU 2021, Prague, Czech Republic, September 21–24, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12897, 575-589 (2021).
MSC:
68T37
Alternative semantics for normative reasoning with an application to regret and responsibility. (English) Zbl 1496.03082
MSC:
03B45
Formalizing the right to know: epistemic rights as normative positions. (English) Zbl 1484.03037
Liao, Beishui (ed.) et al., Logics for new-generation AI 2021. First international workshop, LNGAI 2021, June, 18–20 2021, Hangzhou, China. London: College Publications. 154-159 (2021).
New-generation AIs: reasoning about norms and values. (English) Zbl 1484.68231
Liao, Beishui (ed.) et al., Logics for new-generation AI 2021. First international workshop, LNGAI 2021, June, 18–20 2021, Hangzhou, China. London: College Publications. 120-131 (2021).
A logical description of strategizing in social network games. (English) Zbl 1484.91079
Liao, Beishui (ed.) et al., Logics for new-generation AI 2021. First international workshop, LNGAI 2021, June, 18–20 2021, Hangzhou, China. London: College Publications. 107-119 (2021).
A modal logic of defeasible reasoning. (English) Zbl 1484.68227
Liao, Beishui (ed.) et al., Logics for new-generation AI 2021. First international workshop, LNGAI 2021, June, 18–20 2021, Hangzhou, China. London: College Publications. 68-80 (2021).
A similarity-based three-valued modal logic approach to reason with prototypes and counterexamples. (English) Zbl 1485.68252
Lesot, Marie-Jeanne (ed.) et al., Fuzzy approaches for soft computing and approximate reasoning: theories and applications. Cham: Springer. Stud. Fuzziness Soft Comput. 394, 45-59 (2021).
On the logics of empirical modalities. (Russian. English summary) Zbl 1509.03070
MSC:
03B45
On Ruspini’s models of similarity-based approximate reasoning. (English) Zbl 1512.03042
Lesot, Marie-Jeanne (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. 18th international conference, IPMU 2020, Lisbon, Portugal, June 15–19, 2020. Proceedings. Part I. Cham: Springer. Commun. Comput. Inf. Sci. 1237, 3-13 (2020).
Fuzzy neighborhood semantics for multi-agent probabilistic reasoning in games. (English) Zbl 1516.91023
Lesot, Marie-Jeanne (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. 18th International Conference, IPMU 2020, Lisbon, Portugal, June 15–19, 2020. Proceedings, Part III. Cham: Springer. Commun. Comput. Inf. Sci. 1239, 680-693 (2020).
MSC:
91A86
A flexible logic-based approach to closeness using order of magnitude qualitative reasoning. (English) Zbl 1492.68124
Sequences of refinements of rough sets: logical and algebraic aspects. (English) Zbl 1483.68399
Peters, James F. (ed.) et al., Transactions on Rough Sets XXII. Berlin: Springer. Lect. Notes Comput. Sci. 12485, 26-122 (2020).
A unifying approach for nonmonotonic S4F, (reflexive) autoepistemic logic, and answer set programming. (English) Zbl 1497.68462
Knowledge and approximations: a formal study under the perspective of information systems and rough set theory. (English) Zbl 1458.68206
Designing normative theories for ethical and legal reasoning: LogiKEy framework, methodology, and tool support. (English) Zbl 1493.68286
Computer-supported analysis of positive properties, ultrafilters and modal collapse in variants of Gödel’s ontological argument. (English) Zbl 1461.03021
A modal logic for subject-oriented spatial reasoning. (English) Zbl 1515.68311
Gamper, Johann (ed.) et al., 26th international symposium on temporal representation and reasoning, TIME 2019. Málaga, Spain, October 16–19, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 147, Article 4, 22 p. (2019).
Adaptive deontic logics: a survey. (English) Zbl 1513.03047
MSC:
03B45
Free choice reasons. (English) Zbl 1452.03006
Judging actions on the basis of prima facie duties. The case of self-driving cars. (English) Zbl 1458.68154
Argumentum ontologicum and argumentum ornithologicum: Anselm of Canterbury and Jorge Luis Borges. (English) Zbl 1428.03037
MSC:
03A05
A capacity-based framework encompassing Belnap-Dunn logic for reasoning about multisource information. (English) Zbl 1456.68186
Logics for order-of-magnitude qualitative reasoning: formalizing negligibility. (English) Zbl 07908127
Golińska-Pilarek, Joanna (ed.) et al., Ewa Orłowska on relational methods in logic and computer science. Cham: Springer. Outst. Contrib. Log. 17, 203-231 (2018).
MSC:
03B45
Reasoning on relations, modalities, and sets. (English) Zbl 07908125
Golińska-Pilarek, Joanna (ed.) et al., Ewa Orłowska on relational methods in logic and computer science. Cham: Springer. Outst. Contrib. Log. 17, 129-168 (2018).
The MET: the art of flexible reasoning with modalities. (English) Zbl 1518.68416
Benzmüller, Christoph (ed.) et al., Rules and reasoning. Second international joint conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11092, 274-284 (2018).
A dyadic deontic logic in HOL. (English) Zbl 1418.03069
Broersen, Jan (ed.) et al., Deontic logic and normative systems. 14th international conference, DEON 2018, Utrecht, Netherlands, July 3–6, 2018. Proceedings. London: College Publications. 33-49 (2018).
Axiomatizing discrete spatial relations. (English) Zbl 1518.68367
Desharnais, Jules (ed.) et al., Relational and algebraic methods in computer science. 17th international conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11194, 113-130 (2018).
Multi-agent dialogues and dialogue sequents for proof search and scheduling in intuitionistic logic and the modal logic S4. (English) Zbl 1408.68139
Reviewer: Jānis Cīrulis (Riga)
Rough and near: modal history of two theories. (English) Zbl 1489.68306
Polkowski, Lech (ed.) et al., Rough sets. International joint conference, IJCRS 2017, Olsztyn, Poland, July 3–7, 2017. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 10313, 109-122 (2017).
Reified input/output logic: combining input/output logic and reification to represent norms coming from existing legislation. (English) Zbl 1444.03074
A multimodal logic for closeness. (English) Zbl 1398.03087
MSC:
03B45
The logic of discrete qualitative relations. (English) Zbl 1433.68433
Clementini, Eliseo (ed.) et al., 13th international conference on spatial information theory, COSIT 2017, L’Aquila, Italy, September 4–8, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 86, Article 1, 15 p. (2017).
Tableau approach for fuzzy propositional modal logic. (Chinese. English summary) Zbl 1389.03004
A monotonic view on reflexive autoepistemic reasoning. (English) Zbl 1491.68210
Balduccini, Marcello (ed.) et al., Logic programming and nonmonotonic reasoning. 14th international conference, LPNMR 2017, Espoo, Finland, July 3–6, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10377, 85-100 (2017).
Negation of graded beliefs. (English) Zbl 1455.03018
Carvalho, Joao Paulo (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. 16th international conference, IPMU 2016, Eindhoven, The Netherlands, June 20–24, 2016. Proceedings. Part II. Cham: Springer. Commun. Comput. Inf. Sci. 611, 148-160 (2016).
A review on rough sets and possible world semantics for modal logics. (English) Zbl 1429.03174
Akama, Seiki (ed.), Towards paraconsistent engineering. Cham: Springer. Intell. Syst. Ref. Libr. 110, 165-177 (2016).
MNiBLoS: a SMT-based solver for continuous t-norm based logics and some of their modal expansions. (English) Zbl 1428.68346
Prioritized norms and defaults in formal argumentation. (English) Zbl 1418.03094
Roy, Olivier (ed.) et al., Deontic logic and normative systems. 13th international conference, DEON 2016, Bayreuth, Germany, July 18–21, 2016. Proceedings. London: College Publications. 139-154 (2016).
Multiple-source approximation systems, evolving information systems and corresponding logics: a study in rough set theory. (English) Zbl 1398.68542
Peters, James F. (ed.) et al., Transactions on Rough Sets XX. Berlin: Springer (ISBN 978-3-662-53610-0/pbk; 978-3-662-53611-7/ebook). Lecture Notes in Computer Science 10020. Journal Subline, 146-320 (2016).
On regular paths with counting and data tests. (English) Zbl 1394.68108
Arrazola-Ramírez, José Ramón (ed.) et al., Selected papers of the 10th Latin American workshop on logic/languages, algorithms and new methods of reasoning (LANMR), Puebla, Mexico, August 15, 2016. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 328, 3-16 (2016).
Rough granular computing in modal settings: generalised approximation spaces. (English) Zbl 1373.68406
Illustrating a neural model of logic computations: the case of Sherlock Holmes’ old maxim. (English) Zbl 1388.03012
Description logics of context. (English) Zbl 1353.68266
Metric structure in the modal logic system S4. (Chinese. English summary) Zbl 1363.03004
MSC:
03B45
Revisiting da Costa logic. (English) Zbl 1437.03104
Symmetries in modal logics. (English) Zbl 1372.03036
Filter Results by …
Document Type
- Journal Articles (290)
- Collection Articles (173)
- Books (18)
all
top 5
Author
- Heinemann, Bernhard (16)
- van der Torre, Leendert W. N. (11)
- Khan, Md. Aquil (10)
- Balbiani, Philippe (9)
- Benzmüller, Christoph Ewald (9)
- Meyer, John-Jules Charles (9)
- Esteva, Francesc (8)
- Godo, Lluís (8)
- Halpern, Joseph Yehuda (8)
- Orłowska, Ewa S. (8)
- Truszczyński, Mirosław (8)
- van der Hoek, Wiebe (8)
- Liau, Churn-Jung (7)
- Marek, V. Wiktor (7)
- Resconi, Germano (7)
- Sui, Yuefei (6)
- Zhang, Zaiyue (6)
- Burrieza, Alfredo (5)
- Cao, Cungen (5)
- Herzig, Andreas (5)
- Muñoz-Velasco, Emilio (5)
- Murai, Tetsuya (5)
- Ojeda-Aciego, Manuel (5)
- Parent, Xavier (5)
- Rosati, Riccardo (5)
- Schmidt, Renate A. (5)
- Varzinczak, Ivan Jóse (5)
- Aiello, Marco (4)
- Asher, Nicholas M. (4)
- Banerjee, Mohua (4)
- Britz, Katarina (4)
- Chakraborty, Mihir Kumar (4)
- Dubois, Didier (4)
- Engelfriet, Joeri (4)
- Fernández Duque, David (4)
- Fitting, Melvin Chris (4)
- Flaminio, Tommaso (4)
- Gabbay, Dov M. (4)
- Markovich, Réka (4)
- Meheus, Joke (4)
- Patel, Vineeta Singh (4)
- Strasser, Christian (4)
- Tan, Yao-Hua (4)
- Tishkovsky, Dmitry (4)
- Vakarelov, Dimiter (4)
- van Benthem, Johan F. A. K. (4)
- Akama, Seiki (3)
- Areces, Carlos (3)
- Arrazola Ramírez, José Ramón Enrique (3)
- Beirlaen, Mathieu (3)
- Borja Macías, Verónica (3)
- Boutilier, Craig (3)
- Cholvy, Laurence (3)
- Cialdea Mayer, Marta (3)
- Demri, Stéphane P. (3)
- Donini, Francesco M. (3)
- Fagin, Ronald (3)
- Fan, Tuan-Fang (3)
- Garcia, Pere (3)
- Golińska-Pilarek, Joanna (3)
- Governatori, Guido (3)
- Hájek, Petr (3)
- Harmanec, David (3)
- Horty, John F. (3)
- Koutras, Costas D. (3)
- Kudo, Yasuo (3)
- Legay, Axel (3)
- Lin, Bertrand I-peng (3)
- Lorini, Emiliano (3)
- Nardi, Daniele (3)
- Osorio Galindo, Mauricio (3)
- Parikh, Rohit (3)
- Pascucci, Matteo (3)
- Prade, Henri M. (3)
- Rodríguez, Ricardo Oscar (3)
- Sardar, Masiur Rahaman (3)
- Shoham, Yoav (3)
- Steen, Alexander (3)
- Stell, John G. (3)
- Thalmann, Lars (3)
- Tinchev, Tinko (3)
- Treur, Jan (3)
- Wolter, Frank (3)
- Zakharyaschev, Michael Viktorovich (3)
- Aldini, Alessandro (2)
- Andréka, Hajnal (2)
- Apostoli, Peter John (2)
- Bauer, Sebastian S. (2)
- Bennett, Brandon (2)
- Blackburn, Patrick (2)
- Bloch, Isabelle (2)
- Bochman, Alexander (2)
- Boeva, Veselka D. (2)
- Bonevac, Daniel (2)
- Ciucci, Davide (2)
- Curzi, Gianluca (2)
- De Baets, Bernard (2)
- Delgrande, James P. (2)
- Dillon, L. K. (2)
- Doder, Dragan (2)
- and 481 more Authors
all
top 5
Serial
- Int. J. Approx. Reasoning (22)
- J. Log. Comput. (22)
- Artif. Intell. (17)
- J. Appl. Non-Class. Log. (17)
- Fundam. Inform. (17)
- J. Logic Lang. Inf. (13)
- Ann. Math. Artif. Intell. (11)
- Stud. Log. (9)
- Inf. Sci. (8)
- J. Assoc. Comput. Mach. (8)
- Theor. Comput. Sci. (8)
- Synthese (7)
- Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. (7)
- Log. J. IGPL (7)
- J. Appl. Log. (7)
- J. Autom. Reasoning (6)
- Int. J. Intell. Syst. (6)
- ACM Trans. Comput. Log. (5)
- Notre Dame J. Formal Logic (4)
- Int. J. Uncertain. Fuzziness Knowl.-Based Syst. (4)
- Log. Log. Philos. (4)
- Log. Univers. (4)
- Fuzzy Sets Syst. (3)
- Ann. Pure Appl. Logic (3)
- Bull. Pol. Acad. Sci., Math. (3)
- J. Softw. (3)
- J. Appl. Log. - IfCoLog J. Log. Appl. (3)
- Int. J. Gen. Syst. (2)
- J. Philos. Log. (2)
- Log. Anal., Nouv. Sér. (2)
- Z. Math. Logik Grundlagen Math. (2)
- Bull. Sect. Log., Univ. Łódź, Dep. Log. (2)
- Theoria, Segunda Epoca (2)
- Inf. Comput. (2)
- Int. J. Comput. Math. (2)
- J. Artif. Intell. Res. (JAIR) (2)
- Found. Sci. (2)
- Theory Pract. Log. Program. (2)
- Rev. Symb. Log. (2)
- Int. J. Man-Mach. Stud. (1)
- Ann. Sci. Math. Qué. (1)
- J. Comb. Inf. Syst. Sci. (1)
- J. Inf. Process. (1)
- J. Symb. Log. (1)
- Publ. Inst. Math., Nouv. Sér. (1)
- Theory Decis. (1)
- J. Lanzhou Univ., Nat. Sci. (1)
- J. Wuhan Univ., Nat. Sci. Ed. (1)
- J. Log. Program. (1)
- Rad. Mat. (1)
- J. Symb. Comput. (1)
- Sci. China, Ser. A (1)
- Formal Asp. Comput. (1)
- Data Knowl. Eng. (1)
- Mod. Log. (1)
- Rev. Int. Syst. (1)
- Math. Struct. Comput. Sci. (1)
- Appl. Intell. (1)
- Games Econ. Behav. (1)
- C. R. Acad. Bulg. Sci. (1)
- Arch. Math. Logic (1)
- Form. Methods Syst. Des. (1)
- Math. Log. Q. (1)
- Bull. Symb. Log. (1)
- J. IGPL (1)
- Sci. China, Ser. E (1)
- Mult.-Valued Log. (1)
- J. Univ. Sci. Technol. Beijing (Chin. Ed.) (1)
- J. Log. Algebr. Program. (1)
- J. Harbin Eng. Univ. (1)
- J. Shandong Univ., Nat. Sci. (1)
- Sci. China, Ser. F (1)
- Camb. Tracts Theor. Comput. Sci. (1)
- Lect. Notes Comput. Sci. (1)
- Oxf. Logic Guides (1)
- Trends Log. Stud. Log. Libr. (1)
- Adv. Log. (1)
- Log. Methods Comput. Sci. (1)
- Ann. Fuzzy Math. Inform. (1)
- Log. Issled. (1)
- J. Sib. Fed. Univ., Math. Phys. (1)
- Stud. Univers. Log. (1)
all
top 5
Year of Publication
- 2024 (1)
- 2023 (14)
- 2022 (6)
- 2021 (20)
- 2020 (15)
- 2019 (9)
- 2018 (11)
- 2017 (8)
- 2016 (15)
- 2015 (10)
- 2014 (17)
- 2013 (12)
- 2012 (7)
- 2011 (9)
- 2010 (9)
- 2009 (11)
- 2008 (12)
- 2007 (8)
- 2006 (12)
- 2005 (17)
- 2004 (11)
- 2003 (9)
- 2002 (17)
- 2001 (12)
- 2000 (14)
- 1999 (21)
- 1998 (15)
- 1997 (21)
- 1996 (25)
- 1995 (11)
- 1994 (11)
- 1993 (9)
- 1992 (10)
- 1991 (24)
- 1990 (4)
- 1989 (10)
- 1988 (14)
- 1987 (6)
- 1986 (2)
- 1985 (3)
- 1984 (2)
- 1983 (1)
- 1982 (2)
- 1980 (2)
- 1979 (2)
all
top 3
Software
- Isabelle/HOL (9)
- E Theorem Prover (6)
- Nitpick (6)
- Satallax (4)
- TPTP (4)
- Archive Formal Proofs (3)
- GOLOG (3)
- KL-ONE (3)
- LEO-II (3)
- LoTREC (3)
- Sledgehammer (3)
- TPS (3)
- embed_modal (3)
- Coq (2)
- ETPS (2)
- GoedelGod (2)
- LegalRuleML (2)
- Leo (2)
- Leo-III (2)
- LeoPARD (2)
- MAVEN (2)
- MetTeL (2)
- Metis_ (2)
- OTTER (2)
- PLM (2)
- PRISM (2)
- PVS (2)
- TABLEAUX (2)
- iProver (2)
- ALF (1)
- ARA (1)
- ASSAT (1)
- ASTRA (1)
- Agda (1)
- AgentSpeak (1)
- ArgoCLP (1)
- CSLLean (1)
- CVC4 (1)
- DELORES (1)
- DISCOUNT (1)
- DR-Prolog (1)
- Easychair (1)
- FMLtoHOL (1)
- FaCT++ (1)
- Fuzzydl (1)
- GitHub (1)
- HARP (1)
- HOL (1)
- HOL Light (1)
- HyLoRes (1)
- InKreSAT (1)
- Jason (1)
- KQML (1)
- KtSeqC (1)
- LEDA (1)
- Lean (1)
- LogiKEy (1)
- Lucid (1)
- METATEM (1)
- ML (1)
- MNiBLoS (1)
- MSPASS (1)
- MaGIC (1)
- Mace4 (1)
- Minlog (1)
- MleanCoP (1)
- ModLeanTAP (1)
- ProMoVer (1)
- Prolog (1)
- Prover9 (1)
- Ptolemy (1)
- QMLTP (1)
- Qu-Prolog (1)
- RALL (1)
- RelView (1)
- RuleML (1)
- SCOTT (1)
- SICStus (1)
- SMT-LIB (1)
- SPASS (1)
- Sibyl (1)
- Smodels (1)
- Spartacus (1)
- THF0 (1)
- TRP++ (1)
- VAMPIRE (1)
- XPath (1)
- kepler98 (1)
- swrl (1)
- z3 (1)
