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

Contributed to:

CIKM 20072007
VLDB 20072007
KR 19941994
KR 19921992
KR 19911991

Wrote 6 papers:

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

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.