`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:

### Wrote 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.