Principles and Practice of Multi-Agent Systems - PRIMA 2012

                                                                              PRIMA 2012

    The 15th International Conference on Principles and Practice of Multi-Agent Systems

                                                                Kuching, Sarawak, Malaysia

                                                                    September 3-7, 2012

                                                                http://www.prima2012.org/

                                    Co-located with PRICAI 2012, DC 2012 and PKAW 2012

Paper submission: March 30, 2012

Author notification: May 28, 2012

Camera-ready papers: June 15, 2012

Agent computing is an exciting, transformational approach to developing computer systems

that can rapidly and reliably solve real-world problems that usually demand human knowledge

and expertise. The value, power and flexibility of agent and multi-agent systems has been

demonstrated in application areas such as logistics, manufacturing, simulation, robotics,

decision support, entertainment, and especially in online market environments. As one of

the largest and fastest growing research fields of Computer Science, agent research today

includes a wealth of topics. The PRIMA 2012 Program Committee invites submissions of

original, unpublished, theoretical and applied work on any such topic, and encourages

reports on the development of prototype and deployed agent systems, and of experiments

that demonstrate novel agent system capabilities.

PRIMA 2012 proceedings will be published by Springer as a volume in the LNAI series and

proceedings will be available at the conference. Submitted papers should be 12-15 pages

in Springer LNCS format and must be in a form suitable for "double-blind" review.

Each submission will be subject to peer review in two rounds coordinated by an international

Senior Program Committee, and authors will be able to provide a short "rebuttal" of the

reviews before final decisions are made. A broad range of agent topics are of interest,

but all papers should clearly identify how their scientific or technical contributions

advance the state-of-the-art of agent computing practice or have a strong potential to do so.

Submitted papers should not be under review or submitted for publication elsewhere during

the review period.

Springer LNCS Author Instructions: http://www.springer.de/comp/lncs/authors.html

Submission: http://www.easychair.org/conferences/?conf=prima2012

Enquiries: prima2012-pc-chairs@cse.unsw.edu.au

----------------------------------------------------------------------------------------------

Organization

General Chairs

  Sandip Sen  (University of Tulsa, USA)

  Toshiharu Sugawara (Waseda University, Japan)

Local Arrangements Chairs

  Dickson Lukose (MIMOS Berhad, Malaysia)

  Cheah Wai Shiang (Universiti Malaysia Sarawak, Malaysia)

Sponsorship Chairs

  Longbing Cao (University of Technology, Sydney, Australia)

  Matthias Klusch (DFKI Saarbruecken, Germany)

  Sarvapali Ramchurn (University of Southampton, UK)

  Jie Zhang (Nanyang Technological University, Singapore)

Program Chairs

  Iyad Rahwan (Masdar Institute, UAE and MIT, USA)

  Wayne Wobcke (University of New South Wales, Australia)

Senior Program Committee

  Stephen Cranefield (University of Otago, New Zealand)

  Frank Dignum (Utrecht University, The Netherlands)

  Guido Governatori (NICTA, Australia)

  Katsutoshi Hirayama (Kobe University, Japan)

  Kate Larson (University of Waterloo, Canada)

  Rey-Long Liu (Tzu Chi University, Taiwan)

  Alessio Lomuscio (Imperial College London, UK)

  Andrea Omicini (University of Bologna, Italy)

  Jeremy Pitt (Imperial College London, UK)

 David Pynadath (University of Southern California, USA)

  Alex Rogers (University of Southampton, UK)

  Paolo Torroni (University of Bologna, Italy)

Tutorial Chair

  Edith Elkind (Nanyang Technological University, Singapore)

Workshop Chairs

  Sherief Abdallah (British University in Dubai, UAE and University of Edinburgh, UK)

  Hiromitsu Hattori (Kyoto University, Japan)

Publicity Chairs

  Jacob Crandall (Masdar Institute, UAE and MIT, USA)

  Koen Hindriks (Delft University of Technology, The Netherlands)

----------------------------------------------------------------------------------------------

Topics

Foundations of Agents and Multi-Agent Systems

  Logics of Agency

  Logics of Multi-Agent Systems

  Normative Systems

  Computational Game Theory

  Uncertainty in Agent Systems

  Agent and Multi-Agent Learning

  Agent and Multi-Agent System Architectures

Agent Programming Languages and Platforms

  Multi-Agent System Languages and Platforms

  BDI Architectures and Extensions

  Normative Multi-Agent Systems

  Agent-Oriented Software Engineering

  AOSE Methodologies

  Tools for Agent and Multi-Agent System Development

  Formal Specification and Verification

  Deployed System Case Studies

Agent-Based Modelling and Simulation

  Simulation Languages and Platforms

  Artificial Societies

  Virtual Environments

  Workflow Simulation

  Emergent Behaviour

  Modelling System Dynamics

  Application Case Studies

  Collaboration/Coordination/Communication

  Agent Communication Languages and Protocols

  Distributed Problem Solving

  Teamwork Models

  Coalition Formation

  Argumentation, Negotiation, Bargaining

  Auctions and Mechanism Design

  Trust and Reputation

  Computational Voting Theory

Hybrid Technologies

  Agents in Planning

  Agent-Based Scheduling

  Agent-Based Optimization

  Distributed Constraint Satisfaction

  Agents and Data Mining

  Semantic Web Agents

  Agents and Grid Computing

  Agents and Service Oriented Computing

  Agents and Pervasive Computing

  Robotics and Multi-Robot Systems

Application Domains

  Healthcare

  Transport/Logistics

  Emergency/Disaster Management

  Energy/Utility Management

  Sustainability/Resource Management

  Games/Entertainment

  eBusiness/eCommerce/eGovernment

  eResearch/eLearning

  Security/Surveillance

  Smart Cities

Applications

  Adaptive Personal Assistants

  Embodied Conversational Agents

  Virtual Characters

  Multi-Modal User Interfaces

  Autonomous Systems

  Mobile Agents

  Human-Robot Interaction

  Social Recommender Systems

Optimisation in Multi-Agent Systems (OPTMAS V)

Fifth International Workshop on Optimisation in Multi-Agent Systems (OPTMAS V)

To be held in conjunction with the *Eleventh International Conference on Autonomous and Multi-Agent Systems  (AAMAS 2012)*

4 or 5 June 2012

cfp at:https://sites.google.com/site/optmas2012

=====================================================================

Call
----
This workshop invites works from different strands of the multi-agent systems community that pertain to the design of algorithms, models, and techniques to deal with multi-agent optimisation problems. In so doing, this workshop aims to provide a forum for researchers to discuss common issues that arise in solving optimisation problems in different areas and elaborate common benchmarks to test their solutions.

Invited Talk
----------------
to be announced
(Previous invited speakers include Moshe Tennenholtz (2008), Milind Tambe (2009), Paul Scerri (2010), Sven Koenig (2011) ).

