BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Balbiani:Philippe

Contributed to:

CADE 20152015
LICS 20132013
ICGT 20102010
KR 20082008
KR 20002000
KR 19981998
ALP 19941994
ALP 19921992

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.