Daniel Lehmann

According to our database1, Daniel Lehmann authored at least 74 papers between 1976 and 2018.

Collaborative distances:
  • Dijkstra number2 of two.
  • Erdős number3 of two.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2018
Local Equilibria.
CoRR, 2018

2017
Ultra valuations.
CoRR, 2017

2009
Foundations of non-commutative probability theory.
Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2009), 2009

Classes of Service under Perfect Competition and Technological Change.
Proceedings of the Languages: From Formal to Natural, 2009

2008
A Presentation of Quantum Logic Based on an <i>and then</i> Connective.
J. Log. Comput., 2008

Connectives in Cumulative Logics.
Proceedings of the Pillars of Computer Science, 2008

2007
A presentation of Quantum Logic based on an "and then" connective
CoRR, 2007

INVITED: A Presentation of Quantum Logic based on an and then connective.
Proceedings of the Quantum Interaction, 2007

2006
Combinatorial auctions with decreasing marginal utilities.
Games Econ. Behav., 2006

2005
A Model for Representing the Dynamics of a System of Synfire Chains.
J. Comput. Neurosci., 2005

Algebras of Measurements: the logical structure of Quantum Mechanics
CoRR, 2005

Nearly optimal multi attribute auctions.
Proceedings of the Proceedings 6th ACM Conference on Electronic Commerce (EC-2005), 2005

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

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

2004
Modeling Compositionality by Dynamic Binding of Synfire Chains.
J. Comput. Neurosci., 2004

2003
Representing and Aggregating Conflicting Beliefs.
J. Artif. Intell. Res., 2003

2002
Truth revelation in approximately efficient combinatorial auctions.
J. ACM, 2002

Covariance Plasticity and Regulated Criticality
CoRR, 2002

Linear Programming helps solving large multi-unit combinatorial auctions
CoRR, 2002

Connectives in Quantum and other Cumulative Logics
CoRR, 2002

The logical meaning of Expansion
CoRR, 2002

2001
Nonmonotonic Logics and Semantics.
J. Log. Comput., 2001

Distance Semantics for Belief Revision.
J. Symb. Log., 2001

Expected Qualitative Utility Maximization.
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
Preferred History Semantics for Iterated Updates.
J. Log. Comput., 1999

NetNeg: A Connectionist-Agent Integrated System for Representing Musical Knowledge.
Ann. Math. Artif. Intell., 1999

1998
Stereotypical Reasoning: Logical Properties.
Log. J. IGPL, 1998

Introducing the Mathematical Category of Artificial Perceptions.
Ann. Math. Artif. Intell., 1998

From Environments to Representations - A Mathematical Theory of Artificial Perceptions.
Artif. Intell., 1998

Regulated Criticality in the Brain?
Advances in Complex Systems, 1998

Nonstandard Numbers for Qualitative Decision Making.
Proceedings of the 7th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-98), 1998

Tuning a Neural Network for Harmonizing Melodies in Real-Time.
Proceedings of the 1998 International Computer Music Conference, 1998

1997
Harmonizing Melodies in Real-Time: the Connectionist Approach.
Proceedings of the 1997 International Computer Music Conference, 1997

1996
Generalized Qualitative Probability: Savage revisited.
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
Deductive Nonmonotonic Inference Operations: Antitonic Representations.
J. Log. Comput., 1995

Designing and Building a Negotiating Automated Agent.
Comput. Intell., 1995

Another Perspective on Default Reasoning.
Ann. Math. Artif. Intell., 1995

Ranked Structures in Nonmonotonic Reasoning and Belief Revision: Abstract.
Proceedings of the Mathematical Foundations of Computer Science 1995, 1995

Belief Revision, Revised.
Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

An Artificial Neural Net for Harmonizing Melodies.
Proceedings of the 1995 International Computer Music Conference, 1995

1994
Categorical Tools for Artificial Perception.
Proceedings of the Eleventh European Conference on Artificial Intelligence, 1994

1992
What does a Conditional Knowledge Base Entail?
Artif. Intell., 1992

1991
Negotiation in a non-cooperative environment.
J. Exp. Theor. Artif. Intell., 1991

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

1990
Nonmonotonic Reasoning, Preferential Models and Cumulative Logics.
Artif. Intell., 1990

Preferential Logics: the Predicate Calculus Case.
Proceedings of the 3rd Conference on Theoretical Aspects of Reasoning about Knowledge, 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
Knowledge, Belief and Time.
Theor. Comput. Sci., 1988

1984
A Linear-History Semantics for Languages for Distributed Programming.
Theor. Comput. Sci., 1984

Symmetric and Economical Solutions to the Mutual Exclusion Problem in a Distributed System.
Theor. Comput. Sci., 1984

Knowledge, Common Knowledge and related puzzles (Extended Summary).
Proceedings of the Third Annual ACM Symposium on Principles of Distributed Computing, 1984

1983
Reasoning with Time and Chance (Extended Abstract).
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

Decision Procedures for Time and Chance (Extended Abstract)
Proceedings of the 24th Annual Symposium on Foundations of Computer Science, 1983

1982
Reasoning with Time and Chance
Inf. Control., June, 1982

Epis need not be Dense.
Theor. Comput. Sci., 1982

On Primality Tests.
SIAM J. Comput., 1982

Dynamic Systems and Their Distributed Termination.
Proceedings of the ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, 1982

1981
Algebraic Specification of Data Types: A Synthetic Approach.
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

Impartiality, Justice and Fairness: The Ethics of Concurrent Termination.
Proceedings of the Automata, 1981

1980
On the Algebra of Order.
J. Comput. Syst. Sci., 1980

A Linear History Semantics for Distributed Languages (Extended Abstract)
Proceedings of the 21st Annual Symposium on Foundations of Computer Science, 1980

1979
Semantics of Nondeterminism, Concurrency, and Communication.
J. Comput. Syst. Sci., 1979

1978
On the Algebra of Order (Extended Abstract)
Proceedings of the 19th Annual Symposium on Foundations of Computer Science, 1978

1977
A Note on Schnorr's Separatedness.
Theor. Comput. Sci., 1977

Algebraic Structures for Transitive Closure.
Theor. Comput. Sci., 1977

Data Types (Extended Abstract)
Proceedings of the 18th Annual Symposium on Foundations of Computer Science, Providence, Rhode Island, USA, 31 October, 1977

1976
Categories for fixpoint semantics.
PhD thesis, 1976

Categories for Fixpoint-Semantics
Proceedings of the 17th Annual Symposium on Foundations of Computer Science, 1976


  Loading...