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 × Canada
1 × France
1 × Israel
1 × Spain
1 × Switzerland
2 × USA
Collaborated with:
A.Pnueli P.M.II S.Kraus S.Shelah M.O.Rabin S.Cohen J.Stavi
Talks about:
distribut (2) knowledg (2) symmetr (2) problem (2) belief (2) solut (2) time (2) philosoph (1) plausibl (1) conflict (1)

Person: Daniel J. Lehmann

DBLP DBLP: Lehmann:Daniel_J=

Contributed to:

KR 20002000
CSL 19911991
KR 19891989
ICALP 19861986
ICALP 19831983
ICALP 19811981
POPL 19811981

Wrote 8 papers:

KR-2000-Maynard-ReidL #representation
Representing and Aggregating Conflicting Beliefs (PMRI, DJL), pp. 153–164.
CSL-1991-Lehmann #logic
Plausibility Logic (DJL), pp. 227–241.
KR-1989-Lehmann #knowledge base #question #what
What Does a Conditional Knowledge Base Entail? (DJL), pp. 212–222.
Knowledge, Belief and Time (SK, DJL), pp. 186–195.
ICALP-1983-CohenLP #distributed #problem #symmetry
Symmetric and Economical Solutions to the Mutual Exclusion Problem in a Distributed System (SC, DJL, AP), pp. 128–136.
ICALP-1983-LehmannS #reasoning
Reasoning with Time and Chance (DJL, SS), pp. 445–457.
ICALP-1981-LehmannPS #concurrent #termination
Impartiality, Justice and Fairness: The Ethics of Concurrent Termination (DJL, AP, JS), pp. 264–277.
POPL-1981-LehmannR #distributed #on the #problem #symmetry
On the Advantages of Free Choice: A Symmetric and Fully Distributed Solution to the Dining Philosophers Problem (DJL, MOR), pp. 133–138.

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.