Zobrazeno 1 - 10
of 101
pro vyhledávání: '"Logique modale"'
Autor:
Viéville, Thierry, Mercier, Chloé
Publikováno v:
RR-9493, Inria & Labri, Univ. Bordeaux. 2022, pp.20
In this technical note, we develop a belief representation that generalizes the vanillapossibility theory, extending it to a bi-dimensional representation where randomness is taken intoaccount. This way, we revisit and extend the usual quantitative i
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______165::d47e1728d4e0be7c340b71cbd2965cd8
https://inria.hal.science/hal-03886219
https://inria.hal.science/hal-03886219
Autor:
Lucas, Christophe
Publikováno v:
General Mathematics [math.GM]. Ecole normale supérieure de lyon-ENS LYON, 2022. English. ⟨NNT : 2022ENSL0009⟩
He focus of this thesis is to design a hypersequent calculus called HMR for Riesz modal logic, or equivalently, for the equational theory of modal Riesz spaces. It is part of a line of research aiming to provide a structural proof system for well–k
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::9777c826c2fca8ce9c6a6f0ebd5c1e7e
https://theses.hal.science/tel-03886259
https://theses.hal.science/tel-03886259
Autor:
Fontaine, Laurent
Publikováno v:
L'Homme, 2007 Oct 01(184), 131-153.
Externí odkaz:
https://www.jstor.org/stable/25133721
Autor:
Rostamigiv, Maryam
Publikováno v:
Logic in Computer Science [cs.LO]. Université Toulouse III-Paul Sabatier, 2020. English
In this thesis, we shall investigate the unification problem in ordinary modal logics, fusions of two modal logics, and multi-modal epistemic logics. With respect to a propositional logic L, given a formula A, we have to find substitutions s such tha
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::e73603412d73ae1aa26ac20d5c54a93b
https://theses.hal.science/tel-03341556
https://theses.hal.science/tel-03341556
Autor:
Dellidj, Samir
Publikováno v:
Philosophie. 2021
This thesis explores the notion of possibility to build it on a non-circular fashion. This non-circular possibility is sought through David Lewis’s modal realisme and his possible worlds semantics which assimilate possibility and reality. This theo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::3ea5581eeba76e7c04a368ed4cd83dfd
https://dumas.ccsd.cnrs.fr/dumas-03356940/file/DELLIDJ_Samir_M1_philosophie.pdf
https://dumas.ccsd.cnrs.fr/dumas-03356940/file/DELLIDJ_Samir_M1_philosophie.pdf
Publikováno v:
Proceedings of the 35th AAAI Conference on Artificial Intelligence
35th AAAI Conference on Artificial Intelligence (AAAI 2021)
35th AAAI Conference on Artificial Intelligence (AAAI 2021), AAAI : Association for the Advancement of Artificial Intelligence, Feb 2021, Hong Kong (virtual), China
35th AAAI Conference on Artificial Intelligence (AAAI 2021)
35th AAAI Conference on Artificial Intelligence (AAAI 2021), AAAI : Association for the Advancement of Artificial Intelligence, Feb 2021, Hong Kong (virtual), China
International audience; We present a novel approach to cognitive planning, i.e., an agent's planning aimed at changing the cognitive attitudes of another agent including her beliefs and intentions. We encode the cognitive planning problem in an epist
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7777ae83f41f478c59acd0a9ffcee60e
https://hal.archives-ouvertes.fr/hal-03091086/file/AAAI_2021_post_proceedings_20210327_HAL.pdf
https://hal.archives-ouvertes.fr/hal-03091086/file/AAAI_2021_post_proceedings_20210327_HAL.pdf
Autor:
Gauld, Christophe
La logique modale a primitivement interroge les concepts de nécessité, de possibilité, et de contingence. La sémantique des mondes possibles s'est rapidement retrouvée au centre des préoccupations puisqu'elle offrait une base solide pour develo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6651fab933a4b2760fa4cce478780287
https://hal.archives-ouvertes.fr/hal-02084687/file/Mondes_impossibles.pdf
https://hal.archives-ouvertes.fr/hal-02084687/file/Mondes_impossibles.pdf
Cet article présente MOLOSS, un solveur pour la satisfiabilité en logique modale. MOLOSS implémente et étend le travail théorique d'Aceres et al. dans lequel les auteurs définissent une procédure de décision basée SMT pour les logiques modal
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::fd025d094f76092ac9da815c0057ce4c
https://oatao.univ-toulouse.fr/20094/
https://oatao.univ-toulouse.fr/20094/
Autor:
Reiter, Fabian
Publikováno v:
Formal Languages and Automata Theory [cs.FL]. Université Paris Diderot; Université Sorbonne Paris Cité, 2017. English
116 pages; Distributed automata are finite-state machines that operate on finite directed graphs. Acting as synchronous distributed algorithms, they use their input graph as a network in which identical processors communicate for a possibly infinite
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::70f6f47d51f07a65f12548c6ecc356b6
https://hal.archives-ouvertes.fr/tel-01827435/document
https://hal.archives-ouvertes.fr/tel-01827435/document
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.