Publications de Philippe BALBIANI
Philippe Balbiani, Cigdem Gencer
Undecidability of admissibility in the product of two Alt logics
Logic Journal of the IGPL, 2023, ⟨10.1093/jigpal/jzad021⟩
Philippe Balbiani, Quentin Gougeon
Projective relative unification through duality
Journal of Logic and Computation, 2023, ⟨10.1093/logcom/exad058⟩
Quentin Gougeon, Philippe Balbiani
Projective relative unification through duality
Journal of Logic and Computation, 2023, pp.1–21. ⟨10.1093/logcom/exad058⟩
Philippe Balbiani, Cigdem Gencer
Computability of admissibility in the product of two Alt logics
Logic Journal of the IGPL, In press
Philippe Balbiani, Hans van Ditmarsch, Saúl Fernández González
Asynchronous Announcements
ACM Transactions on Computational Logic, 2022, 23 (2, article 10), pp.1-38. ⟨10.1145/3481806⟩
Majid Alizadeh, Mohammad Ardeshir, Philippe Balbiani, Mojtaba Mojtahedi
Unification types in Euclidean modal logics
Logic Journal of the IGPL, 2022, pp.jzab036. ⟨10.1093/jigpal/jzab036⟩
Philippe Balbiani, Cigdem Gencer, Maryam Rostamigiv, Tinko Tinchev
Remarks about the unification types of some locally tabular normal modal logics
Logic Journal of the IGPL, 2022, ⟨10.1093/jigpal/jzab033⟩
Philippe Balbiani, Cigdem Gencer, Maryam Rostamigiv, Tinko Tinchev
About the unification type of K + Box Box false
Annals of Mathematics and Artificial Intelligence, 2021, 90, pp.481-497
Philippe Balbiani, Joseph Boudou, Martín Diéguez, David Fernández-Duque
Bisimulations for intuitionistic temporal logics (2021)
Journal of Applied Logics – IfCoLoG Journal of Logics and their Applications, 2021, 8 (8), pp.2265-2285
Philippe Balbiani, Cigdem Gencer, Maryam Rostamigiv
About the unification type of fusions of modal logics
Journal of Applied Logics – IfCoLoG Journal of Logics and their Applications, In press
Philippe Balbiani, Mojtaba Mojtahedi
Unification with parameters in the implication fragment of Classical Propositional Logic
Logic Journal of the IGPL, 2021, ⟨10.1093/jigpal/jzab014⟩
Philippe Balbiani, David Fernández Duque, Andreas Herzig, Petar Iliev
Frame-validity games and lower bounds on the complexity of modal axioms
Logic Journal of the IGPL, 2020, 30 (1), ⟨10.1093/jigpal/jzaa068⟩
Philippe Balbiani, Tatyana Ivanova
Relational Representation Theorems for Extended Contact Algebras
Studia Logica, 2020, 109, pp.701-723. ⟨10.1007/s11225-020-09923-0⟩
Philippe Balbiani, Joseph Boudou, Martin Dieguez, David Fernández-Duque
Bisimulations for intuitionistic temporal logics (2020)
Electronic Notes in Theoretical Computer Science, 2020
Philippe Balbiani, Joseph Boudou, Martin Dieguez, David Fernández Duque
Intuitionistic linear temporal logics
ACM Transactions on Computational Logic, 2019, 21 (2), pp.0. ⟨10.1145/3365833⟩
Philippe Balbiani, Cigdem Gencer
About the unification type of modal logics between KB and KTB
Studia Logica, 2019, 108, pp.941–966. ⟨10.1007/s11225-019-09883-0⟩
Philippe Balbiani, Joseph Boudou
Axiomatization and computability of a variant of iteration-free PDL with fork
Journal of Logic and Algebraic Methods in Programming, 2019, Special issue: SI: DaLí-Dynamic Logics, new trends and applications – Selected contributions, 108, pp.47-68. ⟨10.1016/j.jlamp.2019.06.004⟩
Philippe Balbiani, Martin Dieguez, Luis Fariñas del Cerro
Setting the Basis for Here and There Modal Logics
Journal of Applied Logics – IfCoLoG Journal of Logics and their Applications, 2019, 6 (7), pp.1475-1500
Philippe Balbiani, David Fernández-Duque, Emiliano Lorini
The Dynamics of Epistemic Attitudes in Resource-Bounded Agents
Studia Logica, 2019, Special Issue: 40 years of FDE, 107, pp.457-488. ⟨10.1007/s11225-018-9798-4⟩
Philippe Balbiani, Cigdem Gencer, Zafer Özdemir
Two decision problems in Contact Logics
Logic Journal of the IGPL, 2019, 27 (1), pp.8-32. ⟨10.1093/jigpal/jzy016⟩
Remarks about the unification type of several non-symmetric non-transitive modal logics
Logic Journal of the IGPL, 2018, 27 (5), pp.639-658. ⟨10.1093/jigpal/jzy078⟩
Philippe Balbiani, Tinko Tinchev
Elementary unification in modal logic KD45
IfColog Journal of Logics and their Applications (FLAP), 2018, 5 (1), pp.301-317
Philippe Balbiani, Dimiter Georgiev, Tinko Tinchev
Modal correspondence theory in the class of all Euclidean frames
Journal of Logic and Computation, 2017, 28 (1), pp.119-131. ⟨10.1093/logcom/exx033⟩
Philippe Balbiani, Cigdem Gencer
Unification in epistemic logics
Journal of Applied Non-Classical Logics, 2017, 27 (1-2), pp.91-105. ⟨10.1080/11663081.2017.1368845⟩
Philippe Balbiani, Tinko Tinchev
Undecidable problems for modal definability
Journal of Logic and Computation, 2017, 27 (3), pp.901-920. ⟨10.1093/logcom/exv094⟩
Philippe Balbiani, Cigdem Gencer
KD is nullary
Journal of Applied Non-Classical Logics, 2017, 27 (3-4), pp.196-205. ⟨10.1080/11663081.2018.1428000⟩
Reasoning about negligibility and proximity in the set of all hyperreals
Journal of Applied Logic, 2016, 16, pp.14-36. ⟨10.1016/j.jal.2016.04.002⟩
Philippe Balbiani, Joseph Boudou
Iteration-free PDL with storing, recovering and parallel composition: a complete axiomatization
Journal of Logic and Computation, 2015, 28 – 2018 (4), pp.705-731. ⟨10.1093/logcom/exv035⟩
Putting right the wording and the proof of the Truth Lemma for APAL
Journal of Applied Non-Classical Logics, 2015, 25 – 2015 (1), pp.2-19. ⟨10.1080/11663081.2015.1011489⟩
Philippe Balbiani, Hans van Ditmarsch
A simple proof of the completeness of APAL
Studies in Logic, 2015, 8, pp.65-78
Philippe Balbiani, Tinko Tinchev
Definability and canonicity for Boolean logic with a binary relation
Fundamenta Informaticae, 2014, vol. 129 (n° 4), pp. 301-327. ⟨10.3233/FI-2014-973⟩
Philippe Balbiani, Olivier Gasquet, François Schwarzentruber
Agents that look at one another
Dans : Logic Journal of the IGPL, Oxford University Press, Numéro spécial :Combined Special Issue: Best papers of FAMAS 2007 and FAMAS 2009, Vol. 21 N. 3, p. 438-467, juin 2013.
Natasha Alechina, Philippe Balbiani, Dmitry Shkatov
Modal logics for reasoning about infinite unions and intersections of binary relations
Dans : Journal of Applied Non-Classical Logics (JANCL), Taylor & Francis Group, Vol. 22, p. 275-294, 2012.
Deciding the word problem in pure double Boolean algebras
Dans : Journal of Applied Logic, Elsevier, Vol. 10, p. 260-273, 2012.
Philippe Balbiani, Pablo Seban
Reasoning about permitted announcements
Dans : Journal of Philosophical Logic, Springer-Verlag, Heidelberg, Allemagne, Vol. 40 N. 4, p. 445-472, 2011.
Axiomatization and completeness of lexicographic products of modal logics
Dans : Journal of Applied Non-Classical Logics (JANCL), Taylor & Francis Group, Vol. 21 N. 2, p. 141-176, 2011.
Philippe Balbiani, Valentin Goranko, Guido Sciavicco
Two sorted point-interval temporal logics
Dans : Electronic Notes in Theoretical Computer Science (ENTCS), Elsevier, Vol. 278 N. 3, p. 31-45, 2011.
Philippe Balbiani, Fahima Cheikh Alili, Pierre-Cyrille Héam, Olga Kouchnarenko
Composition of Services with Constraints
Dans : Electronic Notes in Theoretical Computer Science (ENTCS), Elsevier, Vol. 263, p. 31-46, janvier 2010.
Philippe Balbiani, Tinko Tinchev
Boolean logics with relations
Dans : Journal of Logic and Algebraic Programming, Elsevier, Vol. 79 N. 8, p. 707-721, 2010.
Thomas Agotnes, Philippe Balbiani, Hans Van Ditmarsch, Pablo Seban
Group Announcement Logic
Dans : Journal of Applied Logic, Elsevier, Vol. 8 N. 1, p. 62-81, 2010.
Philippe Balbiani, Hans Van Ditmarsch, Andreas Herzig, Tiago de Lima
Tableaux for public announcement logics
Dans : Journal of Logic and Computation, Oxford University Press, Numéro spécial Special Issue on Tableaux and Analytic Proof Methods, Vol. 20 N. 1, p. 55-76, 2010.
Résumé Accès : http://www.irit.fr/~Andreas.Herzig/P/Jlc09.html
BibTeXPhilippe Balbiani, Jan Broersen, Julien Brunel
Decision procedures for a deontic logic modeling temporal inheritance of obligations
Dans : Electronic Notes in Theoretical Computer Science (ENTCS), Elsevier, Vol. 231, p. 69-89, 2009.
Guillaume Aucher, Philippe Balbiani, Luis Fariñas del Cerro, Andreas Herzig
Global and local graph modifiers
Dans : Electronic Notes in Theoretical Computer Science (ENTCS), Elsevier, Vol. 231, p. 293-307, mars 2009.
Résumé Accès : http://www.irit.fr/~Andreas.Herzig/P/Entcs09.html
BibTeXPhilippe Balbiani, Alexandru Baltag, Hans Van Ditmarsch, Andreas Herzig, Tomohiro Hoshi
Arbitrary announcement logic
Dans : Bulletin of Symbolic Logic, Association for Symbolic Logic (ASL), Vol. 14, p. 438-439, 2008.
Philippe Balbiani, Petar Iliev, Dimiter Vakarelov
A modal logic for Pawlak’s approximation spaces with rough cardinality n
Dans : Fundamenta Informaticae, IOS Press, Vol. 83, p. 451-464, 2008.
Hyper arrow logic with indiscernibility and complementarity
Dans : Journal of Applied Non-Classical Logics (JANCL), Taylor & Francis Group, Vol. 18, p. 137-152, 2008.
Philippe Balbiani, Alexandru Baltag, Hans Van Ditmarsch, Andreas Herzig, Tomohiro Hoshi, Tiago de Lima
`Knowable’ as `known after an announcement’
Dans : Review of Symbolic Logic, Cambridge University Press, Vol. 1 N. 3, p. 305-334, 2008.
Résumé Accès : http://www.irit.fr/~Andreas.Herzig/P/Tark07ArbAnn.html
BibTeXPhilippe Balbiani, Tinko Tinchev
Foreword
Dans : Journal of Applied Non-Classical Logics (JANCL), Taylor & Francis Group, Numéro spécial Special Issue, Vol. 18, p. 136-136, 2008.
Philippe Balbiani, Andreas Herzig, Nicolas Troquard
Alternative axiomatics and complexity of deliberative STIT theories
Dans : Journal of Philosophical Logic, Springer-Verlag, Heidelberg, Allemagne, Vol. 37 N. 4, p. 387-406, août 2008.
Accès : http://www.irit.fr/~Andreas.Herzig/P/Jpl08.html
BibTeXLogical approaches to deontic reasoning: from basic questions to dynamic solutions
Dans : International Journal of Intelligent Systems, Wiley, Vol. 23, p. 1021-1045, 2008.
Philippe Balbiani, Tinko Tinchev, Dimiter Vakarelov
Modal logics for region-based theories of space
Dans : Fundamenta Informaticae, IOS Press, Vol. 81, p. 29-82, 2007.
Philippe Balbiani, Dimiter Vakarelov
Arrow logic with arbitrary intersections: applications to Pawlak’s information systems
Dans : Fundamenta Informaticae, IOS Press, Vol. 75, p. 1-25, 2007.
Philippe Balbiani, Tinko Tinchev, Dimiter Vakarelov
Dynamic logics of the region-based theory of discrete spaces
Dans : Journal of Applied Non-Classical Logics (JANCL), Taylor & Francis Group, Vol. 17, p. 39-61, 2007.
Philippe Balbiani, Tinko Tinchev
Line-based affine reasoning in Euclidean plane
Dans : Journal of Applied Logic, Elsevier, Vol. 5, p. 421-434, 2007.
Philippe Balbiani, Tinko Tinchev
Definability over the class of all partitions
Dans : Journal of Logic and Computation, Oxford University Press, Vol. 16, p. 541-557, 2006.
Philippe Balbiani, Jean-Francois Condotta, Gerard Ligozat
On the consistency problem for the INDU calculus
Dans : Journal of Applied Logic, Elsevier, Vol. 4, p. 119-140, 2006.
Philippe Balbiani, Mamoun Filali
Sûreté et sécurité des systèmes d’informations et de communications: une obligation majeure
Dans : Magazine UPS, Université Paul Sabatier – Toulouse, Toulouse, Vol. 4, p. 21-21, 2005.
Foreword
Dans : Journal of Applied Non-Classical Logics (JANCL), Taylor & Francis Group, Vol. 15, p. 113-114, 2005.
Reasoning about vague concepts in the theory of property systems
Dans : Logique & Analyse, Centre National de Recherches de Logique, Belgique, Vol. 47, p. 445-460, 2004.
Philippe Balbiani, Jean-Francois Condotta, Gerard Ligozat
Le problème de la cohérence des réseaux de contraintes du formalisme INDU
Dans : Journal électronique d’intelligence artificielle, Vol. 2, p. 1-14, 2004.
Philippe Balbiani, Dimiter Vakarelov
Dynamic extensions of arrow logic
Dans : Annals of Pure and Applied Logics, Elsevier, Vol. 127, p. 1-15, 2004.
Anas Abou El Kalam, Rania El Baida, Philippe Balbiani, Salem Benferhat, Al. Et
ORBAC : un modèle de contrôle d’accès basé sur les organisations
Dans : Cahiers francophones de la recherche en sécurité de l’information, Vol. 2, p. 30-40, 2003.
Eliminating unorthodox derivation rules in an axiom system for iteration-free PDL with intersection
Dans : Fundamenta Informaticae, IOS Press, Vol. 56, p. 211-242, 2003.
Philippe Balbiani, Dimiter Vakarelov
PDL with intersection of programs: a complete axiomatization
Dans : Journal of Applied Non-Classical Logics (JANCL), Taylor & Francis Group, Vol. 13, p. 231-276, 2003.
Philippe Balbiani, Salem Benferhat
Dossier Temps, espace et évolutif
Dans : Bulletin de l’Afia, Vol. 51, p. 30-40, 2002.
Philippe Balbiani, Jean-Francois Condotta, Luis Fariñas del Cerro
Tractability results in the block algebra
Dans : Journal of Logic and Computation, Vol. 12, p. 885-909, 2002.
Philippe Balbiani, Jean-Francois Condotta
Spatial reasoning about points in a multidimensional setting
Dans : Applied Intelligence, Vol. 7, p. 221-238, 2002.
Philippe Balbiani, Valentin Goranko
Modal logics for parallelism, orthogonality, and affine geometries
Dans : Journal of Applied Non-Classical Logics, Vol. 12, p. 365-397, 2002.
Foreword
Dans : Journal of Applied Non-Classical Logics, Vol. 12, p. 317-318, 2002.
Philippe Balbiani, Dimiter Vakarelov
A modal logic for indiscernibility and complementarity in information systems
Dans : Fundamenta Informaticæ, Vol. 50, p. 1-21, 2002.
A new proof of completeness for a relative modal logic with composition and intersection
Dans : Journal of Applied Non-Classical Logics, Vol. 11, p. 269-280, 2001.
Philippe Balbiani, Dimiter Vakarelov
Iteration-free PDL with intersection: a complete axiomatization
Dans : Fundamenta Informaticae, Vol. 45, p. 1-22, 2001.
Inequality without irreflexivity
Dans : Journal of Applied Non-Classical Logics, Vol. 9, p. 523-534, 1999.
Philippe Balbiani, Ewa Orlowska
A hierarchy of modal logics with relative accessibility relations
Dans : Journal of Applied Non-Classical Logics, Vol. 9, p. 303-328, 1999.
Philippe Balbiani, Luis Fariñas del Cerro
Complete axiomatization of a relative modal logic with composition and intersection
Dans : Journal of Applied Non-Classical Logics, Vol. 8, p. 325-335, décembre 1998.
The modal multilogic of geometry
Dans : Journal of Applied Non-Classical Logics, Vol. 8, p. 259-281, 1998.
Mecanisation de la geometrie : incidence et orthogonalite
Dans : Revue d’intelligence artificielle, Vol. 11, p. 179-211, 1997.
Philippe Balbiani, Luis Fariñas del Cerro, Tinko Tinchev, Dimiter Vakarelov
Modal logics for incidence geometries
Dans : Journal of Logic and Computation, Oxford University Press, Vol. 7, p. 59-78, 1997.
Philippe Balbiani, Luis Fariñas del Cerro
A relational model of movement
Dans : Logique et Analyse, Vol. 155-156, p. 369-378, 1996.
Philippe Balbiani, Andreas Herzig
A translation from the modal logic of provability into K4
Dans : Journal of Applied Non-Classical Logics, Vol. 4, p. 73-77, 1994.
A modal semantics of negation in logic programming
Dans : Fundamenta Informaticæ, Vol. 16, p. 231-262, 1992.
Corrigendum
Dans : Journal of Logic and Computation, Vol. 1, p. 569-570, 1991.
Modal logic and negation as failure
Dans : Journal of Logic and Computation, Vol. 1, p. 331-356, 1991.
Philippe Balbiani, Han Gao, Cigdem Gencer, Nicola Olivetti
A Natural Intuitionistic Modal Logic: Axiomatization and Bi-Nested Calculus
32nd EACSL Annual Conference on Computer Science Logic (CSL 2024), Feb 2024, Naples, Italy. pp.1–21, ⟨10.4230/LIPIcs.CSL.2024.13⟩
Philippe Balbiani, Quentin Gougeon
Projective unification through duality
Advances in Modal Logic (AiML 2022), Aug 2022, Rennes, France
Philippe Balbiani, Martín Diéguez, Cigdem Gencer
Advanced languages of terms for ontologies
35th International Workshop on Description Logics (DL 2022) @ FLOC 2022: Fedrerated Logic Conference, Aug 2022, Haifa, Israel
Philippe Balbiani, Saúl Fernández González
Parametrized modal logic I: an introduction
Advances in Modal Logic (AiML 2022), IRISA (Institut de Recherche en Informatique et Systèmes Aléatoires), Jul 2022, Rennes, France
Parametrized Modal Logic II: The Unidimensional Case
4th International Workshop on Dynamic Logic. New Trends and Applications (DaLí 2022), 2022, Haïfa, Israel. pp.17 – 36, ⟨10.1007/978-3-031-26622-5_2⟩
Remarks about roles and entitlements
Journées d’Intelligence Artificielle Fondamentale (JIAF 2021), Zied Bouraoui; Sylvie Doutre, Jul 2021, Bordeaux (virtual), France
Philippe Balbiani, Martín Diéguez, David Fernández-Duque
Some constructive variants of S4 with the finite model property
36th Annual Symposium on Logic in Computer Science (LICS 2021), Jun 2021, Rome (on line), Italy. ⟨10.1109/LICS52264.2021.9470643⟩
Philippe Balbiani, Hans van Ditmarsch, Saúl Fernández González
From Public Announcements to Asynchronous Announcements
24th European Conference on Artificial Intelligence (ECAI 2020), European Association for Artificial Intelligence (EurAI); Spanish AI Society (AEPIA); Intelligent Systems Group (GSI) and the Research Center on Intelligent Technologies of the University of Santiago de Compostela (CiTIUS), Aug 2020, Santiago de Compostela, Spain. pp.75 – 82, ⟨10.3233/FAIA200078⟩
Philippe Balbiani, Saúl Fernández González
Indexed Frames and Hybrid Logics
International Conference on Advances in Modal Logic (AiML 2020), University of Helsinki, Finland, Aug 2020, Helsinki, Finland. pp.56-72
Philippe Balbiani, Hans van Ditmarsch, Saúl Fernández González
Quantifying over Asynchronous Information Change
International Conference on Advances in Modal Logic (AiML 2020), University of Helsinki, Finland, Aug 2020, Helsinki, Finland. pp.33-52
Philippe Balbiani, Cigdem Gencer, Maryam Rostamigiv, Tinko Tinchev
About the unification type of K + [][]⊥
34th International Workshop on Unification (UNIF 2020), Jun 2020, Paris, France. pp.481-497, ⟨10.1007/s10472-021-09768-w⟩
Philippe Balbiani, Tinko Tinchev
Decidable and undecidable problems for first-order definability and modal definability
Thirteenth International Tbilisi Symposium on Language, Logic and Computation (TbiLLC 2019), Tbilisi State University; Georgian Academy of Sciences; Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam; Collaborative Research Center 991 of the University of Düsseldorf, Sep 2019, Batoumi, Georgia. pp.214-236, ⟨10.1007/978-3-030-98479-3_11⟩
Philippe Balbiani, Cigdem Gencer, Zafer Özdemir
Modal logics with a restricted universal modality
13th International Tbilisi Symposium on Language, Logic and Computation (TbiLLC 2019), Centre for Language, Logic and Speech at the Tbilisi State University; Georgian Academy of Sciences; Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam; Collaborative Research Center 991 of the University of Düsseldorf, Sep 2019, Batoumi, Georgia
Philippe Balbiani, Levan Uridia
Iterated structures are not modally definable
13th International Tbilisi Symposium on Language, Logic and Computation (TbiLLC 2019), Centre for Language, Logic and Speech at the Tbilisi State University; Georgian Academy of Sciences; Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam; Collaborative Research Center 991 of the University of Düsseldorf, Sep 2019, Batoumi, Georgia
Philippe Balbiani, David Fernández-Duque, Andreas Herzig, Emiliano Lorini
Stratified evidence logics
28th International Joint Conference on Artificial Intelligence (IJCAI 2019), Aug 2019, Macao, China. pp.1523-1529, ⟨10.24963/ijcai.2019/211⟩
Philippe Balbiani, Tinko Tinchev
Computability of contact logics with measure
Logic Colloquium 2019, Aug 2019, Prague, Czech Republic
Philippe Balbiani, Cigdem Gencer, Mojtaba Mojtahedi, Maryam Rostamigiv, Tinko Tinchev
A gentle introduction to unification in modal logics
13èmes Journées d’Intelligence Artificielle Fondamentale (JIAF 2019), Jul 2019, Toulouse, France
Unification in modal logic
8th Indian Conference on Logic and Its Applications (ICLA 2019), Mar 2019, Delhi, India. pp.1-5, ⟨10.1007/978-3-662-58771-3_1⟩
Philippe Balbiani, Martín Diéguez
Here and There modal logic with dual implication
12th International Conference Advances in Modal Logic (AiML 2018), Aug 2018, Berne, Switzerland. pp.1-20
Philippe Balbiani, David Fernández-Duque, Andreas Herzig, Petar Iliev
Frame-validity games and absolute minimality of modal axioms
12th International Conference on Advances in Modal Logic (AiML 2018), Aug 2018, Berne, Switzerland. pp.83-102
Philippe Balbiani, Martin Dieguez
Here and There modal logic with dual implication
12th Advances in Modal Logic conference (AiML 2018), Aug 2018, Bern, Switzerland. pp.63-82
Spatio-epistemic logics: when knowledge meets geometry (ESSLLI 2018, Sofia, Bulgaria)
30th European Summer School on Logic, Language and Information (ESSLLI 2018), Association for Logic, Language and Information (FoLLI); Association for Computational Linguistics, Bulgaria, Aug 2018, Sofia, Bulgaria
About contingency and ignorance (Workshop Doxastic Agency & Epistemic Logic 2017)
Workshop Doxastic Agency & Epistemic Logic 2017, Dec 2017, Bochum, Germany
Undecidable problems for modal definability (Workshop 2017)
Workshop on Topological Approaches in Epistemic Logic 2017, Oct 2017, Amsterdam, Netherlands
Philippe Balbiani, Cigdem Gencer
Finitariness of elementary unification in Boolean Region Connection Calculus
11th International Symposium on Frontiers of Combining Systems (FroCoS 2017), Sep 2017, Brasilia, Brazil. pp.281-297, ⟨10.1007/978-3-319-66167-4_16⟩
Philippe Balbiani, Joseph Boudou
Axiomatization and Computability of a Variant of Iteration-Free PDL with Fork
1st International Workshop Dynamic Logic. New Trends and Applications (DALI 2017), Sep 2017, Brasilia, Brazil. pp.17-34, ⟨10.1007/978-3-319-73579-5_2⟩
Philippe Balbiani, Joseph Boudou, Martin Dieguez, David Fernández-Duque
Bisimulations for intuitionistic temporal logics
7th Workshop on Intuitionistic Modal Logic and Applications (IMLA 2017), Jul 2017, Toulouse, France. ⟨10.48550/arXiv.1803.05078⟩
Philippe Balbiani, Jean-François Condotta
Un modèle pour raisonner sur les relations entre régions indéterminées
11èmes Journées d’Intelligence Artificielle Fondamentale (IAF @ PFIA 2017), Jul 2017, Caen, France
Philippe Balbiani, David Fernández-Duque, Emiliano Lorini
Exploring the Bidimensional Space: a Dynamic Logic Point of View
16th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2017), International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), May 2017, Sao Paulo, Brazil. pp.132-140
Philippe Balbiani, Cigdem Gencer
Contact Logic is finitary for unification with constants
International Workshop on Logic and Cognition (WOLC 2016), Dec 2016, Canton, China
About the temporal logic of the lexicographic products of unbounded dense linear orders: a new study of its computability
International Workshop on Logic and Cognition (WOLC 2016), Dec 2016, Canton, China
Philippe Balbiani, Martin Dieguez
Temporal Here and There
15th European Conference on Logics in Artificial Intelligence (JELIA 2016), Nov 2016, Larnaca, Cyprus. pp.81-96, ⟨10.1007/978-3-319-48758-8_6⟩
Philippe Balbiani, David Pearce, Levan Uridia
On logics of group belief in structured coalitions
15th European Conference On Logics In Artificial Intelligence (JELIA 2016), Nov 2016, Larnaca, Cyprus. pp.97-111, ⟨10.1007/978-3-319-48758-8_7⟩
Some remarks about intuitionistic modal logics (Conference on Mathematical Logic , Bulgaria, 2016)
Conference on Mathematical Logic dedicated to the 80th anniversary of Dimiter Skordev (2016), Oct 2016, Gyolechitsa, Bulgaria
An Introduction to Subset Space Logics
Mini-Workshop on Modal Logic and its Applications @ 1st series of meetings on Logic and its Applications (2016), Sep 2016, Istanbul, Turkey
Formal concept analysis: from formal contexts to modal logics and return
Mini-Workshop on Modal Logic and its Applications @ 1st series of meetings on Logic and its Applications (2016), Sep 2016, Istanbul, Turkey
Solving logical equations (Workshop on Modal Logic and its Applications in Computer Science 2016)
Workshop on Modal Logic and its Applications in Computer Science 2016, College of Sciences of the University of Tehran, Sep 2016, Tehran, Iran
Philippe Balbiani, David Fernández-Duque
Axiomatizing the lexicographic products of modal logics with linear temporal logic
11th conference on Advances in Modal logic (AiML 2016), Aug 2016, Budapest, Hungary. pp.78-96
Philippe Balbiani, Hans van Ditmarsch, Andreas Herzig
Before announcement
11th conference on Advances in Modal logic (AiML 2016), Aug 2016, Budapest, Hungary. pp.58-77
Philippe Balbiani, Didier Galmiche
About intuitionistic public announcement logic
11th conference on Advances in Modal logic (AiML 2016), Aug 2016, Budapest, Hungary. pp.97-116
Philippe Balbiani, Tinko Tinchev
Unification in modal logic Alt1
11th conference on Advances in Modal logic (AiML 2016), Aug 2016, Budapest, Hungary. pp.117-134
Solving equations in pure double Boolean algebras
30th International Workshop on Unification (UNIF 2016), Jun 2016, Porto, Portugal. pp.13-18
Philippe Balbiani, David Fernández-Duque, Emiliano Lorini
A Logical Theory of Belief Dynamics for Resource-Bounded Agents
15th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2016), IFAAMAS: International Foundation for Autonomous Agents and Multiagent Systems; SIGAI: ACM’s Special Interest Group on Artificial Intelligence, May 2016, Singapore, Singapore. pp.644-652
Philippe Balbiani, Joseph Boudou
Tableaux methods for propositional dynamic logics with separating parallel composition
International Conference on Automated Deduction (CADE 2015), Aug 2015, Berlin, Germany. pp.539-554
Philippe Balbiani, Tinko Tinchev
Definability and computability for PRSPDL
10th conference on Advances in Modal logic (AiML 2014), Aug 2014, Groningen, Netherlands. pp.16-33
Philippe Balbiani, Vincent Demange, Didier Galmiche
A sequent calculus with labels for Public Announcement Logic
Conference on Advances in Modal Logic (AiML 2014), 2014, Groningen, Netherlands
Philippe Balbiani, Hans Van Ditmarsch, Andrey Kudinov
Subset space logic with arbitrary announcements (regular paper)
Dans : Indian Conference on Logics and its Applications (ICLA 2013), Chennai (Inde), 01/01/13-31/12/13, Springer, p. 233-244, 2013.
Philippe Balbiani, Szabolcs Mikulás
Decidability and complexity via mosaics of the temporal logic of the lexicographic products of unbounded dense linear orders (regular paper)
Dans : Frontiers of Combining Systems (FroCoS 2013), Nancy (France), 01/01/13-31/12/13, Springer, p. 151-164, 2013.
Philippe Balbiani, Emiliano Lorini
Ockhamist Propositional Dynamic Logic: a natural link between PDL and CTL* (regular paper)
Dans : International Workshop on Logic, Language and Information (WOLLIC 2013), Darmstadt, 20/08/13-23/08/13, Vol. 8071, L. Libkin, U. Kohlenbach, R. de Queiroz (Eds.), Springer-Verlag, LNCS, p. 251-265, 2013.
Philippe Balbiani, Andreas Herzig, Nicolas Troquard
Dynamic logic of propositional assignments: a well-behaved variant of PDL (regular paper)
Dans : Logic in Computer Science (LICS 2013), New Orleans, 25/06/13-28/06/13, Orna Kupferman (Eds.), IEEE : Institute of Electrical and Electronics Engineers, p. 143-152, juin 2013.
Accès : http://ieeexplore.ieee.org/xpl/articleDetails.jsp?reload=true&arnumber=6571546 – https://oatao.univ-toulouse.fr/12432/
BibTeXPhilippe Balbiani, Stanislav Kikot
Sahlqvist Theorems for Precontact Logics (regular paper)
Dans : Advances in Modal Logic (AiML 2012), Copenhague (Danemark), 01/01/12-31/12/12, College Publications, p. 55-70, 2012.
Philippe Balbiani, Levan Uridia
Completeness and definability of a modal logic interpreted over iterated strict partial orders (regular paper)
Dans : Advances in Modal Logic (AiML 0202), Copenhaghe (Danemark), 01/01/02-31/12/12, College Publications, p. 71-88, 2012.
Philippe Balbiani, Antoun Yaacoub
Deciding the bisimilarity relation between Datalog goals (regular paper)
Dans : European Conference on Logics in Artificial Intelligence (JELIA 2012), Toulouse, 26/09/12-28/09/12, Luis Fariñas del Cerro, Andreas Herzig, Jérôme Mengin (Eds.), Springer, p. 67-79, septembre 2012.
Philippe Balbiani, Hans Van Ditmarsch, Andreas Herzig, Tiago de Lima
Some truths are best left unsaid (regular paper)
Dans : Advances in Modal Logic (AiML 2012), Copenhagen, 22/08/12-25/08/12, Vol. 9, Thomas Bolander, Torben Braüner, Silvio Ghilardi, Larry Moss (Eds.), College Publications, p. 36-54, août 2012.
Accès : http://www.irit.fr/~Andreas.Herzig/P/Aiml12.html
BibTeXAli Awada, Philippe Balbiani, Antoun Yaacoub
Information flow in logic programming
Dans : Journées dIntelligence Artificielle Fondamentale, Lyon, 08/06/11-10/06/11.
Résumé Accès : http://gdri3iaf.info.univ-angers.fr/IMG/pdf/awada-balbiani-yaacoub.pdf
BibTeXAnas Abou El Kalam, Philippe Balbiani
A policy language for modelling recommendations (regular paper)
Dans : International Information Security Conference (IFIP SEC 2011), Pafos (Chypre), 18/05/11-20/05/11, D. Gritzalis, J. Lopez (Eds.), Springer, p. 176-189, 2011.
The word problem in semiconcept algebras (regular paper)
Dans : Topology, Algebra, and Categories in Logic (TACL 2011), Marseille (France), 26/07/11-30/07/11, L. Santocanale, N. Olivetti, Y. Lafont (Eds.), Université de Marseille, p. 77-80, 2011.
The word problem in semiconcept algebras (regular paper)
Dans : Concept Lattices and their Applications (CLA 2011), Nancy (France), 17/10/11-20/10/11, A. Napoli, V. Vychodil (Eds.), INRIA Nancy – Grand Est, p. 279-294, 2011.
The word problem in semiconcept algebras (regular paper)
Dans : Computability in Europe, Sofia (Bulgarie), 27/06/11-02/07/11, H. Ganchev, B. Löwe, D. Normann, I. Soskov, M. Soskova (Eds.), St. Kliment Ohridski University Press, p. 50-59, 2011.
Philippe Balbiani, Nadine Guiraud, Andreas Herzig, Emiliano Lorini
Agents that speak: modelling communicative plans and information sources in a logic of announcements (short paper)
Dans : International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), Taipei, Taiwan, 02/05/11-06/05/11, ACM Press, p. 1207-1208, 2011.
Accès : http://www.ifaamas.org/Proceedings/aamas2011/papers/B33.pdf
BibTeXAxiomatizing the temporal logic defined over the class of all lexicographic products of dense linear orders without endpoints (regular paper)
Dans : International Symposium on Temporal Representation and Reasoning (TIME 2010), Paris (France), 06/09/10-08/09/10, N. Markey, J. Wijsen (Eds.), IEEE : Institute of Electrical and Electronics Engineers, p. 19-26, 2010.
Test de cohérence sur des graphes de contraintes entre hyperintervalles (regular paper)
Dans : Congrès Francophone de Reconnaissance des Formes et Intelligence Artificielle (RFIA 2010), Caen (France), 19/01/10-22/01/10, M.-O. Cordier, J.-M. Jolion (Eds.), AFRIF-AFIA, (support électronique), 2010.
Coherence test on graphs constraints between hyperintervals (regular paper)
Dans : International Conference on Tools with Artificial Intelligence (ICTAI 2010), Arras (France), 27/10/10-29/10/10, IEEE : Institute of Electrical and Electronics Engineers, p. 223-226, 2010.
Tools and techniques in qualitative reasoning about space (regular paper)
Dans : International Symposium on Foundations of Information and Knowledge Systems (FolKS 2010), Sofia (Bulgarie), 14/02/10-19/02/10, Sebastian Link, Henri Prade (Eds.), Springer, LNCS 5956, p. 1-2, 2010.
Philippe Balbiani, Yannick Chevalier, Marwa El Houri
An intruder model for trust negotiation (regular paper)
Dans : International Conference on Risks and Security of Internet and Systems (CRiSIS 2010), Montréal, 10/10/10-13/10/10, Yannick Chevalier, Marwa El Houri (Eds.), IEEE : Institute of Electrical and Electronics Engineers, p. 1-8, 2010.
Philippe Balbiani, Olivier Gasquet, François Schwarzentruber
Knowledge reasoning in Lineland
Dans : Advances in Modal Logic, Moscow, 24/08/10-27/08/10.
Philippe Balbiani, Rachid Echahed, Andreas Herzig
A Dynamic Logic for Termgraph Rewriting (regular paper)
Dans : International Conference on Graph Transformation (ICGT 2010), Twente, 27/09/10-02/10/10, Hartmut Ehrig, Arend Rensink, Grzegorz Rozenberg, Andy Schürf (Eds.), Springer-Verlag, LNCS 6372, p. 59-74, septembre 2010.
Résumé Accès : http://www.irit.fr/~Andreas.Herzig/P/Entcs09.html
BibTeXPhilippe Balbiani, Olivier Gasquet, François Schwarzentruber
Représentation des connaissances dans flatland
Dans : RTE (Représentation du Temps et de l’Espace) dans RFIA 2010 (Représentation des Formes et Intelligence Artificielle), Caen, 19/01/10-22/01/10.
Philippe Balbiani, Fahima Cheikh Alili, Guillaume Feuillade
Controller/orchestrator synthesis via filtration (regular paper)
Dans : Methods for Modalities (MAM 2009), Copenhague, Danemark, 12/11/09-14/11/09, Vol. 262, Electronic Notes in Theoretical Computer Science, p. 33-48, 2010.
Philippe Balbiani, Fahima Cheikh Alili, Pierre-Cyrille Héam, Olga Kouchnarenko
Composition of Services with Constraints (regular paper)
Dans : Formal Aspects of Component Software (FACS 2009), Eindhoven, Pays-Bas, 02/11/09-03/11/09, Vol. 263, Electronic Notes in Theoretical Computer Science, p. 31-46, 2010.
Axiomatization and completeness of lexicographic products of modal logics (regular paper)
Dans : Frontiers of Combining Systems (FroCoS 2009), Trento (Italie), 16/09/09-18/09/09, S. Ghilardi, R. Sebastiani (Eds.), Springer-Verlag, LNAI 5749, p. 165-180, 2009.
Philippe Balbiani, Yannick Chevalier, Marwa El Houri
A Logical Framework for Reasoning about Policies with Trust Negotiations and Workflows in a Distributed Environment (regular paper)
Dans : International Conference on Risks and Security of Internet and Systems (CRiSIS 2009), Toulouse – France, 19/10/09-22/10/09, Anas Abou El Kalam, Yves Deswarte, Mahmoud Mostafa (Eds.), IEEE : Institute of Electrical and Electronics Engineers, p. 3-11, décembre 2009.
Philippe Balbiani, Hans Van Ditmarsch, Pablo Seban
Reasonning about permitted announcements
Dans : Logical Method for Social Concepts (LMSC’09), Bordeaux, 20/07/09-25/07/09, Andreas Herzig, Emiliano Lorini (Eds.).
Philippe Balbiani, Hans Van Ditmarsch, Pablo Seban
Raisonnements sur la permission de dire
Dans : Modèles Formels de l’Interaction, MFI’09, Lannion, 03/06/09-05/06/09, Nicolas Maudet, Pierre-Yves Schobbens, Marc Guyomard (Eds.).
Résumé Accès : http://www.info.fundp.ac.be/mfi09/wp-content/uploads/2009/04/BalbianiVanditmarschSeban.pdf
BibTeXPhilippe Balbiani, Tinko Tinchev
Complete axiomatizations of modal logics for region-based theories of space (regular paper)
Dans : Logic Colloquium (LC 2009), Sofia (Bulgarie), 01/01/09-31/12/09 (conférencier invité), 2009.
Lexicographic products of modal logics with linear frames (regular paper)
Dans : Logic Colloquium (LC 2009), Sofia (Bulgarie), 01/01/09-31/12/09, Association for Symbolic Logic (ASL), (support électronique), 2009.
Philippe Balbiani, Yannick Chevalier, Marwa El Houri
Approche logique pour les contraintes de contrôle daccès dans les services Web
Dans : Atelier sur les droits daccès à des Services et des Données définis dans un Environnement Collaboratif (SDEC09), Toulouse, 26/05/09.
Philippe Balbiani, Fahima Cheikh Alili, Guillaume Feuillade
Résultats de complexité pour le problème de la composition d’agents (regular paper)
Dans : Journées Francophones MODÈLES FORMELS de l’INTERACTION (MFI 2009), Lannion, France, 03/06/09-05/06/09, Nicolas Maudet , Pierre-Yves Schobben , Marc Guyomaud (Eds.), Université de Rennes 1, p. 25-34, 2009.
Philippe Balbiani, Fahima Cheikh Alili, Guillaume Feuillade
Automata synthesis by asynchronous orchestration with applications to web services composition (regular paper)
Dans : Interaction and Concurrency Experience (ICE 2008), Reykjavik – Iselande, 06/07/08-06/07/08, Vol. 229, Elsevier Science, p. 3-18, 2009.
Anas Abou El Kalam, Philippe Balbiani
A Policy Language for Modelling Recommendations
Dans : IFIP TC-11 International Information Security Confernce (IFIP SEC 2009), Cyprus, 18/05/09-20/05/09, Springer, p. 176-189, mai 2009.
Philippe Balbiani, Pablo Seban
Logique de la mise à jour des croyances objectives
Dans : Journées d’intelligence artificielle fondamentale, Université Paris Dauphine, 21/10/08-23/10/08.
Résumé Accès : http://www.cril.univ-artois.fr/~konieczny/IAF08/balbiani-seban.pdf
BibTeXPhilippe Balbiani, Yannick Chevalier, Marwa El Houri
A logical approach to dynamic role-based access control in a distributed environment
Dans : International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA 2008), Varna (Bulgarie), 01/01/08-31/12/08, Springer-Verlag, p. 194-208, 2008.
Time representation and temporal reasoning from the perspective of non-standard analysis
Dans : International Conference on Principles of Knowledge Representation and Reasoning (KR 2008), Sydney (Australie), 01/01/08-31/12/08, Jérôme Lang, Gerhard Brewka (Eds.), AAAI Press, p. 695-704, 2008.
Philippe Balbiani, Tinko Tinchev
Boolean logics with relations
Dans : International Seminar on Relational Methods in Computer Science (RelMiCS 2008), Frauenwörth (Allemagne), 01/01/08-31/12/08, Springer-Verlag, p. 4-21, 2008.
Philippe Balbiani, Fahima Cheikh Alili, Guillaume Feuillade
Composition of Interactive Web Services Based on Controller Synthesis.
Dans : International Workshop on Web Service Composition and Adaptation, Honolulu, USA, 08/07/08-11/07/08, IEEE : Institute of Electrical and Electronics Engineers, p. 521-528, 2008.
Philippe Balbiani, Olivier Gasquet
Fondements logiques du droit de savoir
Dans : Reconnaissance des Formes et Intelligence Artificielle (RFIA 2008), Amiens (France), 22/01/08-25/01/08, I. Bloch, P. Marquis (Eds.), AFRIF-AFIA, (support électronique), janvier 2008.
Philippe Balbiani, Tinko Tinchev, Dimiter Vakarelov
Modal logics for region-based theories of space
Dans : Algebraic and Topological Methods in Non-Classical Logics, Oxford, UK, 01/01/07-31/12/07, Guram Bezhanishvili (Eds.), Oxford University, Department of Mathematics, p. 4-5, 2007.
Guillaume Aucher, Philippe Balbiani, Luis Fariñas del Cerro, Andreas Herzig
Global and local graph modifiers
Dans : Methods for Modalities (MAM 2007), Cachan, France, 29/11/07-30/11/07, Elsevier, ENTCS , (en ligne), 2007.
Résumé Accès : http://www.irit.fr/publis/LILAC/M4M.pdf
BibTeXPhilippe Balbiani, Alexandru Baltag, Hans Van Ditmarsch, Andreas Herzig, Tomohiro Hoshi, Tiago de Lima
What can we achieve by arbitrary announcements? A dynamic take on Fitch’s knowability
Dans : Theoretical Aspects of Rationality and Knowledge (TARK 2007), Bruxelles, Belgique, 25/06/07-27/06/07, Dov Samet (Eds.), Presses universitaires de Louvain, p. 42-51, juin 2007.
Résumé Accès : http://www.irit.fr/~Andreas.Herzig/P/Tark07ncl.html
BibTeXPhilippe Balbiani, Fahima Cheikh Alili, Guillaume Feuillade
Considérations relatives à la décidabilité et à la complexité du problème de la composition de services.
Dans : Journées Francophones MODÈLES FORMELS de l’INTERACTION (MFI 2007), Paris, 30/05/07-01/06/07, Annales du LAMSADE, p. 261-268, 2007.
Vers un marquage spatio-temporel des documents électroniques
Dans : Symposium sur la sécurité des technologies de l’information et des communications, Rennes, 01/01/07-31/12/07, P. Biondi (Eds.), Ecole Supérieure et d’Application des Transmissions, p. 3-12, 2007.
Philippe Balbiani, Andreas Herzig
Talkin’bout Kripke models
Dans : International Workshop on Hybrid Logic 2007 (HyLo 2007), Dublin, 06/08/07-10/08/07, Torben Braüner, Jørgen Villadsen (Eds.).
Résumé Accès : http://www.irit.fr/~Andreas.Herzig/P/HyLo07.html
BibTeXPhilippe Balbiani, Hans Van Ditmarsch, Andreas Herzig, Tiago de Lima
A tableau method for public announcement logics
Dans : International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2007), Aix-en-Provence, 03/07/07-06/07/07, Vol. 4548, Nicola Olivetti (Eds.), Springer-Verlag, LNAI, p. 43-59, 2007.
Résumé Accès : http://www.irit.fr/~Andreas.Herzig/P/Tableaux07.html
BibTeXPhilippe Balbiani, Fahima Cheikh Alili
A propos du problème de la composition des services électroniques
Dans : Journées Formalisation des Activités Concurrentes FAC’06, IRIT-Toulouse, 23/03/06-24/03/06.
Logique déontique de l’action : validation des systèmes de protection
Dans : Congrès Francophone de Reconnaissance des Formes et Intelligence Artificielle (RFIA 2006), Tours (France), 01/01/06-31/01/06, P. Bouthemy, Y. Demazeau (Eds.), AFRIF-AFIA, (support électronique), 2006.
Philippe Balbiani, Ilya Shapirovsky, Valentin Shehtman
Every world can see a Sahlqvist world
Dans : Advances in Modal Logic (AiML 2006), Noosavile (Australia), 01/09/06-30/09/06, G. Governatori, I. Hodkinson, Y. Venema (Eds.), College Publications, p. 69-85, 2006.
An expressive two-sorted spatial logic for plane projective geometry
Dans : Advances in Modal Logic (AiML 2006), Noosaville (Australia), 01/09/06-30/09/06, G. Governatori, I. Hodkinson, Y. Venema (Eds.), College Publications, p. 49-68, 2006.
Philippe Balbiani, Fahima Cheikh Alili
Security analysis in access control based on roles and views
Dans : Joint Conference on Security in Network Architectures and Security of Information Systems (SAR/SSI 2006), Seignosse (France), 01/06/06-30/06/06, D. Boulanger, F. Cuppens, H. Debar, A. Gabillon (Eds.), Ecole Supérieure et d’Applications des Transmissions – ESAT, p. 51-65, 2006.
Philippe Balbiani, Ali Kaafarani, Fatme Harb
Access control with prohibitions and obligations
Dans : ACS/IEEE International Conference on Computer Systems and Applications (AICCSA 2006), Dubai (United Arab Emirates), 01/03/06-31/03/06, M. Langston (Eds.), IEEE : Institute of Electrical and Electronics Engineers, (support électronique), 2006.
A formal examination of roles and permissions in access control
Dans : ACS/IEEE International Conference on Computer Systems and Applications (AICCSA 2005), Cairo (Egypt), 01/01/05-31/01/05, IEEE : Institute of Electrical and Electronics Engineers, (support électronique), 2006.
Protocoles de communication inconditionnellement sûrs
Dans : Sécurité informatique : tendances et applications, Alger, 01/06/06-30/06/06 (conférencier invité), Z. Zemirli (Eds.).
Philippe Balbiani, Fahima Cheikh Alili
Une approche uniforme de la modélisation des systèmes de protection temporisés
Dans : Journées Formalisation des Activités Concurrentes FAC’05, LAAS-Toulouse, 09/03/05-10/03/05.
Constitution et développement d’une logique des modalités aléthiques, déontiques, dynamiques, et temporelles en vue de la formalisation du raisonnement sur les actions et sur les normes
Dans : Modèles formels de l’interaction, Caen (France), 01/05/05-31/05/05, A. Herzig, Y. Lespérance, A.-I. Mouaddib (Eds.), Cépaduès Editions, p. 23-33, 2005.
Philippe Balbiani, Fahima Cheikh Alili
Safety problems in access control with temporal constraints
Dans : Computer Network Security, St. Petersburg (Russia), 01/09/05-30/09/05, V. Gorodetsky, I. Kotenko, V. Skormin (Eds.), Springer-Verlag, Lecture Notes in Computer Science 3685, p. 165-178, 2005.
Access control with uncertain surveillance
Dans : Web Intelligence, Compiègne (France), 01/09/05-30/09/05, IEEE : Institute of Electrical and Electronics Engineers, p. 778-781, 2005.
Philippe Balbiani, Tinko Tinchev
Euclidean geometry with lines alone
Dans : Logic Colloquium 2005, Athens (Greece), 01/07/05-31/08/05, S. Wainer (Eds.), University of Athens, p. 47-47, 2005.
Philippe Balbiani, Tinko Tinchev
Decidability and complexity of definability within the class of all partitions
Dans : Proceedings of the 5th Panhellenic Logic Symposium, Athens (Greece), 01/07/05-31/08/05, C. Dimitracopoulos (Eds.), University of Athens, p. 26-33, 2005.
A uniform approach to modelling timed protection
Dans : Artificial Intelligence and Applications, Innsbruck (Austria), 01/02/05-28/02/05, IASTED, p. 219-224, 2005.
Raisonner à propos des droites et des cercles : réseaux de contraintes et systèmes déductifs
Dans : 14e congrès reconnaissance des formes et intelligence artificielle (RFIA 2004), Toulouse, 01/01/04-31/12/04, J. Charlet, M. Dhome (Eds.), Afrif-Afia, janvier 2004.
Philippe Balbiani, Tinko Tinchev
Line-based affine reasoning in Euclidean plane
Dans : Logics in Artificial Intelligence (Jelia 2004), Portugal, 01/09/04-30/09/04, J. Alfares, J. Leite (Eds.), Springer-Verlag, p. 474-486, septembre 2004.
Philippe Balbiani, Khalil Challita
Constraint networks of lines in the Euclidean plane and space
Dans : Artificial Intelligence: Methodology, Systems, and Applications (AIMSA 2004), Bulgarie, 01/09/04-30/09/04, C. Bussler, D. Fensel (Eds.), Springer-Verlag, p. 148-157, septembre 2004.
Philippe Balbiani, Dimiter Vakarelov
Preference structures: first-order characterization and modal logic
Dans : IPMU 2004, Tenth International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 2004), Italie, 01/07/04-31/07/04, B. Bouchon-Meunier, G. Coletti, R. Yager (Eds.), Universdita degli studi di Perugia, p. 943-950, juillet 2004.
Variants of PDL with intersection of programs
Dans : AiML-2004: Advances in Modal Logic, Manchester, 01/09/04-30/09/04, Ian Pratt-Hartmann, Mark Reynolds, Renate Schmidt, Heinrich Wansing (Eds.), The University of Manchester, p. 2-4, septembre 2004.
Philippe Balbiani, Jean-Francois Condotta, Gerard Ligozat
Le problème de la cohérence des réseaux de contraintes du formalisme INDU
Dans : Neuvièmes journées nationales sur la résolution pratique de problèmes NP-complets (JNPC 2003), France, 01/01/03-31/12/03, T. Schiex (Eds.), Université de Picardie Jules Verne – Laboratoire de recherche en informatique d’Amiens, p. 23-37, janvier 2003.
Laszlo Aszalos, Philippe Balbiani
Parallel dynamic logic with communication
Dans : MFI’03, Modèles formels de l’interaction, France, 01/01/03-31/12/03, A. Herzig, B. Chaib-draa (Eds.), Cépaduès, p. 11-18, janvier 2003.
Anas Abou El Kalam, Philippe Balbiani, Salem Benferhat, Frédéric Cuppens, Al. Et
Modèles et politiques de sécurité des systèmes d’information et de communication en santé et en social
Dans : Giseh 2003, xxx, 01/01/03-31/12/03, xxx, janvier 2003.
Philippe Balbiani, Jean-Francois Condotta, Gerard Ligozat
Reasoning about cyclic space: axiomatic and computational aspects
Dans : Spatial Cognition III (SC 2002), Allemagne, 01/01/03-31/12/03, C. Freksa, W. Brauer, C. Habel (Eds.), Springer-Verlag, p. 348-371, janvier 2003.
Philippe Balbiani, Jean-Francois Condotta, Gerard Ligozat
On the consistency problem for the INDU calculus
Dans : 10th International Symposium on Temporal Representation and Reasoning – 4th International Conference on Temporal Logic (TIME 2003 – ICTL 2003), Australie, 01/07/03-31/07/03, M. Reynolds, A. Sattar (Eds.), Institute of Electrical and Electronics Engineers, p. 203-211, juillet 2003.
Laszlo Aszalos, Philippe Balbiani
Logical aspects of user authentication protocols
Dans : 7th Seminar Relmics – 2nd Workshop Kleene Algebra, Malente, 01/05/03-31/05/03, R. Berghammer, B. Möller (Eds.), Christian-Albrechts-Universität zu Kiel, p. 277-287, mai 2003.
Philippe Balbiani, Khalil Challita, Jean-Francois Condotta
Spatial regions changing over time
Dans : 7th Seminar RelMiCS – 2nd Workshop Kleene Algebra (RelMiCS 2003 – Kleene 2003), Malente, 01/05/03-31/05/03, R. Berghammer, B. Möller (Eds.), Christian-Albrechts-Universität zu Kiel, p. 74-81, mai 2003.
Reasoning about vague concepts in the theory of property systems
Dans : 7th Seminar RelMiCS – 2nd Workshop Kleene Algebra (RelMiCS 2003 – Kleene 2003), Malente, 01/05/03-31/05/03, R. Berghammer, B. Möller (Eds.), Christian-Albrechts-Universität zu Kiel, p. 56-68, mai 2003.
Anas Abou El Kalam, Rania El Baida, Philippe Balbiani, Salem Benferhat, Al. Et
Organization based access control
Dans : Policies for Distributed Systems and Networks (POLICY 2003), Como, 01/01/03-31/12/03, H. Lutfiyya, J. Moffett, F. Garcia (Eds.), Institute of Electrical and Electronics Engineers, p. 120-131, janvier 2003.
Inclusion relations and orthogonality relations over property systems: first-order characterization and modal analysis
Dans : IPMU 2002, Ninth International Conference on Information Processing and Management of Uncertainty (IPMU 2002), Annecy, 01/01/02-31/12/02, B. Bouchon-Meunier, L. Foulloy, R. Yager (Eds.), Esia – Université de Savoie, p. 177-184, janvier 2002.
Philippe Balbiani, Jean-Francois Condotta
Computational complexity of a propositional linear temporallogic based on qualitative spatial or temporal reasoning
Dans : 4th International Workshop on Frontiers of Combining Systems, Italie, 01/01/02-31/12/02, Springer-Verlag, p. 1-999, janvier 2002.
Emptiness relations in property systems
Dans : Theory and Applications of Relational Systems as Knowledge Instruments (TARSKI 2001), Pays-Bas, 01/01/01-31/12/01, H. de Swart (Eds.), Springer, LNCS 2561, p. 15-34, janvier 2002.
Philippe Balbiani, Jean-Francois Condotta
Une logique temporelle pour décrire l’évolution des positions relatives des agents dans l’espace
Dans : 1ères journées francophones des modèles formels de l’interaction (MFI 2001), Toulouse, 01/01/01-31/12/01, B. Chaib-draa, P. Enjalbert (Eds.), Université des sciences sociales – Toulouse 1, p. 181-192, janvier 2001.
Philippe Balbiani, Jean-Francois Condotta
Une logique pour le raisonnement spatio-temporel basée sur PLTL et l’algèbre des rectangles
Dans : Journées nationales sur les modèles de raisonnement (JNMR 2001), France, 01/01/01-31/12/01, A. Herzig (Eds.), PRC-GDR I3, p. 9-21, janvier 2001.
Philippe Balbiani, Dimiter Vakarelov
First-order characterization and modal analysis ofindiscernibility and complementarity in informationsystems
Dans : Symbolic and Quantitative Approaches to Reasoning withUncertainty, France, 01/01/01-31/12/01, Springer-Verlag, p. 772-781, janvier 2001.
Philippe Balbiani, Aomar Osmani
Raisonnement qualitatif à propos des arcs de cercles
Dans : 12e congrès reconnaissance des formes et intelligence artificielle (RFIA 2000), France, 01/01/00-31/12/00, R. Deriche, M.-C. Rousset (Eds.), Afrif-Afia, p. 69-78, janvier 2000.
Philippe Balbiani, Philippe Muller
Le raisonnement spatial
Dans : Le temps, l’espace et l’évolutif en sciences du traitement de l’information, Marseille, 01/09/00-30/09/00, Henri Prade, Robert Jeansoulin, Catherine Garbay (Eds.), CEPAD, p. 33-53, septembre 2000.
Représentation logique et traitement algorithmique du temps et de l’espace
Dans : Sixièmes journées nationales sur la résolution pratique de problèmes NP-complets (JNPC 2000), Marseille, 01/06/00-30/06/00, Christian Bessière (Eds.), Laboratoire d’informatique de Marseille, p. 9-28, juin 2000.
Philippe Balbiani, Aomar Osmani
A model for reasoning about topological relations betweencyclic intervals
Dans : Seventh International Conference on Principles of KnowledgeRepresentation and Reasoning, Etats-Unis, 01/01/00-31/12/00, Morgan Kaufmann, p. 378-385, janvier 2000.
Philippe Balbiani, Jean-Francois Condotta, Gerard Ligozat
Reasoning about generalized intervals: Horn representabilityand tractability
Dans : Seventh International Workshop on Temporal Representationand Reasoning, Canada, 01/01/00-31/12/00, Institute of Electrical and Electronics Engineers, p. 23-39, janvier 2000.
Philippe Balbiani, Aomar Osmani
Représentation et raisonnement sur les intervalles cycliques
Dans : Journées nationales sur les modèles de raisonnement (JNMR 1999), France, 01/01/99-31/12/99, M.-C. Rousset (Eds.), XXX, janvier 1999.
Philippe Balbiani, Jean-Francois Condotta, Luis Fariñas del Cerro
Raisonement qualitatif a propos des points de l’espace
Dans : Cinquiemes journees nationales sur la resolution pratique deproblemes NP-complets, Lyon, 01/01/99-31/12/99, Insa de Lyon, p. 139-149, janvier 1999.
Philippe Balbiani, Jean-Francois Condotta, Luis Fariñas del Cerro
A tractable subclass of the block algebra: constraint propagation and preconvex relations
Dans : Proceedings of the Ninth Portuguese Conference on Artificial Intelligence (EPIA’99), Evora, ., janvier 1999.
Philippe Balbiani, Jean-Francois Condotta, Luis Fariñas del Cerro
A new tractable subclass of the rectangle algebra
Dans : Sixteenth International Joint Conference on ArtificialIntelligence, Suede, 01/01/99-31/12/99, International Joint Conferences on Artificial Intelligence, p. 442-447, janvier 1999.
Philippe Balbiani, Dimiter Vakarelov
Extending arrow logic
Dans : International Seminar on Relational Methods in Computer Science (RelMiCS 1998), Pologne, 01/01/98-31/12/98, Stefan Banach International Center, p. 13-17, 1998.
Philippe Balbiani, Amal Elfallah-Seghrouchni
A modal logic for reasoning about beliefs, desires and intentions of complex agents in a distributed environment
Dans : Third International Conference on Multi Agent Systems (ICMAS 1998), Paris, 01/01/98-31/12/98, Yves Demazeau (Eds.), Institute of Electrical and Electronics Engineers, p. 387-388, janvier 1998.
Terminological modal logic
Dans : Advances in Modal Logic, volume 1 (AiML 1996), Berlin, 01/01/98-31/12/98, Marcus Kracht, Maarten de Rijke, Heinrich Wansing, Michael Zakharyaschev (Eds.), CSLI Publications, p. 23-39, janvier 1998.
Philippe Balbiani, Jean-Francois Condotta, Luis Fariñas del Cerro, Aomar Osmani
Reasoning about generalized intervals
Dans : Artificial Intelligence: Methodology, Systems andApplications, Bulgarie, 01/01/98-31/12/98, Springer-Verlag, p. 50-61, janvier 1998.
Philippe Balbiani, Jean-Francois Condotta, Luis Fariñas del Cerro
A model for reasoning about bidimensional temporal relations
Dans : Sixth International Conference on Principles of KnowledgeRepresentation and Reasoning, Italie, Morgan Kaufmann, p. 124-130, janvier 1998.
Philippe Balbiani, Stéphane Demri
Prefixed tableau systems for modal logics with enriched languages
Dans : Fifteenth International Joint Conference on Artificial Intelligence (IJCAI 1997), Japon, 01/01/97-31/12/97, M. Pollack (Eds.), International Joint Conferences on Artificial Intelligence, p. 190-195, janvier 1997.
La logique déontique du temps abstrait
Dans : 10e congrès reconnaissance des formes et intelligence artificielle (RFIA 1996), France, 01/01/96-31/12/96, M. Ghallab (Eds.), Afcet-Afia, p. 1013-1021, janvier 1996.
A modal logic for data analysis
Dans : Mathematical Foundations of Computer Science 1996 (MFCS 1996), Cracovie, 01/09/96-30/09/96, W. Penczek, A. Szalas (Eds.), Springer-Verlag, p. 167-179, septembre 1996.
Modal logics with relative accessibility relations
Dans : Practical Reasoning (FAPR 1996), Bonn, 01/01/96-31/12/96, Dov Gabbay, Hans Ohlbach (Eds.), Springer-Verlag, p. 29-42, janvier 1996.
Philippe Balbiani, Luis Fariñas del Cerro, Tinko Tinchev, Dimiter Vakarelov
Geometrical structures and modal logic (regular paper)
Dans : Int. Conf. on Formal and Applied Practical Reasoning (FAPR 1996), Bonn, 03/06/96-07/06/96, Springer-Verlag, p. 43-57, juin 1996.
Résumé Accès : https://link.springer.com/chapter/10.1007/3-540-61313-7_62
BibTeXEquational solving in geometrical theories
Dans : Conditional and Typed Rewriting Systems (CTRS 1994), Jérusalem, 01/07/95-31/07/95, Nachum Dershowitz, Naomi Lindenstrauss (Eds.), Springer-Verlag, p. 31-50, juillet 1995.
Philippe Balbiani, Luis Fariñas del Cerro
Affine geometry of collinearity and conditional term rewriting
Dans : Term Rewriting, Font Romeux, 01/05/95-31/05/95, Hubert Comon, Jean-Pierre Jouannaud (Eds.), Springer-Verlag, p. 196-213, mai 1995.
Simplification des figures de la géométrie affine plane
Dans : 9e congrès reconnaissance des formes et intelligence artificielle (RFIA 1994), France, 01/01/94-31/12/94, A. Gagalowicz (Eds.), Afcet-Afia, p. 1013-1021, janvier 1994.
Equation solving in projective planes and planar ternary rings
Dans : Algebraic and Logic Programming (ALP 1994), Madrid, 01/09/94-30/09/94, Giorgio Levi, Mario Rodriguez-Artalejo (Eds.), Springer-Verlag, p. 95-113, septembre 1994.
Sur la finitude des dérivations de la programmation en logique
Dans : 1ères journées francophones sur la programmation en logique (JFPL 1992), France, 01/01/92-31/12/92, J.-P. Delahaye, P. Devienne, P. Mathieu, P. Yim (Eds.), Laboratoire d’informatique fondamentale de Lille, p. 194-209, janvier 1992.
The finiteness of logic programming derivations
Dans : Algebraic and Logic Programming (ALP 1992), Volterra, 01/09/92-30/09/92, Hélène Kirchner, Giorgio Levi (Eds.), Springer-Verlag, p. 403-419, septembre 1992.
Qu’est-ce que la démontrabilité dans un programme logique
Dans : 8e congrès reconnaissance des formes et intelligence artificielle (RFIA 1991), France, 01/01/91-31/12/91, J.-P. Laurent (Eds.), Afcet, p. 731-739, janvier 1991.
Philippe Balbiani, Andreas Herzig, Mamede Lima Marques
TIM: the Toulouse inference machine for non-classical logic programming
Dans : Processing Declarative Knowledge (PDK 1991), Kaiserslautern, H. Boley, M. Richter (Eds.), Springer-Verlag, p. 366-382, janvier 1991.
Nonmonotonic reasoning and modal logic, from negation as failure to default logic
Dans : Uncertainty in Knowledge Bases (IPMU 1990), Paris, 01/01/91-31/12/91, Bernadette Bouchon-Meunier, Ronald Yager, Lofti Zadeh (Eds.), Springer-Verlag, p. 223-231, janvier 1991.
A modal semantics for the negation as failure and the closed world assumption rules
Dans : STACS 91 (STACS 1991), Hambourg, 01/02/91-28/02/91, C. Choffrut, M. Jantzen (Eds.), Springer-Verlag, p. 523-534, février 1991.
Philippe Balbiani, Luis Fariñas del Cerro, Andreas Herzig
Declarative semantics for modal logic programs
Dans : Proceedings of the International Conference on Fifth Generation Computer Systems 1988 (FGCS 1988), Japon, 01/01/88-31/12/88, Institute for New Generation Computer Technology, p. 507-514, janvier 1988.
About the complete axiomatization of dynamic extensions of arrow logic
Golinska-Pilarek, Joanna; Zawidzki, Michal. Ewa Orlowska: on Relational Methods in Logic and Computer Science, 17, Springer, pp.315–330, 2018, Outstanding Contributions to Logic book series, 978-3319978789. ⟨10.1007/978-3-319-97879-6_12⟩
Philippe Balbiani, Olivier Gasquet, Andreas Herzig, François Schwarzentruber, Nicolas Troquard
Coalition games over Kripke semantics
Dans : Dialogues, Logics and Other Strange Things — Essays in Honour of Shahid Rahman. Cédric Dégremont, Laurent Keiff, Helge Rückert (Eds.) , College Publications, p. 11-32, octobre 2008.
Philippe Balbiani, Valentin Goranko, Ruuan Kellerman, Dimiter Vakarelov
Logical theories for fragments of elementary geometry
Dans : Handbook of Spatial Logics. M. Aiello, I. Pratt-Hartmann, J. van Benthem (Eds.) , Springer, p. 343-428, 2007.
Propositional dynamic logic
Dans : Stanford Encyclopedia of Philosophy. E. Zalta (Eds.) , Center for the Study of Language and Information, (en ligne), 2007.
Accès : http://www.science.uva.nl/~seop/entries/logic-dynamic/
BibTeXPhilippe Balbiani, Luis Fariñas del Cerro
Diagrammatic reasoning in projective geometry
Dans : Logic, Language and Reasoning: Essays in Honour of Dov Gabbay. Hans Ohlbach, Uwe Reyle (Eds.) , Kluwer, p. 99-114, 1999.
Axiomatization of logics based on Kripke models with relative accessibility relations
Dans : Incomplete Information: Rough Set Analysis. Ewa Orlowska (Eds.) , Physica-Verlag, p. 553-578, 1998.
A promenade from provability to consistency
Dans : Intensional Logics for Programming. Luis Fariñas del Cerro, Martti Penttonen (Eds.) , Oxford University Press, p. 195-219, 1992.
Considérations modales sur la négation par échec
Dans : PRC-GDR Intelligence artificielle. Bernadette Bouchon-Meunier (Eds.) , Hermès, p. 223-230, 1990.
Représentation logique et traitement algorithmique de l’espace
Habilitation à diriger des recherches, Université Paris-Nord, Villetaneuse, 1999.
Une caractérisation modale de la sémantique des programmes logiques avec négation
Thèse de doctorat, Université Paul Sabatier, 1991.
Philippe Balbiani, Vincent Dugat, Luis Fariñas del Cerro, Anne Lopez
Eléments de géométrie mécanique, Hermès, 1994.
Philippe Balbiani, Quentin Gougeon, Tinko Tinchev
Logics for Contact and Measure
2024
Admissibility in Alt × Alt is undecidable
2022
Majid Alizadeh, Mohammad Ardeshir, Philippe Balbiani, Mojtaba Mojtahedi
About the unification type of modal logic K5 and its extensions
2021