ECCAI Homepage previous | all ECCAI bulletins | next

Work at Home AI Jobs
ECCAI Bulletin
ECAI 2014
ACAI 2015
ECAI 2016
AI Education
AI Conferences
Member Societies
General Assembly
Membership Benefits
ECAI Conferences
ECAI Proceedings Online
ACAI Summer Schools
ECCAI Bulletins
Travel Grants
Dissertation Award
Fellows Program
ECAI Proceedings
AI Communications
Eur. Forum on ICST
IEEE Intelligent Systems
Conference sponsoring

Bulletin #3, September 2010



New Polish AI Society

ECCAI welcomes the newly established Polish Artificial Intelligence Society (PAIS) in its family.

New composition of the ECCAI Board

Jérome Lang, Ann Nowé and Michael Wooldridge were elected as new members of the ECCAI Board by the General Assembly. Gerhard Brewka will continue as ECCAI President, and Grigoris Antoniou and Patrick Doherty as members.

In the name of ECCAI, the ECCAI Board wishes to thank the outgoing members Hendrik Blockeel, Marie-Odile Cordier and Paolo Traverso for their valuable contribution in the past years.

Call for ECCAI Fellows nominations

Nominations are sought for ECCAI Fellows 2011. The ECCAI Fellows program was initiated in 1999 to recognize individuals who have made significant, sustained contributions to the field of artificial intelligence (AI) in Europe. The ECCAI Fellows Program honors only a very small percentage of the total membership of all ECCAI member societies (up to a maximum of 3%).

An ECCAI society, or a group of at least two ECCAI Fellows from different countries can nominate. More details are found at the ECCAI web site. Deadline for nominations is February 11, 2011.


ECCAI Conferences

ECCAI Sponsored conferences

National conferences


AI Communications

Contents of latest issue (Volume 23, no.2-3 / 2010)

  1. Boris Konev, Renate A. Schmidt and Stephan Schulz, Special issue on practical aspects of automated reasoning
  2. Michel Ludwig and Ullrich Hustadt, Implementing a fair monodic temporal logic prover
  3. Christoph Weidenbach and Patrick Wischnewski, Subterm contextual rewriting
  4. Lan Zhang, Ullrich Hustadt and Clare Dixon, CTL-RP: A computation tree logic resolution prover
  5. Adam Pease, Geoff Sutcliffe, Nick Siegel and Steven Trac, Large theory reasoning with SUMO at CASC
  6. Roberto Asín Achá, Robert Nieuwenhuis, Albert Oliveras and Enric Rodríguez-Carbonell, Practical algorithms for unsatisfiability proof and core generation in SAT solvers
  7. Jens Otten, Restricting backtracking in connection calculi
  8. Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue and Oliver Ray, SOLAR: An automated deduction system for consequence finding
  9. Nasim Farsiniamarj and Volker Haarslev, Practical reasoning with qualified number restrictions: A hybrid Abox calculus for the description logic SHQ
  10. Ulrich Furbach, Ingo Glöckner and Björn Pelzer, An application of automated reasoning in natural language question answering
  11. J.D. Phillips and David Stanovský, Automated theorem proving in quasigroup and loop theory
  12. Simon Bäumler, Michael Balser, Florian Nafz, Wolfgang Reif and Gerhard Schellhorn, Interactive verification of concurrent systems using symbolic execution

IEEE Intelligent Systems

Contents of latest issue (Volume 25, no.4, July/August 2010)

  1. Fei-Yue Wang, IS: The #1 AI Publication
  2. Qiang Yang, Zhi-Hua Zhou, Wenji Mao, Wei Li, Nathan Nan Liu, Social Learning
  3. Yiming Yang, Shinjae Yoo, Frank Lin, Il-Chul Moon, Personalized Email Prioritization Based on Content and Social Network Analysis
  4. Lei Tang, Huan Liu, Toward Predicting Collective Behavior via Social Dimension Extraction
  5. Bjoern Bringmann, Michele Berlingerio, Francesco Bonchi, Aristides Gionis, Learning and Predicting the Evolution of Social Networks
  6. Huzefa Rangwala, Salman Jamali, Defining a Coparticipation Network Using Comments on Digg
  7. Yan Dang, Yulei Zhang, HsinChun Chen, A Lexicon-Enhanced Method for Sentiment Classification: An Experiment on Online Product Reviews
  8. Junping Zhang, Hua Huang, Jue Wang, Manifold Learning for Visualizing and Analyzing High-Dimensional Data
  9. Austin Tate, Yun-Heh Chen-Burger, Jeff Dalton, Stephen Potter, David Richardson, Jussi Stader, Gerhard Wickler, Ian Bankier, Christopher Walton, Patrick Williams, I-Room: A Virtual Space for Intelligent Interaction
  10. Huib Aldewereld, Julian Padget, Wamberto Vasconcelos, Javier Vázquez-Salceda, Paul Sergeant, Athanasios Staikopoulos, Adaptable, Organization-Aware, Service-Oriented Computing
  11. Fei-Yue Wang, The Emergence of Intelligent Enterprises: From CPS to CPSS
Last Update: 08-Oct-2010
Powered by DTAI