# Daniel Lehmann

Affiliations:- Hebrew University, Department of Computer Science, Jerusalem, Israel
- University of Warwick, Coventry, UK (PhD 1976)

According to our database

Collaborative distances:

^{1}, Daniel Lehmann authored at least 85 papers between 1976 and 2021.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Dataset Other## Links

#### Online presence:

#### On csauthors.net:

## Bibliography

2021

CoRR, 2021

2019

CoRR, 2019

2018

CoRR, 2018

2017

CoRR, 2017

2009

Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2009), 2009

Proceedings of the Languages: From Formal to Natural, 2009

2008

J. Log. Comput., 2008

Proceedings of the Pillars of Computer Science, 2008

2007

CoRR, 2007

Proceedings of the Quantum Interaction, 2007

2006

Games Econ. Behav., 2006

2005

J. Comput. Neurosci., 2005

CoRR, 2005

Proceedings of the Proceedings 6th ACM Conference on Electronic Commerce (EC-2005), 2005

Proceedings of the Computing and Markets, 3.-7. January 2005, 2005

Proceedings of the Computing and Markets, 3.-7. January 2005, 2005

2004

J. Comput. Neurosci., 2004

Proceedings of the Proceedings 5th ACM Conference on Electronic Commerce (EC-2004), 2004

2003

J. Artif. Intell. Res., 2003

2002

J. ACM, 2002

CoRR, 2002

CoRR, 2002

CoRR, 2002

CoRR, 2002

CoRR, 2002

CoRR, 2002

2001

J. Log. Comput., 2001

J. Symb. Log., 2001

Games Econ. Behav., 2001

Classes of service under perfect competition and technological change: A model for the dynamics of the internet?

Proceedings of the Proceedings 3rd ACM Conference on Electronic Commerce (EC-2001), 2001

2000

Optimal solutions for multi-unit combinatorial auctions: branch and bound heuristics.

Proceedings of the 2nd ACM Conference on Electronic Commerce (EC-00), 2000

Representing and Aggregating Conflicting Beliefs.

Proceedings of the KR 2000, 2000

1999

J. Log. Comput., 1999

NetNeg: A Connectionist-Agent Integrated System for Representing Musical Knowledge.

Ann. Math. Artif. Intell., 1999

1998

Log. J. IGPL, 1998

Ann. Math. Artif. Intell., 1998

From Environments to Representations - A Mathematical Theory of Artificial Perceptions.

Artif. Intell., 1998

Adv. Complex Syst., 1998

Nonstandard Numbers for Qualitative Decision Making.

Proceedings of the 7th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-98), 1998

Proceedings of the 1998 International Computer Music Conference, 1998

1997

Proceedings of the 1997 International Computer Music Conference, 1997

1996

J. Log. Comput., 1996

Proceedings of the UAI '96: Proceedings of the Twelfth Annual Conference on Uncertainty in Artificial Intelligence, 1996

NetNeg: A Hybrid Interactive Architecture for Composing Polyphonic Music in Real Time.

Proceedings of the 1996 International Computer Music Conference, 1996

1995

J. Log. Comput., 1995

Comput. Intell., 1995

Ann. Math. Artif. Intell., 1995

Proceedings of the Mathematical Foundations of Computer Science 1995, 1995

Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

Proceedings of the 1995 International Computer Music Conference, 1995

1994

Nonmonotonic reasoning: from finitary relations to infinitary inference operations.

Stud Logica, 1994

Categorical Tools for Artificial Perception.

Proceedings of the Eleventh European Conference on Artificial Intelligence, 1994

1993

Log. J. IGPL, 1993

1992

Artif. Intell., 1992

Artif. Intell., 1992

1991

J. Exp. Theor. Artif. Intell., 1991

Proceedings of the Computer Science Logic, 5th Workshop, 1991

1990

Artif. Intell., 1990

Preferential Logics: the Predicate Calculus Case.

Proceedings of the 3rd Conference on Theoretical Aspects of Reasoning about Knowledge, 1990

Proceedings of the Logics in AI, European Workshop, 1990

1989

What Does a Conditional Knowledge Base Entail?

Proceedings of the 1st International Conference on Principles of Knowledge Representation and Reasoning (KR'89). Toronto, 1989

1988

Theor. Comput. Sci., 1988

Proceedings of International Conference on Neural Networks (ICNN'88), 1988

1984

Theor. Comput. Sci., 1984

Symmetric and Economical Solutions to the Mutual Exclusion Problem in a Distributed System.

Theor. Comput. Sci., 1984

Proceedings of the Third Annual ACM Symposium on Principles of Distributed Computing, 1984

1983

Proceedings of the Automata, 1983

Symmetric and Economical Solutions to the Mutual Exclusion Problem in a Distributed System (Extended Abstract).

Proceedings of the Automata, 1983

Proceedings of the 24th Annual Symposium on Foundations of Computer Science, 1983

1982

Inf. Control., June, 1982

Theor. Comput. Sci., 1982

SIAM J. Comput., 1982

Proceedings of the ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, 1982

1981

Math. Syst. Theory, 1981

On the Advantages of Free Choice: A Symmetric and Fully Distributed Solution to the Dining Philosophers Problem.

Proceedings of the Conference Record of the Eighth Annual ACM Symposium on Principles of Programming Languages, 1981

Proceedings of the Automata, 1981

1980

J. Comput. Syst. Sci., 1980

Proceedings of the 21st Annual Symposium on Foundations of Computer Science, 1980

1979

J. Comput. Syst. Sci., 1979

1978

Proceedings of the 19th Annual Symposium on Foundations of Computer Science, 1978

1977

Theor. Comput. Sci., 1977

Theor. Comput. Sci., 1977

Proceedings of the 18th Annual Symposium on Foundations of Computer Science, Providence, Rhode Island, USA, 31 October, 1977

1976

PhD thesis, 1976

Proceedings of the 17th Annual Symposium on Foundations of Computer Science, 1976