Annals of Mathematics and Artificial Intelligence, Volume 39

Volume 39, Number 1-2, September 2003

• Shlomo Zilberstein, François Charpillet, Philippe Chassaing: Optimal Sequencing of Contract Algorithms. 1-18
• Ariel Felner, Sarit Kraus, Richard E. Korf: KBFS: K-Best-First Search. 19-39
• Amnon Meisels, Andrea Schaerf: Modelling and Solving Employee Timetabling Problems. 41-59
• Josefina Sierra-Santibáñez: Declarative Formalization of Reasoning Strategies: A Case Study on Heuristic Nonlinear Planning. 61-100
• Alexander Bochman: Brave Nonmonotonic Inference and Its Kinds. 101-121
• Rachel A. Bourne, Simon Parsons: Extending the Maximum Entropy Approach to Variable Strength Defaults. 123-146
• Michal Pechoucek: Decision Planning Knowledge Representation Framework: A Case-Study. 147-174
• Rachel Ben-Eliyahu-Zohary, Carmel Domshlak, Ehud Gudes, N. Liusternik, Amnon Meisels, Tzachi Rosen, Solomon Eyal Shimony: FlexiMine - A Flexible Platform for KDD Research and Application Development. 175-204

Volume 39, Number 3, November 2003

• Endre Boros, Vladimir Gurvich, Leonid Khachiyan, Kazuhisa Makino: On Maximal Frequent and Minimal Infrequent Sets in Binary Matrices. 211-221
• Endre Boros, Takashi Horiyama, Toshihide Ibaraki, Kazuhisa Makino, Mutsunori Yagiura: Finding Essential Attributes from Binary Data. 223-257
• Sally A. Goldman, Stephen D. Scott: Multiple-Instance Learning of Real-Valued Geometric Patterns. 259-290
• Jeffrey Jackson: On the Efficiency of Noise-Tolerant PAC Algorithms Derived from Statistical Queries. 291-313
• Avner Priel, Ido Kanter: Time Series Generation by Recurrent Neural Networks. 315-332
• Hans-Ulrich Simon: How Many Queries Are Needed to Learn One Bit of Information? 333-343

Volume 39, Number 4, December 2003

• Pierre Marquis, Nadège Porquet: Resource-Bounded Paraconsistent Inference. 349-384
• Luigi Palopoli, Giorgio Terracina, Domenico Ursino: A Plausibility Description Logic for Handling Information Sources with Heterogeneous Data Representation Formats. 385-430
• Jan Chomicki, Sofie Haesevoets, Bart Kuijpers, Peter Z. Revesz: Classes of Spatio-Temporal Objects and their Closure Properties. 431-461