Behaviorist intelligence and the scaling problem
A typed resolution principle for deduction with conditional typing theory
Controlling cooperative problem solving in industrial multi-agent systems using joint intentions
Robust reasoning: integrating rule-based and similarity-based reasoning
Multiagent negotiation under time constraints
BIDA∗: an improved perimeter search algorithm
The effect of bounding the number of primitive propositions and the depth of nesting on the complexity of modal logic
Announcement
Forthcoming papers
Author index—Volume 75 (1995)