Iterative Dutch combinatorial auctions

JOURNAL ARTICLE published July 2005 in Annals of Mathematics and Artificial Intelligence

Authors: Shantanu Biswas | Y. Narahari

JOURNAL ARTICLE published 2000 in Annals of Mathematics and Artificial Intelligence

Authors: Michael M. Richter

On biased random walks, corrupted intervals, and learning under adversarial design

JOURNAL ARTICLE published August 2020 in Annals of Mathematics and Artificial Intelligence

Research funded by Directorate for Computer and Information Science and Engineering (CCF-1848966 and CCF-1934915) | Israel Science Foundation (1602/19) | Google (N/A) | Milken Family Foundation (N/A) | Israeli Science Foundation (1002/14)

Authors: Daniel Berend | Aryeh Kontorovich | Lev Reyzin | Thomas Robinson

A finite intersection property and the Loeb measurability of ultrafilters on hyperfinite sets

JOURNAL ARTICLE published March 1992 in Annals of Mathematics and Artificial Intelligence

Authors: R. Lee Panetta

Volume Index

JOURNAL ARTICLE published May 2004 in Annals of Mathematics and Artificial Intelligence

Impossibility results for belief contraction

JOURNAL ARTICLE published November 2019 in Annals of Mathematics and Artificial Intelligence

Authors: Sven Ove Hansson

Restricted semantics for default reasoning

JOURNAL ARTICLE published December 2018 in Annals of Mathematics and Artificial Intelligence

Research funded by Natural Science Fund of China (61672049) | Natural Science Fund of China (61732001)

Authors: Zuoquan Lin | Chen Chen

Multi-Agent Systems Specification and Certification: A Situation and State Calculus Approach

JOURNAL ARTICLE published August 2004 in Annals of Mathematics and Artificial Intelligence

Authors: Paula Gouveia | Jaime Ramos

JOURNAL ARTICLE published 2002 in Annals of Mathematics and Artificial Intelligence

JOURNAL ARTICLE published 1998 in Annals of Mathematics and Artificial Intelligence

Authors: Joeri Engelfriet | Heinrich Herre | Jan Treur

Some artefacts of integer-computed circles

JOURNAL ARTICLE published December 1996 in Annals of Mathematics and Artificial Intelligence

Authors: Hubert Holin

Preface

JOURNAL ARTICLE published February 2009 in Annals of Mathematics and Artificial Intelligence

Authors: Silvio Ranise | Ullrich Hustadt

An average case analysis of a resolution principle algorithm in mechanical theorem proving

JOURNAL ARTICLE published March 1992 in Annals of Mathematics and Artificial Intelligence

Authors: T. H. Hu | C. Y. Tang | R. C. T. Lee

Computational Logic in Multi-Agent Systems: Recent Advances and Future Directions

JOURNAL ARTICLE published September 2004 in Annals of Mathematics and Artificial Intelligence

Authors: Paolo Torroni

Volume Contents

JOURNAL ARTICLE published September 2004 in Annals of Mathematics and Artificial Intelligence

The SAT+CAS method for combinatorial search with applications to best matrices

JOURNAL ARTICLE published December 2019 in Annals of Mathematics and Artificial Intelligence

Authors: Curtis Bright | Dragomir Ž. Đoković | Ilias Kotsireas | Vijay Ganesh

The complexity of homomorphisms and renamings for minimal unsatisfiable formulas

JOURNAL ARTICLE published January 2005 in Annals of Mathematics and Artificial Intelligence

Authors: Hans Kleine Büning | Daoyun Xu

Model-based diagnosis of continuous static systems

JOURNAL ARTICLE published March 1994 in Annals of Mathematics and Artificial Intelligence

Authors: Stefano Cermignani | Giorgio Tornielli

Top-down development of layered fault tolerant systems and its problems ? a deontic perspective

JOURNAL ARTICLE published March 1993 in Annals of Mathematics and Artificial Intelligence

Authors: J. Coenen

Circumscriptive semantics for updating knowledge bases

JOURNAL ARTICLE published June 1991 in Annals of Mathematics and Artificial Intelligence

Authors: Marianne Winslett