Skip to Main content Skip to Navigation
Theses

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

https://tel.archives-ouvertes.fr/tel-01746342
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

Identifiers

  • HAL Id : tel-01746342, version 2

Collections

Citation

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

Share

Metrics

Record views

823

Files downloads

599