AI Europe 2016

  Partnership between AISB and AI Europe 2016: Next December 5th and 6th in London, AI Europe will bring together the European AI eco-system by gathering new tools and future technologies appearing in professional fields for th...


Read More...

AISB convention 2017

  In the run up to AISB2017 convention (http://aisb2017.cs.bath.ac.uk/index.html), I've asked Joanna Bryson, from the organising team, to answer few questions about the convention and what comes with it. Mohammad Majid...


Read More...

Harold Cohen

Harold Cohen, tireless computer art pioneer dies at 87   Harold Cohen at the Tate (1983) Aaron image in background   Harold Cohen died at 87 in his studio on 27th April 2016 in Encintias California, USA.The first time I hear...


Read More...

Dancing with Pixies?...

At TEDx Tottenham, London Mark Bishop (the former chair of the Society) demonstrates that if the ongoing EU flagship science project - the 1.6 billion dollar "Human Brain Project” - ultimately succeeds in understanding all as...


Read More...

Computerised Minds. ...

A video sponsored by the society discusses Searle's Chinese Room Argument (CRA) and the heated debates surrounding it. In this video, which is accessible to the general public and those with interest in AI, Olly's Philosophy Tube ...


Read More...

Connection Science

All individual members of The Society for the Study of Artificial Intelligence and Simulation of Behaviour have a personal subscription to the Taylor Francis journal Connection Science as part of their membership. How to Acce...


Read More...
012345

Notice

AISB event Bulletin Item

2nd CALL FOR PAPERS: 2nd International Workshop on Ordering and Reasoning, Oct 21st/22nd, 2013 - Sydney, AUSTRALIA

http://www.streamreasoning.org/events/ordring2013

Collocated with the 12th International Semantic Web Conference (ISWC 2013)

IMPORTANT DATES
---------------

Abstract submission deadline: 3 July 2013
Paper submission deadline: 10 July 2013
Notification of acceptance: 9 August 2013

GOALS AND TOPICS
----------------

More and more applications require real-time processing of massive,
dynamically generated, ordered data; where order is often an essential
factor reflecting recency, proximity or relevance. Stream and
rank-aware data management techniques are progressively providing
reactive and reliable query answering over such massive datasets,
allowing integration of highly dynamic sources. Key to their success
is the use of streaming algorithms that harness the natural or
enforceable orders in the data. The expressive power of Semantic
technologies is needed in those applications, but Semantic
Technologies risk being unable to address the needs of those
applications, because they do not consider ordering as an essential
property. Ranking results is often seen as an ?added task?, performed
after inference, without affecting the inference process, which is
order-agnostic.

However, we perceive a trend towards order-aware semantic
technologies: both researchers and practitioners understand that order
matters in reasoning over massive and highly dynamic data. The idea of
Stream Reasoning is gaining considerable momentum. Some top-k query
answering techniques for Linked Data appeared. Several works are
considering SPARQL query answering on RDF annotated with labels
partially ordered. The Description Logic community is investigating
top-k ontological query answering.

This workshop aims at bringing together this growing and very active
community interested in integrating ordering with reasoning by using
methods inspired by stream and rank-aware data management. We see this
workshop as a first step to stimulate and guide a paradigm shift in
semantic technologies.

Topics include, but not limited to:

  - Inferencing with streaming algorithms
  - Ontological query answering over highly dynamic data
  - Incremental maintenance of materialization of highly dynamic data
  - Ontological top-k query answering over massive ordered data
  - A top-k query answering for fuzzy logics
  - Continuous query answering for fuzzy logics
  - Knowledge Representation for ordered facts
  - Applications of stream reasoning and top-k ontological query answering
  - Role of parallelization and distribution in order-aware semantic 
technologies
  - Harvesting and combining orders in data
  - Approximation approaches to inference with orderings
  - Proposals for and applications of benchmarks
  - Implementation and evaluation experiences

SUBMISSION GUIDELINES AND PROCEEDINGS
-------------------------------------

We will welcome submissions describing ideas, experiments, and
application visions originating from requirements for, and efforts
aimed at, interleaving ordering and reasoning. We will encourage demos
and posters not exceeding 4 pages, short position papers not exceeding
6 pages as well as longer technical papers not exceeding 12 pages.
They should follow the LNCS proceedings style files.

Submissions should be formatted according to the Lecture Notes in
Computer Science guidelines for proceedings available at
http://www.springer.com/computer/lncs?SGWID=0-164-7-72376-0. Papers
should be submitted in PDF format. All submissions will be done
electronically via the OrdRing2013 web submission system
(http://www.easychair.org/conferences/?conf=ordring2013).

The Workshop Proceedings will be published as CEUR Workshop
Proceedings (www.ceur-ws.org)

ORGANISING COMMITTEE
--------------------

Emanuele Della Valle (Politecnico di Milano)
Markus Krtzsch (University of Oxford)
Stefan Schlobach (Vrije Universiteit Amsterdam)
Irene Celino (CEFRIEL)

PROGRAM COMMITTEE
-----------------

* Alessandro Bozzon (Delft University of Technology)
* David Carral (Wright State University)
* Oscar Corcho (Universidad Politcnica de Madrid)
* Peter Haase (fluid Operations)
* Carsten Lutz (Universitt Bremen)
* Jeff Z. Pan (University of Aberdeen)
* Axel Polleres (Siemens AG sterreich / DERI, National University of Ireland, 
Galway)
* Sebastian Rudolph (Technische Universitt Dresden)
* Steffen Staab (University of Koblenz-Landau)
* Umberto Straccia (ISTI-CNR)
* Guido Vetere (IBM)
* Haofen Wang (Shanghai Jiao Tong University)
* Kewen Wang (Griffith University)
* Gerhard Weikum (Max-Planck Institute for Informatics)
* Zhe Wu (Oracle)