Travelled to:1 × Australia
1 × Germany
1 × Spain
1 × The Netherlands
2 × Italy
2 × USA
Collaborated with:∅ A.Herzig J.Boudou A.Osmani N.Troquard R.Echahed J.Condotta L.F.d.Cerro
Talks about:logic (4) reason (3) dynam (3) proposit (2) tempor (2) relat (2) model (2) about (2) termgraph (1) represent (1)
Person: Philippe Balbiani
DBLP: Balbiani:Philippe
Contributed to:
2015
2013
2010
200820001998
19941992Wrote 8 papers:
- CADE-2015-BalbianiB #composition #logic #parallel
- Tableaux Methods for Propositional Dynamic Logics with Separating Parallel Composition (PB, JB), pp. 539–554.
- LICS-2013-BalbianiHT #logic
- Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL (PB, AH, NT), pp. 143–152.
- ICGT-2010-BalbianiEH #graph grammar #logic
- A Dynamic Logic for Termgraph Rewriting (PB, RE, AH), pp. 59–74.
- KR-2008-Balbiani #analysis #reasoning #representation #standard
- Time Representation and Temporal Reasoning from the Perspective of Non-Standard Analysis (PB), pp. 695–704.
- KR-2000-BalbianiO #reasoning
- A Model for Reasoning about Topologic Relations between cyclic intervals (PB, AO), pp. 378–385.
- KR-1998-BalbianiCC #reasoning
- A Model for Reasoning about Bidemsional Temporal Relations (PB, JFC, LFdC), pp. 124–130.
- ALP-1994-Balbiani #equation
- Equation Solving in Projective Planes and Planar Ternary Rings (PB), pp. 95–113.
- ALP-1992-Balbiani #logic programming
- The Finiteness of Logic Programming Derivations (PB), pp. 403–419.