Editorial Board
Learning one subprocedure per lesson
Formalizing nonmonotonic reasoning systems
A theorem on the consistency of circumscription
Using approximate reasoning to represent default knowledge
Fifth annual conference on applications of artificial intelligence : March 16–18, 1987, Sheraton Twin Towers, Orlando, FL, U.S.A.
Call for papers: Second international symposium on knowledge's engineering—Software engineering : April 6–10, 1987, Department of Computer Sciences, Polytechnical University of Madrid, Spain
Third international conference on artificial intelligence and education : May 8–10, 1987, University of Pittsburgh, PA, U.S.A.
Call for participation: Workshop on qualitative physics : May 27–29, 1987, Urbana, IL, U.S.A.
Call for papers: Fourth international conference on logic programming : May 1987, University of Melbourne, Australia
Second international conference on applications of artificial intelligence in engineering : August 4–7, 1987, Boston, MA, U.S.A.
Forthcoming papers, Boston, MA, U.S.A.