AISMC | Conference on Artificial Intelligence and Symbolic Mathematical |
Computation | |
CAIA | Conference on Artificial Intelligence for Applications |
COCOS | Workshop on Global Constraint Optimization and Constraint |
Satisfaction | |
CONCUR | Conference on Concurrency Theory |
CoSolv | Workshop on Cooperative Solvers in Constraint Programming |
COTIC | Workshop on Concurrent Constraint Programming for Time Critical |
Applications and Multi-Agent Systems | |
CP | Conference on Principles and Practice of Constraint Programming |
(ab 1995, vorher: PPCP) | |
CPDC | Workshop on Constraint Programming for Decision and Control |
CSCLP | Workshop on Constraint Solving and Constraint Logic Programming |
ECAI | European Conference on Artificial Intelligence |
EPIA | Portuguese Conference on Artificial Intelligence |
FGCS | Fifth Generation Computer Systems |
FLAIRS | bis 1999: Florida Artificial Intelligence Research Symposium |
Conference, ab 2000: Florida Artificial Intelligence Research Society | |
Conference | |
FroCoS | Workshop Frontiers of Combining Systems |
GWAI | German Workshop on Artificial Intelligence |
IAAI | Conference on Innovative Applications of Artificial Intelligence |
ICLP | International Conference on Logic Programming |
ICTAI | IEEE International Conference on Tools with Artificial Intelligence |
IJCAI | International Joint Conference on Artificial Intelligence |
ILPS | International Logic Programming Symposium |
INAP | International Conference on Applications of Prolog |
ISWC | International Semantic Web Conference |
JFPLC | Journées Francophones de Programmation en Logique et |
Programmation par Contraintes | |
JICSLP | Joint International Conference and Symposium on Logic |
Programming | |
JSSST | Japan Society for Software Science and Technology Conference |
KI | Deutsche Jahrestagung Künstliche Intelligenz |
KR | Conference on Principles of Knowledge Representation and Reasoning |
LPSS | Logic Programming Summer School |
MultiCPL | Workshop on Multiparadigm Constraint Programming Languages |
OCS | Workshop on Over-Constrained Systems |
OOPSLA | ACM Conference on Object-Oriented Programming Systems, |
Languages and Applications | |
PACLP | Conference and Exhibition on Practical Application of Constraint |
Technologies and Logic Programming | |
PADL | Workshop on Practical Aspects of Declarative Languages |
PAIS | Conference on Prestigious Applications of Intelligent Systems |
PA Java | Conference and Exhibition on Practical Application of Java |
PPCP | Conference on Principles and Practice of Constraint Programming |
(bis 1994, danach: CP) | |
PRICAI | Pacific Rim International Conference on Artificial Intelligence |
PuK | GI Workshop Planen, Scheduling und Konfigurieren, Entwerfen |
RFIA | Reconnaissance des Formes et Intelligence Artificielle |
SAC | ACM Symposium on Applied Computing |
SARA | Symposium on Abstraction, Reformulation and Approximation |
SCAI | Scandinavian Conference Conference on Artificial Intelligence |
SPICIS | Singapore International Conference on Intelligent Systems |
TRICS | Workshop on Techniques foR Implementing Constraint programming |
Systems | |
WDS | Week of Doctoral Students |
WFLP | Workshop on Functional and (Constraint) Logic Programming |
XPS | Deutsche Expertensystemtagung |