Automatic Cross-Reference Structure

Currently available, partial conference listings


These are links to lists that contain only some of the articles in the conference in question. Additions to these lists are made on an as-needed basis: when an article in one of these conferences is to be included in an ACRES bibliography or other similar reference list, it is added to the register for the conference in question, and appears in the list referenced below.

AAAI     National Conference on Artificial Intelligence

AUVSI     Association for Autonomous Vehicle Systems International

AJCAI     Australian Joint Conference on Artificial Intelligence

IEEE     CONF. on Artificial Intelligence for Applications

CSCSI     Conference of the Canadian Society for Computational Studies of Intelligence

CLP     Conference on Logic Programming

ECP     European Conference on Planning

EWSP     European Workshop on Planning

FAPR     Formal and Applied Practical Reasoning

FCS     Formalization of Commonsense Reasoning

CHI     Human Factors in Computation

HART     Hybrid and Real-Time Systems

LOPSTR     Int. Workshop on Logic Program Synthesis and Transformation

ATAL     Intelligent Agents

EDBT     International Conference on Extending Database Technology

ICTL     International Conference on Temporal Logic

IJCAI     International Joint Conference on Artificial Intelligence

TAPSOFT     International Joint Conference on Theory and Practice of Software Development

ISMIS     International Symposium on Methodologies for Intelligent Systems

CSRW     International Workshop on Common Sense Reasoning

NMRW     International Workshop on Mon-Monotonic Reasoning

TIME     International Workshop on Temporal Representation and Reasoning

JELIA     Journées Européennes sur la Logique et l'I.A.

KI     Künstliche Intelligenz (German A I Conference)

LID     Logic in Databases

PRICAI     Pacific Rim International Conf on Artificial Intelligence

EPIA     Portuguese Conference on Artificial Intelligence

SCAI     Scandinavian Conf on Artificial Intelligence

SSS     Stanford Spring Symposium

STACS     Symposium of Theoretical Aspects of Computer Science

TARK     Theoretical Aspects of Rationality and Knowledge