Lotrec: a generic tableau prover for modal and description logics - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2001

Lotrec: a generic tableau prover for modal and description logics

Domaines

Intelligence artificielle [cs.AI] Logique en informatique [cs.LO]
Fichier principal
Vignette du fichier
2001_Farinas_et_al_IJCAR.pdf (132.6 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Documentation IRIT  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-03523405

Soumis le : mercredi 12 janvier 2022-18:20:12

Dernière modification le : mardi 19 mars 2024-09:34:06

Archivage à long terme le : mercredi 13 avril 2022-23:34:02

Télécharger pour visualiser

Dates et versions

hal-03523405 , version 1 (12-01-2022)

Identifiants

  • HAL Id : hal-03523405 , version 1

Citer

Luis Fariñas del Cerro, David Fauthoux, Olivier Gasquet, Andreas Herzig, Dominique Longin, et al.. Lotrec: a generic tableau prover for modal and description logics. International Joint Conference on Automated Reasoning (IJCAR 2001), Jun 2001, Siena, Italy. pp.453-458. ⟨hal-03523405⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-TLSE2 CNRS UT1-CAPITOLE IRIT IRIT-LILAC IRIT-IA IRIT-CNRS IRIT-UT3 TOULOUSE-INP UNIV-UT3 UT3-TOULOUSEINP
55 Consultations
300 Téléchargements

Partager

Gmail Facebook X LinkedIn More