Travelled to:1 × Australia
1 × Canada
1 × Italy
Collaborated with:A.Herzig E.Lorini B.Gaudou L.F.d.Cerro D.Fauthoux O.Gasquet F.Massacci
Talks about:logic (2) institut (1) descript (1) tableau (1) revisit (1) generic (1) express (1) account (1) prover (1) lotrec (1)
Person: Dominique Longin
DBLP: Longin:Dominique
Contributed to:
200820062004
2001Wrote 4 papers:
- KR-2008-LoriniL #logic
- A Logical Account of Institutions: From Acceptances to Norms via Legislators (EL, DL), pp. 38–48.
- KR-2006-GaudouHL
- Grounding and the Expression of Belief (BG, AH, DL), pp. 221–229.
- KR-2004-HerzigL #revisited
- C&L Intention Revisited (AH, DL), pp. 527–535.
- IJCAR-2001-CerroFGHLM #logic #proving
- Lotrec : The Generic Tableau Prover for Modal and Description Logics (LFdC, DF, OG, AH, DL, FM), pp. 453–458.