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 Sponsored conferences
Contents of latest issue (Volume 23, no.2-3 / 2010)
- Boris Konev, Renate A. Schmidt and Stephan Schulz, Special issue on practical aspects of automated reasoning
- Michel Ludwig and Ullrich Hustadt, Implementing a fair monodic temporal logic prover
- Christoph Weidenbach and Patrick Wischnewski, Subterm contextual rewriting
- Lan Zhang, Ullrich Hustadt and Clare Dixon, CTL-RP: A computation tree logic resolution prover
- Adam Pease, Geoff Sutcliffe, Nick Siegel and Steven Trac, Large theory reasoning with SUMO at CASC
- Roberto Asín Achá, Robert Nieuwenhuis, Albert Oliveras and Enric Rodríguez-Carbonell, Practical algorithms for unsatisfiability proof and core generation in SAT solvers
- Jens Otten, Restricting backtracking in connection calculi
- Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue and Oliver Ray, SOLAR: An automated deduction system for consequence finding
- Nasim Farsiniamarj and Volker Haarslev, Practical reasoning with qualified number restrictions: A hybrid Abox calculus for the description logic SHQ
- Ulrich Furbach, Ingo Glöckner and Björn Pelzer, An application of automated reasoning in natural language question answering
- J.D. Phillips and David Stanovský, Automated theorem proving in quasigroup and loop theory
- 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)
- Fei-Yue Wang, IS: The #1 AI Publication
- Qiang Yang, Zhi-Hua Zhou, Wenji Mao, Wei Li, Nathan Nan Liu, Social Learning
- Yiming Yang, Shinjae Yoo, Frank Lin, Il-Chul Moon, Personalized Email Prioritization Based on Content and Social Network Analysis
- Lei Tang, Huan Liu, Toward Predicting Collective Behavior via Social Dimension Extraction
- Bjoern Bringmann, Michele Berlingerio, Francesco Bonchi, Aristides Gionis, Learning and Predicting the Evolution of Social Networks
- Huzefa Rangwala, Salman Jamali, Defining a Coparticipation Network Using Comments on Digg
- Yan Dang, Yulei Zhang, HsinChun Chen, A Lexicon-Enhanced Method for Sentiment Classification: An Experiment on Online Product Reviews
- Junping Zhang, Hua Huang, Jue Wang, Manifold Learning for Visualizing and Analyzing High-Dimensional Data
- 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
- Huib Aldewereld, Julian Padget, Wamberto Vasconcelos, Javier Vázquez-Salceda, Paul Sergeant, Athanasios Staikopoulos, Adaptable, Organization-Aware, Service-Oriented Computing
- Fei-Yue Wang, The Emergence of Intelligent Enterprises: From CPS to CPSS