×

LoTREC

swMATH ID: 7684
Software Authors: Gasquet, Olivier; Herzig, Andreas; Longin, Dominique; Sahade, Mohamad
Description: LoTREC: Logical tableaux research engineering companion. In this paper we describe a generic tableaux system for building models or counter-models and testing satisfiability of formulas in modal and description logics. This system is called LoTREC2.0. It is characterized by a high-level language for tableau rules and strategies. It aims at covering all Kripke-semantic based logics. It is implemented in Java and characterized by a user-friendly graphical interface. It can be used as a learning system for possible worlds semantics and tableaux based proof methods.
Homepage: http://www.irit.fr/Lotrec/
Related Software: PVS; MetTeL; MSPASS; SPASS; E Theorem Prover; MleanCoP; embed_modal; TWB; QMLTP; TPTP; InKreSAT; Leo-III; TABLEAUX; Lotrecscheme; Imogen; ileanCoP; STRIP; ILTP; Cool; Racer
Cited in: 29 Documents
all top 5

Cited by 68 Authors

5 Herzig, Andreas
4 Gasquet, Olivier
4 Schwarzentruber, François
3 Goré, Rajeev Prabhakar
3 Muñoz-Velasco, Emilio
3 Nalon, Cláudia
2 Bresolin, Davide
2 Dixon, Clare
2 Fariñas del Cerro, Luis
2 Golińska-Pilarek, Joanna
2 Hustadt, Ullrich
2 Longin, Dominique
2 Montanari, Angelo
2 Papacchini, Fabio
2 Sahade, Mohamad
2 Sala, Pietro
2 Schmidt, Renate A.
2 Sciavicco, Guido
2 Tishkovsky, Dmitry
1 Abate, Pietro
1 Alviano, Mario
1 Aucher, Guillaume
1 Baral, Chitta R.
1 Baryannis, George
1 Batsakis, Sotiris
1 Benzmüller, Christoph Ewald
1 Broersen, Jan M.
1 Cranefield, Stephen
1 Della Monica, Dario
1 Dyckhoff, Roy
1 Elrakaiby, Yehia
1 Fauthoux, David
1 Ferrari, Mauro
1 Fiorentini, Camillo
1 Fiorino, Guido
1 Formisano, Andrea
1 Gabbay, Dov M.
1 Gelfond, Gregory
1 Goranko, Valentin F.
1 Grossi, Davide
1 Holen, Bjarne
1 Johnsen, Einar Broch
1 Khodadadi, Mohammad
1 Leitsch, Alexander
1 Lorini, Emiliano
1 Maubert, Bastien
1 Mora-Bonilla, Angel
1 Mora, Angel
1 Nguyen, Linh Anh
1 Nicolosi Asmundo, Marianna
1 Nipkow, Tobias
1 Parent, Xavier
1 Pattinson, Dirk
1 Pelegrín, Mercedes
1 Pontelli, Enrico
1 Said, Bilal
1 Scholl, Tobias
1 Son, Tran Cao
1 Stan, Ionel Eduard
1 Steen, Alexander
1 Su, Ezgi Iraz
1 Sutcliffe, Geoff
1 Tummolini, Luca
1 Turrini, Paolo
1 van der Torre, Leendert W. N.
1 Waaler, Arild
1 Zamansky, Anna
1 Zohar, Yoni
all top 5

Cited in 12 Serials

2 Theory and Practice of Logic Programming
1 Artificial Intelligence
1 Journal of Automated Reasoning
1 Journal of Logic and Computation
1 International Journal of Computer Mathematics
1 Journal of Applied Non-Classical Logics
1 Logic Journal of the IGPL
1 Fundamenta Informaticae
1 Journal of Applied Logic
1 Lecture Notes in Computer Science
1 Logical Methods in Computer Science
1 Studies in Universal Logic

Cited in 4 Fields

27 Computer science (68-XX)
20 Mathematical logic and foundations (03-XX)
1 General and overarching topics; collections (00-XX)
1 Combinatorics (05-XX)

Citations by Year