Background
----------------
The number of novel applications of multi-agent systems has followed an exponential trend over the last few years, ranging from online auction design, through in multi-sensor networks, to scheduling of tasks in multi-actor systems. Multi-agent systems designed for all these applications generally require some form of optimization in order to achieve their goal. Given this, a number of advancements have been made in the design of winner determination, coalition formation, and distributed constraints optimization algorithms among others. However, there are no general principles guiding the design of such algorithms that would enable researchers to either exploit algorithms designed in other areas or to ensure that their algorithms conform to some level of applicability to real problems.
This workshop aims to address the above issues by bringing together researchers from different parts of the Multi-Agent Systems research area to present their work and discuss acceptable solutions, benchmarks, and evaluation methods for generally researched optimization problems.
In particular, the main issues to be addressed by the workshop include (but are not limited to):

1. Techniques to model and solve optimisation problems in which the actors
are partly or completely distributed and can only communicate with their peers.
2. Algorithms to compute solutions to mechanisms that deal with different stakeholders who  may  be  self  interested  or  may  have  different computation/communication capabilities from their peers.
3. Techniques to manage and disseminate relevant information across different agents.
4. Dealing with privacy concerns: solving complex  optimization  problems while leaking as little private information as possible
5. Problems that require anytime algorithms.
6. Approximate algorithms that need to provide  guarantees  on  the  quality of the solution.
7. Mechanisms whose properties  can  be  significantly  affected  if  the solution computed is not the optimal one.
8. Techniques to deal with optimizations that have to  be  repeated  with possibly only slight changes in the input data.
9. Techniques to deal  with  situations  where  the  input  data  may  be uncertain or unreliable, requiring that the solution computed be robust to slight differences from the true values.
10. Techniques to deal with agents that are tied to physical devices. This involves computation and communication constraints that need to  be considered in the coordination techniques, as well as the possibility of failures of the devices and communication links.

Keywords
-------------
Topics include but are not limited to:

* Distributed Constraints Optimisation/Satisfaction
* Winner Determination Algorithms in Auctions
* Coalition Formation Algorithms
* Algorithms to compute Nash Equilibrium in games
* Optimisation under uncertainty
* Optimisation with incomplete or dynamic input data
* Algorithms for real-time applications

Workshop motivation
--------------------------
OPTMAS complements the objectives of the AAMAS conference by providing a forum for multi-agent algorithm designers. The workshop will be attractive to those working in the general areas of distributed optimization, auction design, coordination, learning, and uncertainty and will be a good place to present original work and discuss acceptable benchmarks and evaluation methods for generally researched optimization problems.
The aim of OPTMAS is to complement the theoretical angle taken by work presented in the main conference, and other workshops, by focusing on the implementation issues and the general trends in optimization problems that arise across a variety of multi-agent applications.

Important dates
---------------------
* 28th FEBRUARY, 2012 - Submission of contributions to workshops
* 27th MARCH, 2012 - Workshop paper acceptance notification
* 4th or 5th JUNE, 2012 - Workshop takes place in conjunction with AAMAS 2012.

Submission
---------------
Submissions should conform to the ACM SIG style (follow the formatting instructions available at the AAMAS-2012 website) and should not be more than *10* pages long (excluding appendices).

Authors can submit their papers through the OPTMAS 2012 Easychair submission site:
https://www.easychair.org/conferences/?conf=optmas2012

Reviewing process
-----------------
Papers will be reviewed by at least 2 reviewers. Criteria for selection of papers will include: originality, readability, relevance to themes, soundness, and overall quality.

