Travelled to:1 × Austria
1 × Germany
1 × Portugal
1 × USA
Collaborated with:∅ J.Quiané-Ruiz P.Valduriez Y.Shoham G.Crocco S.Cazalens
Talks about:monoton (3) condit (2) logic (2) non (2) conditionalis (1) nonmonoton (1) satisfact (1) framework (1) certainti (1) promenad (1)
Person: Philippe Lamarre
DBLP: Lamarre:Philippe
Contributed to:
2007
2007
199419921991Wrote 6 papers:
- CIKM-2007-Quiane-RuizLCV
- Satisfaction balanced mediation (JAQR, PL, SC, PV), pp. 947–950.
- VLDB-2007-Quiane-RuizLV #framework #named #query
- SQLB: A Query Allocation Framework for Autonomous Consumers and Providers (JAQR, PL, PV), pp. 974–985.
- KR-1994-LamarreS
- Knowledge, Certainty, Belief, and Conditionalisation (Abbreviated Version) (PL, YS), pp. 415–424.
- KR-1992-CroccoL #logic #on the
- On the Connection between Non-monotonic Inference Systems and Conditional Logics (GC, PL), pp. 565–571.
- KR-1992-Lamarre #proving #theorem proving
- A Promenade from Monotonicity to Non-Monotonicity Following a Theorem Prover (PL), pp. 572–580.
- KR-1991-Lamarre #logic
- S4 as the Conditional Logic of Nonmonotonicity (PL), pp. 357–367.