Skip to Main content Skip to Navigation

Tâches de raisonnement en logiques hybrides

Guillaume Hoffmann 1
1 TALARIS - Natural Language Processing: representation, inference and semantics
Inria Nancy - Grand Est, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : Modal logics are logics enabling representing and infering knowledge. Hybrid logic is an extension of the basic modal logic that contains nominals which enable to refer to a single individual or world of the model. In this thesis, we present several tableaux-based algorithms for expressive hybrid logics. We also present an implementation of these calculi and we describe correctness and performance tests we carried out, and the tools that enable these. Moreover, we study a particular family of logics related to hybrid logics: logics with counting operators. We investigate previous results, and study the complexity and decidability of certain of these languages.
Complete list of metadatas

Cited literature [141 references]  Display  Hide  Download
Contributor : Guillaume Hoffmann <>
Submitted on : Wednesday, December 1, 2010 - 12:26:12 AM
Last modification on : Thursday, March 5, 2020 - 4:53:21 PM
Long-term archiving on: : Friday, October 26, 2012 - 5:10:32 PM


  • HAL Id : tel-01746342, version 2



Guillaume Hoffmann. Tâches de raisonnement en logiques hybrides. Mathématiques [math]. Université Henri Poincaré - Nancy 1, 2010. Français. ⟨NNT : 2010NAN10110⟩. ⟨tel-01746342v2⟩



Record views


Files downloads