Publication
-----------
Best papers from OPTMAS 2008 and OPTMAS 2009 were selected for publication in the
special issue on Optimisation in Multi-Agent System of the Journal of Autonomous and Multiagent Systems (http://www.springerlink.com/content/n7p264t41264 ).

We plan to continue this initiative for the 2010, 2011, 2012 edition. Therefore, we will negotiate the publication of selected, best papers in a quality journal (JAAMAS or similar).

Organizing committee
--------------------
Dr. Jesus Cerquides Bueno, IIIA - CSIC, Spain
Dr. Alessandro Farinelli, University of Verona, Italy
Dr. Sarvapali D. Ramchurn University of Southampton, UK
Dr. Juan Antonio Rodriguez-Aguilar,IIIA - CSIC, Spain
Dr. Meritxell Vinyals, University of Verona, Italy

Programme Committee
--------------------------------------
Mohsen Afsharchi         University of Zanjan
Ana L. C. Bazzan         Universidade Federal do Rio Grande do Sul
Christian Blum           Universitat Politecnica de Catalunya
Archie Chapman           University of Sydney
Francesco M. Fave        University of Southampton
Katsutoshi Hirayama      Kobe University
Christopher Krenkintveld University of Texas
Sven Koenig              University of Southern California
Nikos Komodakis          University of Crete
Akshat Kumar             University of Massachusetts
Robert N. Lass           Drexel University
Victor Lesser            University of Massachusetts
Beatriz López            University of Girona
Pedro Meseguer           IIIA-CSIC
Maria Polukarov          University of Southampton
Marc Pujol               IIIA-CSIC
Talal Rahwan             University of Southampton
Norman Salazar           IIIA-CSIC
Onn Shehory              IBM Haifa Research Lab
Eric Shieh               University of Southern California
Sameer Singh             University of Massachusetts
Ruben Stranders          University of Southampton
Greet Vanden             Berghe KaHo Sint-Lieven
William Yeoh             Singapore Management University
Roie Zivan               Ben Gurion University of the Negev
_

International Conference on Agents and Artificial Intelligence (ICAART 2011)

ICAART 2011 (International Conference on Agents and Artificial Intelligence - http://www.icaart.org) has an open call for papers, whose deadline is set for next July 08. The conference will be held in Rome, Italy next year, on January 28-30, 2011 and we hope you can participate in this prestigious conference by submitting a paper reflecting your current research.

The conference is sponsored by INSTICC and held in cooperation with the Portuguese Association for Artificial Intelligence (APPIA), the Spanish Association for Artificial Intelligence (AEPIA) and the Association for the Advancement of Artificial Intelligence (AAAI). INSTICC is member of the Workflow Management Coalition (WfMC), Foundation for Intelligent Physical Agents (FIPA) and the Object Management Group (OMG). 

The purpose of the 3rd International Conference on Agents and Artificial Intelligence (ICAART) is to bring together researchers, engineers and practitioners interested in the theory and applications in these areas. Two simultaneous but strongly related tracks will be held, covering both applications and current research work within the area of Agents, Multi-Agent Systems and Software Platforms, Distributed Problem Solving and Distributed AI in general, including web applications, on one hand, and within the area of non-distributed AI, including the more traditional areas such as Knowledge Representation, Planning, Learning, Scheduling, Perception and also not so traditional areas such as Reactive AI Systems, Evolutionary Computing and other aspects of Computational Intelligence and many other areas related to intelligent systems, on the other hand. HTCO

The conference program features a number of Keynote Lectures to be delivered by distinguished world-class researchers, including those listed below.

Submitted papers will be subject to a double-blind review process. All accepted papers will be published in the conference proceedings, under an ISBN reference, on paper and on CD-ROM support. The proceedings will be indexed by several major international indexers, including INSPEC, DBLP and we are awaiting the confirmation of indexation by Thomson Reuters Conference Proceedings Citation Index and EI.
Additionally, a short list of the best presented papers of the conference will be selected so that revised and extended versions of these papers will be published by Springer-Verlag in a CCIS Series book.
Best paper awards will be given during the conference closing session.
All published papers will be also available at the SciTePress Digital Library.

Workshops and special sessions are also invited. If you wish to propose workshop or a special session, for example based on the results of a specific research project, please contact the secretariat.


Kind regards,
Patricia Alves
ICAART Secretariat
Av. D. Manuel I, 27A 2.Esq.
2910-595 Setubal, Portugal
Tel.: +351 265 100 033
Fax: +44 203 014 8556
Email: icaart.secretariat@insticc.org



ICAART website: http://www.icaart.org/

IMPORTANT DATES:
  Regular Paper Submission: July 08, 2010
  Authors Notification: October 06, 2010
  Final Regular Paper Submission and Registration: October 26, 2010


In cooperation with: APPIA, AEPIA and AAAI 
Sponsored by: INSTICC
INSTICC is Member of: WfMC, FIPA and OMG

Proceedings indexed by INSPEC and DBLP
Thomson Reuters Conference Proceedings Citation Index and EI (awaiting the confirmation of indexation)
  
Best papers published by Springer-Verlag in a CCIS Series Book
 


TOPIC AREAS:

 AREA 1: Artificial Intelligence 
  - Knowledge Representation and Reasoning Ontologies
  - Model-Based Reasoning
  - Uncertainty in AI
  - Ambient Intelligence
  - Reactive AI
  - Hybrid Intelligent Systems
  - Planning and Scheduling
  - Case-Based Reasoning
  - Machine Learning
  - Pattern Recognition
  - Vision and Perception
  - AI and Creativity
  - Logic Programming
  - Expert Systems
  - Soft Computing
  - Fuzzy Systems
  - Neural Networks
  - Evolutionary Computing
  - Intelligent User Interfaces
  - Natural Language Processing
  - Cognitive Systems
  - State Space Search
  - Constraint Satisfaction
  - Data Mining
  - Industrial applications of AI

 AREA 2: Agents
  - Distributed Problem Solving
  - Agent Communication Languages
  - Agent Models and Architectures
  - Multi-Agent Systems
  - Brokering and Matchmaking
  - Cooperation and Coordination
  - Conversational Agents
  - Negotiation and Interaction Protocols
  - Programming Environments and Languages
  - Task Planning and Execution
  - Autonomous Systems
  - Cognitive Robotics
  - Group Decision Making
  - Web Intelligence
  - Web Mining
  - Semantic Web
  - Grid Computing
  - Agent Platforms and Interoperability
  - SOA and Software Agents
  - Simulation
  - Economic Agent Models
  - Social Intelligence
  - Security and Reputation
  - Mobile Agents
  - Pervasive Computing
  - Privacy, Safety and Security


KEYNOTES SPEAKERS:
- Cristiano Castelfranchi, Institute of Cognitive Sciences and Technologies (ISTC), Italy
- Boi Faltings, Swiss Federal Institute of Technology in Lausanne (EPFL), Switzerland
- Didier Dubois, Institut de Recherche en Informatique de Toulouse (IRIT), France
(list not yet complete)


PROGRAM COMMITTEE:
Please check the program committee members at http://www.icaart.org/program_committee.asp


SPECIAL SESSION:
Regular paper submission deadline: September 09, 2010
- Workflow and Event Analysis for Industrial Environments Manipulation through Multi-Agent Systems (WeAIMtMAS)
 http://www.icaart.org/special_sessions.asp

RuleML-2010

RuleML-2010

4th International Web Rule Symposium:
Research Based and Industry Focused

October 21-23, 2010, Washington, DC, USA


Co-located with the 13th Business Rules Forum



http://2010.ruleml.org/


Overview and Aim
======================================================
The International Web Rule Symposium has evolved from an annual series
of international workshops since 2002, international conferences in 2005
and 2006, and international symposia since 2007. This year, the 4th
International Web Rule Symposium (RuleML-2010) will be held near
Washington, DC, USA, co-located with the 13th Business Rules Forum, the
world's largest Business Rules event. RuleML-2010 is devoted to
practical distributed rule technologies and rule-based applications,
which need language standards for rules (inter)operating in, e.g., the
Semantic Web, Enterprise Systems, Intelligent Multi-Agent Systems,
Event-Driven Architectures, and Service-Oriented Applications.

RuleML-2010 is a research-based, industry-focused symposium: its main
goal is to build a bridge between academia and industry in the field of
rules and semantic technology, and so to stimulate the cooperation and
interoperability between business and research, by bringing together
rule system providers, participants in rule standardization efforts,
open source communities, practitioners, and researchers. The concept of
the symposium has also advanced continuously in the face of extremely
rapid progress in practical rule and event processing technologies. As a
result, RuleML-2010 will feature hands-on demonstrations and challenges
alongside a wide range of thematic tracks. It will thus be an exciting
venue to exchange new ideas and experiences on all issues related to the
engineering, management, integration, interoperation, and interchange of
rules in distributed enterprise intranets and open distributed
environments.


Conference Theme
======================================================
This year, we particularly welcome submissions that address applications
of Web rule technologies for business and information systems. We invite
you to share your ideas, results, and experiences: as an industry
practitioner, rule system provider, technical expert, developer, rule
user or researcher, exploring foundations, developing systems and
applications, or using rule-based systems. We invite high-quality
submissions related to (but not limited to) one or more of the following
topics:


Track Topics
------------------------------------------------------------------------------
Rules, Semantic Technology, and Cross-Industry Standards
Rules in current industry standards, including:
* XBRL: Extensible Business Reporting Language
* MISMO: Mortgage Industry Standards Maintenance Org
* FIXatdl: FIX Algorithmic Trading Definition Language
* FpML: Financial products Markup Language
* HL7: Health Level 7
* Acord: Association for Cooperative Operations Research and Development   (Insurance Industry)
* Rules for Governance, Risk, and Compliance (GRC), e.g., rules for   internal audit, SOX compliance, enterprise risk management (ERM),   operational risk, etc
* Rules and Corporate Actions


- Rule Transformation and Extraction
* Transformation and extraction with rule standards, such as SBVR, RIF and OCL
* Extraction of rules from code
* Transformation and extraction in the context of frameworks such as   KDM (Knowledge Discovery meta-model)
* Extraction of rules from natural language
* Transformation or rules from one dialect into another


- Rules and Uncertainty
* Languages for the formalization of uncertainty rules
* Probabilistic, fuzzy and other rule frameworks for reasoning with uncertain   or incomplete information
* Handling inconsistent or disparate rules using uncertainty
* Uncertainty extensions of event processing rules, business rules,   reactive rules, causal rules, derivation rules, association rules,   or transformation rules


- Rules and Norms
* Methodologies for modeling regulations using both ontologies and rules
* Defeasibility and norms: modeling rule exceptions and priority relations   among rules
* The relationship between rules and legal argumentation schemes
* Rule language requirements for the "isomorphic" modeling of legislation
* Rule based inference mechanism for legal reasoning
* E-contracting and automated negotiations with rule-based declarative   strategies


- Rules and Inferencing
* From rules to FOL to modal logics
* Rule-based non-monotonic reasoning
* Rule-based reasoning with modalities
* Deontic rule-based reasoning
* Temporal rule-based reasoning
* Priorities handling in rule-based systems
* Defeasible reasoning
* Rule-based reasoning about context and its use in smart environments
* Combination of rules and ontologies
* Modularity


- Rule-based Event Processing and Reaction Rules
* Reaction rule languages and engines (production rules, ECA rules, logic   event action formalisms, vocabularies/ontologies)
* State management approaches and frameworks
* Concurrency control and scalability
* Event and action definition, detection, consumption, termination, lifecycle   management
* Dynamic rule-based workflows and intelligent event processing   (rule-based CEP)
* Non-functional requirements, use of annotations, metadata to capture those
* Design time and execution time aspects of rule-based (Semantic) Business   Processes Modeling and Management
* Practical and business aspects of rule-based (Semantic) Business Process   Management (business scenarios, case studies, use cases etc.)


- Rule-Based Distributed/Multi-Agent Systems
* rule-based specification and verification of distributed and   multi-agent system
* rule-based distributed reasoning and problem solving
* rule-based agent architectures
* rules and ontologies for semantic agents
* rule-based interaction protocols for multi-agent systems
* rules for service-oriented computing (discovery, composition, etc.)
* rule-based cooperation, coordination and argumentation in multi-agent systems
* rule-based e-contracting and negotiation strategies in multi-agent systems
* rule interchange and reasoning interoperation in heterogeneous   Distributed/Multi-Agent Systems


We also welcome submissions on miscellaneous rule topics, such as
 - Rules and ontologies
 - Execution models, rule engines, and environments
 - Graphical processing, modeling and rendering of rules


Case studies, experience reports, and industrial problem statements are
particularly encouraged.


RuleML-2010 Challenge
======================================================
The RuleML-2010 Challenge is one of the highlights of RuleML-2010. Rules
are used in interesting and practically relevant ways to, e.g., derive
useful information, transform knowledge, provide decision support, and
provide automated rule-based monitoring, enforcement, validation or
management of the behavioral logic of an application. The Challenge
offers participants the chance to demonstrate their commercial and open
source tools, use cases, and applications.

This year Rule Challenge will have the following theme:

"Modelling Rules in the Temporal and Geospatial Applications"

The participants of the Challenge have the opportunity to understand the current trend of rule technology and standard development in the temporal and geospatial domain including:

- temporal modelling and reasoning;
- geospatial modelling and reasoning;
- cross linking between temporal and geospatial knowledge;
- visualization of the rules with graphics models in order  to favour the end-user interaction.


See, for more details (including submission guidelines)

http://www.csw.inf.fu-berlin.de/ruleml2010/ruleml-2010-challenge.html


Conference Language
======================================================
The official language of the conference will be English.


Submission
======================================================
Authors are invited to submit original contributions of practical
relevance and technical rigor in the field, experience reports and
show/use case demonstrations of effective and practical rule-based
technologies, or applications deployed in distributed environments.


RuleML-2010 Submission Guidelines, Springer Proceedings, Best Paper
Award
------------------------------------------------------------------------
Papers must be in English and may be submitted at

http://www.easychair.org/conferences/?conf=ruleml2010

as:

Full Papers (15 pages in the proceedings)
Short Papers (8 pages in the proceedings)

Please upload all submissions by also conforming to the following guidelines:

 * Papers must be uploaded as PDF files in LNCS format    (http://www.springer.de/comp/lncs/authors.html);
 * Whenever possible, indicate as a first keyword the track to which the paper    is submitted.

To ensure high quality, submitted papers will be carefully peer-reviewed by 3 PC members based on originality, significance, technical soundness, and clarity of exposition. Authors are requested to upload the abstracts of their papers before May 25, 2010 and to upload their complete papers by June 1, 2010. The selected papers will be published in book form in the Springer Lecture Notes in Computer Science (LNCS) series. The best paper from all submissions will be determined by the PC and a Best Paper Award will be presented at the Symposium. All submissions must be made electronically. A selection of revised papers will be resubmitted to a special issue of a journal.

  Review Process
======================================================
The submitted papers will pass the blind review process. At least three
members of the Program Committee will review each submission.


Important Dates:
======================================================

RuleML-2010 Symposium
----------------------------------------------
Abstract submission deadline: May 25, 2010
Paper Submission deadline: June 1, 2010
Notification of acceptance: July 7, 2010
Camera ready due: July 28, 2010
Symposium dates: October 21-23, 2010


RuleML-2010 Challenge (dates to be confirmed)
----------------------------------------------
Submission deadline for demo papers and  demo systems:    September 3, 2010
Notification of accepted demo papers  and demo systems: September 17, 2010
Submission deadline for  demo systems only: October 1, 2010  (contingent on availability of demo slots)
Notification for demo  systems only: October 15th, 2010



Conference Venue
======================================================
RuleML-2010 will take place at the Hilton Alexandria Mark Center, which is located 5 miles southwest of Washington, DC. The symposium is co-located with the 13th Business Rules Forum.

Hilton Alexandria Mark Center
5000 Seminary Road, Alexandria, Virginia, United States 22311

Internet: http://www1.hilton.com/en_US/hi/hotel/DCAAHHF-Hilton-Alexandria-Mark-Center-Virginia/index.do


Program Committee
======================================================

General Chairs
--------------------
Mike Dean, Raytheon BBN Technologies, USA
Said Tabet, RuleML Initiative, USA


Program Chairs
--------------------
John Hall, Model Systems, UK
Antonino Rotolo, University of Bologna, Italy


Liaison Chair
--------------------
Mark Proctor, Red Hat, UK


Publicity Chair
--------------------
Patrick Hung, University of Waterloo, Canada


Rule Responder Chairs
--------------------
Efstratios Kontopoulos, Aristotle University of Thessaloniki, Greece
Kalliopi Kravari, Aristotle University of Thessaloniki, Greece


Track Chairs
--------------------
Rules, Semantic Technology, and Cross-Industry Standards
Tracy Bost, Valocity, USA
Robert Golan, DBMind, USA

Rule Transformation and Extraction
Mark Linehan, IBM, USA

Rules and Uncertainty
Davide Sottara, University Bologna, Italy
Nikolaus Wulff, University of Muenster, Germany

Rules and Norms
Thomas Gordon, Fraunhofer FOKUS, Germany
Guido Governatori, NICTA, Australia

Rules and Inferencing
Grigoris Antoniou, Information Systems Laboratory, FORTH, Greece
Antonis Bikakis, Information Systems Laboratory, FORTH, Greece

Rule-based Event Processing and Reaction Rules
Alex Kozlenkov, Betfair Ltd., UK
Adrian Paschke, Free Univ. Berlin, Germany

Rule-Based Distributed/Multi-Agent Systems
Nick Bassiliades, Aristotle University of Thessaloniki, Greece
Costin Badica, University of Craiova, Romania


RuleML-2010 Challenge Chairs
------------------------------
Enrico Francesconi, ITTIG-CNR, Italy
Monica Palmirani, University of Bologna, Italy
Fabio Vitali, University of Bologna, Italy


RuleML-2010 Program Committee
------------------------------
Hassan Ait-Kaci, IBM, Canada
Sidney Bailin, Knowledge Evolution, USA
Matteo Baldoni, University of Turin, Italy
Claudio Bartolini, HP Labs, USA
Bernhard Bauer, University of Augsburg, Germany
Mikael Berndtsson, University of Skövde, Sweden
Pedro Bizarro, University of Coimbra, Portugal
Jonathan Bnayahu, IBM Haifa Research Lab, Israel
Guido Boella, University of Turin, Italy
Peter Bollen, University of Maastricht, Netherlands
Jordi Cabot, Universitat Oberta de Catalunya, Spain
Carlos Castro, Unversidad Técnica Federico Santa María, Chile
Donald Chapin, Business Semantics Ltd, UK
Federico Chesani, University of Bologna, Italy Horatiu Cirstea, Loria, France
Claudia d'Amato, University of Bari, Italy
Juergen Dix, Technische Universitaet Clausthal, Germany
Weichang Du, University of New Brunswick, Canada Schahram Dustdar, Vienna University of Technology, Austria
Andreas Eberhart, Fluid Operations, Germany
Jenny Eriksson Lundström, Uppsala University, Sweden
Opher Etzion, IBM, Israel
Todd Everett, Nationwide, USA
Maribel Fernandez, King�s College London, UK
Enrico Francesconi, ITTIG-CNR, Italy
Dragan Gasevic, Athabasca University, Canada
Adrian Giurca, Brandenburg University of Technology at Cottbus, Germany
Ioannis Hatzilygeroudis, University of Patras, Greece
Stijn Heymans, Technischen Universität Wien, Austria
Minsu Jang, E&T Research Institute, Korea
Yuh-Jong Hu, National Chengchi University, Taiwan Yiannis Kompatsiaris, Informatics and Telematics Institute, Greece
Manolis Koubarakis, National and Kapodistrian University of Athens, Greece
Wolfgang Laun, Thales Rail Signalling Solutions GesmbH, Austria Ching Long Yeh, Tatung University, Taiwan Ian Mackie, Ecole Polytechnique, France
Christopher Matheus, Vistology, USA
Craig McKenzie, SAIC Ltd., UK
Jing Mei, IBM, China
Zoran Milosevic, Deontik, Australia
Anamaria Moreira, URFN, Brazil
Leora Morgenstern, IBM, USA
Joerg Mueller, Technische Universitaet Clausthal, Germany
Chieko Nakabasami, Toyo University, Japan
Monica Palmirani, University of Bologna, Italy
Alun Preece, Cardiff University, UK
Maher Rahmouni, HP Labs, UK
Dave Reynolds, HP Labs, UK
Graham Rong, MIT Sloan School of Management, USA
Giovanni Sartor, University of Bologna, Italy
Marco Seirio, RuleCore, Sweden
Silvie Spreeuwenberg, LibRT, The Netherlands
Giorgos Stamou, National Technical University of Athens, Greece
Giorgos Stoilos, National Technical University of Athens, Greece
Nenad Stojanovic, University of Karlsruhe, Germany
Umberto Straccia, ISTI-CNR, Italy
Terrance Swift, XSB Inc., USA
Leon Van der Torre, University of Luxembourg, Luxembourg Jan Vanthienen, Katholieke Universiteit Leuven, Belgium
Fabio Vitali, University of Bologna, Italy
George Vouros, University of the Aegean, Greece
Kewen Wang, Griffith University, Australia
Segev Wasserkrug, IBM, Israel


RuleML-2010 Partners
======================================================
                                  Partner Organizations
---------------------------------------------------
W3C: The World Wide Web Consortium

Media Partners
---------------------------------------------------
Springer LNCS

UniDL'10 - First International Workshop on Uncertainty in Description Logics

                 New submission deadline: 11. of April
-------------------------------------------------------------------

                          UniDL'10
First International Workshop on Uncertainty in Description Logics
             co-located with IJCAR 2010 at FLoC 2010

                        July 20, 2010

                        Edinburgh, UK


             http://lat.inf.tu-dresden.de/UniDL
-------------------------------------------------------------------


During the recent decade, handling uncertainty has started to play an
important role in ontology languages, especially in application areas
like the Semantic Web, biomedicine, and artificial intelligence. For
this reason, there is currently a strong research interest in
description logics (DLs) that allow for dealing with uncertainty. The
subject of the workshop is how to deal with uncertainty and
imprecision in Description Logics (DLs).  This encompasses approaches
that enable probabilistic or fuzzy reasoning in DLs, but the workshop
is also open for approaches based on other uncertainty formalisms. The
workshop focusses on the investigation of reasoning problems and
approaches for solving them, including especially tractable ones. For
classical DL reasoning problems such as subsumption and
satisfiability, algorithms that can handle uncertainty exist, but they
are still less well-investigated than in the case of standard DLs
without uncertainty. For novel reasoning services, such as query
answering, computation of generalizations, modules, or explanations,
it is not yet clear how to realize them in DLs that can express
uncertainty.


SPONSOR

UniDL is sponsored by the Artificial Intelligence Journal (AIJ)


INVITED SPEAKER

Ralf Moeller,  Hamburg University of Technology


TOPICS OF INTEREST

include but are not limited to:

    * Modeling of uncertain knowledge in DLs
    * Different formalisations of uncertainty for DLs
    * Formal semantics for uncertain information in DLs
    * Extensions of DL reasoning problems to uncertainty
    * Reasoning algorithms for DLs with uncertainty, in particular
    * Tableau algorithms for probabilistic DLs or fuzzy DLs
    * Tractable DLs with uncertainty
    * Complexity of uncertain reasoning
    * System descriptions for implemented reasoning algorithms
      in uncertain DLs
    * Novel applications of DLs with uncertainty
    * Open and future problems


IMPORTANT DATES:

*New* submission deadline: April 11, 2010
             Notification: April 29, 2010
            Final version:   May 18, 2010
                 Workshop:  July 20, 2010


SUBMISSION DETAILS:

The workshop welcomes submissions in pdf format in Springer's LNCS
style. Submissions can be
- technical papers not exceeding 10 pages,
- system descriptions not exceeding 6 pages, or
- position papers on work in progress not exceeding 3 pages
in LNCS. Submissions are via EasyChair at
http://www.easychair.org/conferences/?conf=unidl10 . The workshop
prceedings will be published as CEUR proceedings.

We adopt the same double submission policy as the DL workshop,
that is, we also welcome submissions of papers that have recently
been published at other conferences and workshops (e.g., KR,
AAAI, ECAI, DL, and URSW).


WORKSHOP CHAIRS:

- Thomas Lukasiewicz,    Oxford University, UK
- Rafael Penaloza,       TU Dresden, Germany
- Anni-Yasmin Turhan,    TU Dresden, Germany


PROGRAM COMMITTEE:

- Eyal Amir,   University of Illinois, Urbana-Champaign
- Fernando Bobillo,  University of Zaragoza
- Simona Colucci,  Technical University of Bari
- Fabio G. Cozman,  University of Sao Paulo
- Manfred Jaeger,  Aalborg University
- Pavel Klinov,  University of Manchester
- Ralf Moeller,  Hamburg University of Technology
- Mathias Niepert,  University of Mannheim
- Stefan Schlobach,  Vrije Universiteit Amsterdam
- Luciano Serafini,  IRS Trento
- Giorgos Stoilos,  Oxford University
- Umberto Straccia,  ISTI-CNR
- Guilin Qi,  Southeast University, China

Fifth "Starting Artificial Intelligence Research" Symposium - STAIRS-2010

######################################################################
## STAIRS-2010 ##         Call for Papers            ## STAIRS-2010 ##
######################################################################

The Fifth "Starting Artificial Intelligence Research" Symposium

16-20 August 2010 ## Lisbon, Portugal

http://ecai2010.appia.pt/

Deadline for submission of papers: Monday, 3 May 2010

######################################################################
## INTRODUCTION                                                     ##
######################################################################

The STAIRS-10 is the fourth European Starting AI Researcher Symposium.
STAIRS is an international meeting intended to support AI researchers,
from all countries, at the beginning of their career: PhD students or
people holding a PhD for less than one year. STAIRS-2010 will be
co-located with ECAI-2010, the European Conference on AI, in Lisbon,
Portugal, over 16-20 August 2010.

STAIRS offers doctoral students and young post-doctoral AI fellows:

* a first experience on submitting and presenting a paper in an
  international forum with a broad scope and a peer review process

* an opportunity to gather knowledge and exchange ideas related to
  their research problems and approaches together with information on
  European research careers and mobility.

Co-location with both ECAI and PAIS aims at creating a unique and
valuable opportunity for young researchers to gain experience at
presenting their work in a supportive scientific environment, and
obtain constructive feedback on the technical content of the work as
well as how to present the work and other related topics.

######################################################################
## TOPICS OF INTEREST                                               ##
######################################################################

Papers are welcome on all aspects of contemporary AI, including, but
not restricted to:

* Agents & Multiagent Systems
* Case-Based Reasoning
* Cognitive Modeling & Interaction
* Constraints & Search
* Knowledge Representation & Reasoning
* Machine Learning
* Model-Based Reasoning
* Natural Language Processing
* Perception & Sensing
* Planning & Scheduling
* Robotics
* Uncertainty in AI
* Applications of AI

An extensive list of subtopics is available at the conference website.

######################################################################
## IMPORTANT DATES                                                  ##
######################################################################

Paper submission deadline:
Monday, 3 May 2010

Notification of acceptance/rejection:
Friday, 28 May 2010

Conference:
16-20 August 2010

######################################################################
## PAPER FORMATTING & SUBMISSION INFORMATION                        ##
######################################################################

Papers must not exceed SIX (6) pages in camera-ready
format. Over-length submissions will be rejected without
review. Papers for STAIRS should be submitted using the ECAI
formatting style; details of the style are available at:

http://www.csc.liv.ac.uk/~mjw/ecai2010.zip

This file unpacks to a directory "ecai2010", and contains LaTeX and
other style files. The file "ecai2010.tex" is an example paper in
LaTeX format using the appropriate styles, and can be used as a
template for submissions.

Each accepted paper will be allocated SIX (6) pages in the
proceedings.

Multiple submissions with ECAI and PAIS is allowed if this is clearly
indicated on a front page preceding the paper itself. In borderline
cases single submissions will be preferred over multiple
submissions. In case of multiple acceptances the author(s) are
strictly required to withdraw their paper from all but one of the
events.

The proceedings of STAIRS, together with those of its associated
events, ECAI and PAIS, will be published and distributed by IOS
Press as a book and as a CD-ROM. The authors will be responsible for
producing camera-ready copies of papers, conforming to the ECAI 2010
formatting guidelines for inclusion in the proceedings. At least one
author of each accepted paper or poster is required to attend the
conference to present the contribution.

Submission and review of papers for ECAI-2010 will be managed via the
EasyChair system:

http://www.easychair.org/conferences/?conf=stairs2010

All submissions will be subject to LIGHT TOUCH review, with the goal
of providing constructive feedback to authors.

Depending on the quality of submissions, a subset of accepted papers
will be invited to submit a revised version to a journal special
issue.

IMPORTANT NOTE: At least one of the authors must be a PhD student, or
a person holding a PhD for less than one year. Papers not satisfying
this criterion will be rejected.

######################################################################
## ORGANISATION                                                    ##
######################################################################

STAIRS General Chair:

Thomas Ågotnes (mailto:Thomas.Agotnes@infomedia.uib.no)
University of Bergen, Norway

######################################################################



----------------------------------------------------------------------
Thomas Ågotnes
Department of Information Science and Media Studies
University of Bergen
P.O. Box 7802, N-5020 Bergen, Norway
Tel: (+47) 55584105  Fax: (+47) 55589149
Thomas.Agotnes@infomedia.uib.no
http://folk.uib.no/nmita/

UniDL'10 - First International Workshop on Uncertainty in Description Logics

                          UniDL'10
First International Workshop on Uncertainty in Description Logics
             co-located with IJCAR 2010 at FLoC 2010

                        July 20, 2010

                        Edinburgh, UK


             http://lat.inf.tu-dresden.de/UniDL
-------------------------------------------------------------------


During the recent decade, handling uncertainty has started to play an
important role in ontology languages, especially in application areas
like the Semantic Web, biomedicine, and artificial intelligence.  For
this reason, there is currently a strong research interest in
description logics (DLs) that allow for dealing with uncertainty. The
subject of the workshop is how to deal with uncertainty and
imprecision in Description Logics (DLs).  This encompasses approaches
that enable probabilistic or fuzzy reasoning in DLs, but the workshop
is also open for approaches based on other uncertainty formalisms. The
workshop focusses on the investigation of reasoning problems and
approaches for solving them, including especially tractable ones. For
classical DL reasoning problems such as subsumption and
satisfiability, algorithms that can handle uncertainty exist, but they
are still less well-investigated than in the case of standard DLs
without uncertainty. For novel reasoning services, such as query
answering, computation of generalizations, modules, or explanations,
it is not yet clear how to realize them in DLs that can express
uncertainty.


SPONSOR

UniDL is sponsored by the Artificial Intelligence Journal (AIJ)


INVITED SPEAKER

Ralf Moeller,  Hamburg University of Technology


TOPICS OF INTEREST

include but are not limited to:

    * Modeling of uncertain knowledge in DLs
    * Different formalisations of uncertainty for DLs
    * Formal semantics for uncertain information in DLs
    * Extensions of DL reasoning problems to uncertainty
    * Reasoning algorithms for DLs with uncertainty, in particular
    * Tableau algorithms for probabilistic DLs or fuzzy DLs
    * Tractable DLs with uncertainty
    * Complexity of uncertain reasoning
    * System descriptions for implemented reasoning algorithms
      in uncertain DLs
    * Novel applications of DLs with uncertainty
    * Open and future problems


IMPORTANT DATES:

Submission deadline: March 25, 2010
       Notification: April 28, 2010
      Final version:   May 18, 2010 **Updated**
           Workshop:  July 20, 2010


SUBMISSION DETAILS:

The workshop welcomes submissions in pdf format in Springer's LNCS
style. Submissions can be
- technical papers not exceeding 10 pages,
- system descriptions not exceeding 6 pages, or
- position papers on work in progress not exceeding 3 pages
in LNCS. Submissions exceeding these limits will not be
reviewed. Submissions are via EasyChair at
http://www.easychair.org/conferences/?conf=unidl10 .


WORKSHOP CHAIRS:

- Thomas Lukasiewicz,    Oxford University, UK
- Rafael Penaloza,       TU Dresden, Germany
- Anni-Yasmin Turhan,    TU Dresden, Germany


PROGRAM COMMITTEE:

- Eyal Amir,   University of Illinois, Urbana-Champaign
- Fernando Bobillo,  University of Zaragoza
- Simona Colucci,  Technical University of Bari
- Fabio G. Cozman,  University of Sao Paulo
- Manfred Jaeger,  Aalborg University
- Pavel Klinov,  University of Manchester
- Ralf Moeller,  Hamburg University of Technology
- Mathias Niepert,  University of Mannheim
- Stefan Schlobach,  Vrije Universiteit Amsterdam
- Luciano Serafini,  IRS Trento
- Giorgos Stoilos,  Oxford University
- Umberto Straccia,  ISTI-CNR
- Guilin Qi,  Southeast University, China

22th International IEEE Conference on Tools with Artificial Intelligence (IEEE-ICTAI'10)

IEEE-ICTAI'10

22th International IEEE  Conference on Tools with Artificial Intelligence

                 October 27-29, 2010, Arras, France

          45 mn from Charles de Gaulle Paris 
International Airport by direct train
                               or
              50 mn from downtown Paris by direct train


                   http://www.cril.univ-artois.fr/ictai10/

========================================================
Important Dates

Paper submission: June 6, 2010
Paper notification: July 15, 2010
Camera ready paper: August 31, 2010

========================================================

Aim & Scope
-------------------

The annual IEEE International Conference on Tools 
with Artificial Intelligence (ICTAI)
provides a major international forum where the 
creation and exchange of ideas related to
artificial intelligence are fostered among 
academia, industry, and government agencies. The
conference facilitates the cross-fertilization of 
these ideas and promotes their transfer into
practical tools, for developing intelligent 
systems and pursuing artificial intelligence
applications. The ICTAI encompasses all technical 
aspects of specifying, developing and
evaluating the theoretical underpinnings and 
applied mechanisms of the AI based components
of computer tools (i.e. algorithms, architectures and languages).

Topics (not limited to)
-------------------------------

AI Algorithms
AI in Bioinformatics
AI in Computer Security
AI in Databases and Data Mining
AI in E-commerce
AI in Games
AI in Information Assurance
AI in Logistics
AI in Medicine
AI in Multimedia Systems
AI in Real-time & Embedded Applications
AI in Robotics
AI in Software Engineering
Case-Based Reasoning
Cognitive Modelling
Constraint Programming
Collaborative Software Agents
Reasoning Under Fuzziness or Uncertainty
Evolutionary Computing
Hybrid Intelligent Systems
Information Retrieval
Intelligent Tutoring/Training Systems
Intelligent Internet Agents
Intelligent Interface Agents
Knowledge-based Systems
Knowledge Extraction
Knowledge Management and Sharing
Knowledge Representation and Reasoning
Machine Learning
Natural Language Processing and Understanding
Neural Networks
Ontologies
Planning and Scheduling
Qualitative Reasoning
Search and Heuristics, SAT, CSP, QBF
Semantic Web-Techniques & Technologies
Speech Processing and Understanding
Vision/Image Processing & Understanding

Paper Submission
---------------------------

The submissions should contain original, high 
quality, not submitted or published elsewhere
work. Papers should be submitted electronically 
(through ICTAI 2010 web site) in pdf format
and should conform to IEEE specifications 
(single-spaced, double-column, 10-point font size,
up to 8 pages).

Paper Presentation
----------------------------

Each accepted paper should be presented by one of 
the authors and accompanied by at least
one full registration fee payment, to guarantee 
publication in the proceedings. All accepted
papers will be included in proceedings of ICTAI 
2010, which will be published by the IEEE.

IJAIT special issue
---------------------------

Extended versions of the best papers of the 
conference will be invited for publication in a
special issue of the International Journal on 
Artificial Intelligence Tools (IJAIT) (SCI
Indexed).

Further Information
---------------------------

Éric Grégoire (PC Chair)
CRIL UMR 8188 CNRS
Université d'Artois
rue Jean Souvraz SP18
F-62307 Lens, FRANCE

Email: gregoire [at] cril [dot] univ-artois [dot] fr

Steering Committee
-----------------------------

Nikolaos Bourbakis, (Chair)
Chittoor V. Ramamoorthy
Jeffrey Tsai
Benjamin W. Wah
Farokh B. Bastani
Soon Chung
Despina Kavraki
Ioannis Hatziligeroudis

Co-general chairs
-------------------------

Naohiro Ishii (Asian liaison)
Phil Sheu (USA liaison) 
Youssef Hamadi (European liaison)

Program Committee Chair
-------------------------------------

Éric Grégoire

Area Chairs
-----------------

Shyi-Ming Chen
Diane Cook
Alfredo Cuzzocrea
Jin-Kao Hao
Vasant Honavar
Nobuhiro Inuzuka
Daniel Kayser
Taghi Khoshgoftaar
Vasile Palade
Luigi Portinale
Henri Prade
Marie-Christine Rousset
Andreas-Georgios Stafylopatis
Karl Tombre
Zhi-Hua Zhou
Du Zhang
Sotirios Ziavras

Program Committee
-----------------------------

Hamid Aghajan
Charles Anderson
Spyros Angelopoulos
Asa Ben-Hur
Antonio Berlanga-de-Jesus
Philippe Besnard
Harry Bunt
Philippe Chatalic
Nicolae Constantin
Aaron Crandall
Belen Diaz Agudo
Xin Geng
Malik Ghallab
Francois Goasdoué
Jose Juarez Herrero
Yin-Tong Hsiao
Thomas R. Ioeger
Yuji Iwahori
Fabrice Jouanot
Hyunju Kim
Helge Langseth
Huey-Ming Lee
Giorgio Leonardi
Yung-Ho Leu
Xiaoou Li
Yanjun Li
Dan Lopresti
Congnan Luo
Tony R. Martinez
Bertrand Mazure
Stefania Montani
Naoto Mukai
Tsuyoshi Nakamura
Mehmet Orgun
Jeng-Shyang Pan
John Paxton
Jun Peng
Vir Phoha
Cedric Piette
Parisa Rashidi
Marek Reformat
Lorenza Saitta
Erik Sandewall
Lakhdar Saïs
Vincent Schmidt
Jianqiang Shen
Victor R. L. Shen
Marina Sokolova
ChewLim Tan
Alexandre Termier
Douglas Vieira
Toby Walsh
Marcel Worring
Ioannis Zaharakis
Daoqiang Zhang

Financial Chair Manuel Demont
---------------------

Registration Chair  Nadine Kucharski
--------------------------

Publication Chair Bertrand Mazure
------------------------

Webmaster Fabien Delorme
----------------

Local Arrangements Committee
----------------------------------------------

Assef Chmeiss
Jean-Luc Coquidé (chair)
Tiago de Lima
Anne Parrain
Cédric Piette
Lakhdar Saïs
Sébastien Tabary

4th International Conference on Web Reasoning and Rule Systems (RR 2010)

4th International Conference on Web Reasoning and Rule Systems (RR 2010)


Call for Papers

Bressanone/Brixen, Italy
September 22-24, 2010

http://www.rr-conference.org/RR2010

Co-located with the Italian Workshop on Semantic Web Applications
and Perspectives (SWAP) 2010.


The International Conference on Web Reasoning and Rule Systems (RR) is
a major forum for discussion and dissemination of new results concerning
Web Reasoning and Rule Systems. RR 2010 builds on the success of the
first three International Conferences on Web Reasoning and Rule Systems
(see http://www.rr-conference.org), held in Innsbruck, Austria (2007),
Karlsruhe, Germany (2008), and Chantilly, Virginia, USA (2009), which
received enthusiastic support from the Web Reasoning community. In 2010,
RR will continue the excellence of the new series and aim to attract
the best Web Reasoning and Rules researchers from all over the world.

Suggested topics include the following (but are not limited to):

*  Representation techniques for Web-based knowledge
*  Acquisition of rules and ontologies by knowledge extraction
*  Combining open and closed-world reasoning
*  Combining rules and ontologies
*  Design and analysis of reasoning languages
*  Efficiency and benchmarking
*  Implemented tools and systems
*  Foundations and applications related to relevant standardization
     bodies such as the W3C Rule Interchange Format (RIF), Web
     Ontology Language (OWL2) and SPARQL working groups, or the
     W3C Uncertainty Reasoning for the WWW Incubator Group, etc.
*  Ontology usability
*  Ontology languages and their relationships
*  Querying and optimization
*  Rules and ontology management (such as inconsistency handling
     and evolution)
*  Reasoning with uncertainty and under inconsistency
*  Reasoning with constraints
*  Rule languages and systems
*  Rule interchange formats and Rule markup languages
*  Scalability vs. expressivity of reasoning on the Web
*  Approximate reasoning techniques for the Web
*  Integration of statistical methods and symbolic reasoning
*  Stream reasoning
*  Semantic Web Services modeling and applications
*  Web and Semantic Web applications and experience papers


PUBLICATION

The proceedings will be published by Springer in the Lecture Notes
in Computer Science (LNCS) series (acceptance pending) and will
be available at the conference. After the conference, there will
be a special issue of the (new IOS Press) journal "Semantic Web
- Interoperability, Usability, Applicability" with selected
papers from the conference.


SUBMISSION OF PAPERS

Submissions must be typeset using the Springer LaTeX2e
style llncs for Lecture Notes in Computer Science (see
http://www.springer.com/comp/lncs/Authors.html), and
must be in PDF format. Submission is via EasyChair
(http://www.easychair.org/conferences/?conf=rr2010).

The length should not exceed 15 pages for full papers,
9 pages for short papers, 4 pages for posters, and 6 pages
for system descriptions (for system demos at the conference).
The stated lengths include title, abstract, and references.
Short papers, posters, and system descriptions should be
clearly marked as such in the title and in the easychair
submission system. Submissions that deviate substantially
from these guidelines may be rejected without review.
Original research and application papers are welcome;
submissions will especially be judged for originality and
scientific quality. All accepted papers, posters, and
system descriptions will be included in the proceedings.


IMPORTANT DATES

Abstract submission deadline: May 15, 2010
Paper/poster/demo submission deadline: May 22, 2010
Paper/poster/demo accept/reject decisions: June 24, 2010
Camera-ready due: July 15, 2010
Last day for early registration fee: July 15, 2010


CONFIRMED INVITED SPEAKERS

Georg Gottlob (Oxford University, UK)


GENERAL CHAIR

José Júlio Alferes (Universidade Nova de Lisboa, Portugal)


PROGRAM CHAIRS

Pascal Hitzler (Wright State University, USA)
Thomas Lukasiewicz (Oxford University, UK)


LOCAL ARRANGEMENTS

Diego Calvanese (Free University of Bozen-Bolzano, Italy)
Mariano Rodríguez-Muro (Free University of Bozen-Bolzano, Italy)


SPONSORSHIP CHAIR

Krzysztof Janowicz (Pennsylvania State University, USA)


PROGRAM COMMITTEE

Grigoris Antoniou (University of Crete, Greece)
Marcelo Arenas (PUC Chile, Chile)
Jie Bao (Rensselaer Polytechnic Institute, USA)
Chitta Baral (Arizona State University, USA)
Leopoldo Bertossi (Carleton University, Canada)
Andrea Calì (Oxford University, UK)
Vinay Chaudri (Stanford Research Institute, USA)
Kendall Clark (Clark & Parsia, USA)
Claudia d'Amato (University of Bari, Italy)
Carlos Damasio (Universidade Nova de Lisboa, Portugal)
Wlodek Drabent (IPI PAN Warszawa, Poland)
Sergio Flesca (University of Calabria, Italy)
Christine Golbreich (University of Versailles Saint-Quentin, France)
Claudio Gutierrez (University of Chile, Chile)
Stijn Heymans (TU Vienna, Austria)
Rinke Hoekstra (VU Amsterdam, The Netherlands)
Giovambattista Ianni (University of Calabria, Italy)
Krzysztof Janowicz (Pennsylvania State University, USA)
Domenico Lembo (University of Rome "La Sapienza", Italy)
Francesca A. Lisi (University of Bari, Italy)
Gergely Lukácsy (DERI Galway, Ireland)
Jan Maluszynski (University of Linköping, Sweden)
Wolfgang May (University of Göttingen, Germany)
Ralf Möller (TU Hamburg, Germany)
Boris Motik (Oxford University, UK)
Wolfgang Nejdl (LS3 and University of Hannover, Germany)
Matthias Nickles (University of Bath, UK)
Andrea Pugliese (University of Calabria, Italy)
Guilin Qi (Southeast University, China)
Sebastian Rudolph (University of Karlsruhe, Germany)
Alan Ruttenberg (ScientificCommons, Switzerland)
Michael Sintek (DFKI GmbH, Kaiserslautern, Germany)
Umberto Straccia (ISTI-CNR Pisa, Italy)
Heiner Stuckenschmidt (University of Mannheim, Germany)
Terrance Swift (SUNY Stony Brook, USA)
Sergio Tessaris (Free University of Bozen, Italy)
Dirk Vermeir (University of Brussels, Belgium)
Zhe Wu (Oracle, USA)


FURTHER INFORMATION

For further information refer to the RR 2010 web site at

  http://www.rr-conference.org/RR2010