CFProposal AISB2018

  The Society for the Study of Artificial Intelligence and Simulation for Behaviour (AISB) is soliciting proposals for symposia to be held at the AISB 2018 convention.The longest running convention on Artificial Intelligence, A...


Read More...

Insurance AI Analy...

Insurance AI Analytics Summit, October 9-10, London Join us for Europe’s only AI event dedicated to insurance where 300 attendees will unite from analytics, pricing, marketing, claims and underwriting. You’ll find out how advan...


Read More...

AISB 2018 Convention

  The longest running convention on Artificial Intelligence, AISB 2018 will be held at the University of Liverpool, chaired by Floriana Grasso and Louise Dennis. As in the past years, AISB 2018 will provide a unique forum for p...


Read More...

AI Summit London

     The AI Summit London: The World’s Number One AI Event for Business  Date: 9-10 May 2017 Venue: Business Design Centre, London. The AI Summit is the world’s first and largest/number one conference exhibition dedicated to t...


Read More...

AISB Wired Health

    AISB and WIRED events have partnered to bring together inspirational high-profile speakers. Join hundreds of healthcare, pharmaceutical and technology influencers and leaders at the 4th Annual WIRED Health event, taking pl...


Read More...

Hugh Gene Loebner

  The AISB were sad to learn last week of the passing of philanthropist and inventor Hugh Gene Loebner PhD, who died peacefully in his home in New York at the age of 74.  Hugh was founder and sponsor of The Loebner Prize, an an...


Read More...

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...
0123456789

Notice

AISB event Bulletin Item

CALL FOR PAPERS: 14th International Conference on Logic Programming and Non-monotonic Reasoning, July 3-6, 2017, Hanasaari, Espoo, FINLAND

http://lpnmr2017.aalto.fi/

LPNMR 2017

AIMS AND SCOPE

  LPNMR 2017 is the fourteenth in the series of international meetings
  on logic programming and non-monotonic reasoning. LPNMR is a forum
  for exchanging ideas on declarative logic programming, non-monotonic
  reasoning, and knowledge representation. The aim of the conference is
  to facilitate interactions between researchers and practitioners
  interested in the design and implementation of logic-based programming
  languages and database systems, and those working in knowledge
  representation and nonmonotonic reasoning. LPNMR strives to encompass
  theoretical and experimental studies that have led or will lead to
  advances in declarative programming and knowledge representation, as
  well as their use in practical applications. This edition of LPNMR
  will feature several workshops and a special session dedicated to the
  7th ASP Competition. A Doctoral Consortium will also be a part of
  the program.

INVITED SPEAKERS

  Joao Leite, Universidade Nova de Lisboa, Lisbon, Portugal
  Tran Cao Son, New Mexico State University, Las Cruses, New Mexico, USA
  Francesca Toni, Imperial College, London, UK

TOPICS

  Authors are invited to submit papers presenting original and unpublished
  research on all aspects of non-monotonic approaches in logic programming
  and knowledge representation. We invite submissions of both long and
  short papers on topics detailed below.

  Conference topics include, but are not limited to:

  1. Foundations of LPNMR Systems:
    * Semantics of new and existing languages;
    * Action languages, causality;
    * Formalization of Commonsense Reasoning and understanding
      its laws and nature;
    * Relationships among formalisms;
    * Complexity and expressive power;
    * Inference algorithms and heuristics for LPNMR systems;
    * Extensions of traditional LPNMR languages such as new logical
      connectives or new inference capabilities;
    * Updates, revision, and other operations on LPNMR systems;
    * Uncertainty in LPNMR systems.

  2. Implementation of LPNMR systems:
    * System descriptions, comparisons, evaluations;
    * Algorithms and novel techniques for efficient evaluation;
    * LPNMR benchmarks.

  3. Applications of LPNMR:
    * Use of LPNMR in Commonsense Reasoning and other areas of KR;
    * LPNMR languages and algorithms in planning, diagnosis, argumentation,
      reasoning with preferences, decision making and policies;
    * Applications of LPNMR languages in data integration and exchange
      systems, software engineering and model checking;
    * Applications of LPNMR to bioinformatics, linguistics, psychology,
      and other sciences;
    * Integration of LPNMR systems with other computational paradigms;
    * Embedded LPNMR: Systems using LPNMR subsystems.

SUBMISSION

  LPNMR 2017 welcomes submissions of long papers (13 pages) or short papers
  (6 pages) in the following categories:

    * Technical papers
    * System descriptions
    * Application descriptions

  The indicated number of pages includes title page, references and
  figures. All submissions will be peer-reviewed and accepted papers will
  appear in the conference proceedings published in the Springer's
  Lecture Notes in Artificial Intelligence (LNAI/LNCS) series. At least one
  author of each accepted paper is expected to register for the conference
  to present the work. Submissions must be written in English, present
  original research, and be formatted according to Springer's guidelines
  and technical instructions available at:

     https://www.springer.com/gp/authors-editors/conference-proceedings/conference-proceedings-guidelines

  Paper submission is now enabled via the LPNMR-17 Easychair site:

           https://www.easychair.org/account/signin.cgi?key=48540156.tPg9AGV25aBeOIKp

  Two best papers of general AI interest will be invited for a rapid
  publication in the Artificial Intelligence Journal (AIJ). Two best
  papers with narrower logic programming focus will be invited for a
  rapid publication in Theory and Practice of Logic Programming (TPLP).
  An additional prize of 1000 EUR, sponsored by Springer, will be
  shared out among the best papers of the conference.

MULTIPLE SUBMISSION POLICY

  LPNMR 2017 will not accept any paper which, at the time of submission, is
  under review or has already been published or accepted for publication in
  a journal or another conference. Authors are also required not to submit
  their papers elsewhere during LPNMR's review period. However, these
  restrictions do not apply to previous workshops with a limited audience
  and without archival proceedings.

ASSOCIATED EVENTS

  WORKSHOPS - LPNMR 2017 will include specialized workshops to be held on
  July 3 prior to the main conference. Currently planned workshops include:

  - Answer Set Programming and Other Computing Paradigms (ASPOCP)
    Organizers: Bart Bogaerts and Amelia Harrison

  - Defeasible and Ampliative Reasoning (DARe)
    Organizers: Richard Booth, Giovanni Casini, and Ivan Varzinczak

  - Grounding and Transformations for Theories with Variables (GTTV)
    Organizers: Simona Perri and Shahab Tasharrofi

  - Knowledge Representation and Planning for
    Robotics and Autonomous Systems (KPRAS)
    Organizers: Fangkai Yang and Shiqi Zhang

  - Practical Aspects of Answer Set Programming (PAoASP)
    Organizers: Martin Gebser, Marco Maratea, and Francesco Ricca

  - User-Oriented Logic Paradigms (IULP)
    Organizers: Stefan Ellmauthaler and Claudia Schulz

  ASP COMPETITION - A special session dedicated to a discussion of the
  7th ASP System Competition, including the methodology of the competition,
  benchmarks used, lessons learned and, most importantly, the results and
  the announcement of the winners.

  DOCTORAL CONSORTIUM - A mentoring event where PhD students have a change
  to present their current research, get feedback from peers and senior
  researchers, and establish contacts for the future.

FURTHER INFORMATION
  WWW: lpnmr2017.aalto.fi/
  email: lpnmr2017 at list dot aalto dot fi

IMPORTANT DATES

    * Paper registration: February 5th, 2017, 23:59 PDT (EXTENDED)
    * Paper submission:   February 9th, 2017, 23:59 PDT (EXTENDED)
    * Notification:       March 7th, 2017 (EXTENDED)
    * Final versions due: March 17th, 2017

VENUE

  Espoo, the second largest and the fastest growing city in Finland, is
  located right next to the capital Helsinki in the coastal Finland. Espoo is
  Northern Europe's largest high-tech and innovation hub where science,
  business and culture meet the wilderness of Nuuksio National Park and
  stunning seaside environment. Espoo's location offers excellent traffic
  connections: only half an hour from the international airport and
  harbors. The main campus of Aalto University is situated in Espoo.

  The LPNMR 2017 conference will be held in the Hanasaari Conference
  center that is located on an island of its own and is only 15 minutes
  away from Helsinki center by public transport.

PROGRAM CHAIRS
  Marcello Balduccini, Drexel University, USA
  Tomi Janhunen, Aalto University, Finland

PUBLICITY CHAIR
  Peter Sch??ller, Marmara University, Turkey

WORKSHOPS CHAIR
  Joohyung Lee, Arizona State University, USA

DOCTORAL CONSORTIUM CHAIR
  Marina De Vos, University of Bath, UK

7TH ASP COMPETITION ORGANIZERS
  Martin Gebser, University of Potsdam, Germany
  Marco Maratea, University of Genoa, Italy
  Francesco Ricca, University of Calabria, Italy

PROGRAM COMMITTEE
  Jose Julio Alferes, Universidade Nova de Lisboa, Portugal
  Marcello Balduccini, Drexel University, USA
  Chitta Baral, Arizona State University, USA
  Bart Bogaerts, KU Leuven, Belgium
  Gerhard Brewka, Leipzig University, Germany
  Pedro Cabalar, University of Corunna, Spain
  Francesco Calimeri, University of Calabria, Italy
  Stefania Costantini, University of L'Aquila, Italy
  James Delgrande, Simon Fraser University, Canada
  Marc Denecker, K.U.Leuven, Belgium
  Marina De Vos, University of Bath, UK
  Agostino Dovier, University of Udine, Italy
  Thomas Eiter, Vienna University of Technology, Austria
  Wolfgang Faber, University of Huddersfield, UK
  Paul Fodor, Stony Brook University, USA
  Alfredo Gabaldon, GE Global Research, USA
  Martin Gebser, University of Potsdam, Germany
  Michael Gelfond, Texas Tech University, USA
  Giovanni Grasso, Oxford University, UK
  Giovambattista Ianni, University of Calabria, Italy
  Daniela Inclezan, Miami University, USA
  Tomi Janhunen, Aalto University, Finland
  Matthias Knorr, Universidade Nova de Lisboa, Portugal
  Joohyung Lee, Arizona State University, USA
  Yuliya Lierler, University of Nebraska at Omaha, USA
  Vladimir Lifschitz, University of Texas at Austin, USA
  Fangzhen Lin, Hong Kong University of Science and Technology, Hong Kong
  Marco Maratea, University of Genoa, Italy
  Alessandra Mileo, National University of Ireland, Ireland
  Emilia Oikarinen, Finnish Institute of Occupational Health, Finland
  Mauricio Osorio, Universidad de las Americas Puebla, Mexico
  Ravi Palla, GE Global Research, USA
  David Pearce, Universidad Polit??cnica de Madrid, Spain
  Axel Polleres, Vienna University of Economics and Business, Austria
  Enrico Pontelli, New Mexico State University, USA
  Christoph Redl, Vienna University of Technology, Austria
  Alessandra Russo, Imperial College, United Kingdom
  Orkunt Sabuncu, University of Potsdam, Germany
  Chiaki Sakama, Wakayama University, Japan
  Torsten Schaub, University of Potsdam, Germany
  Peter Sch??ller, Marmara University, Turkey
  Tran Cao Son, New Mexico State University, USA
  Hannes Strass, Leipzig University, Germany
  Theresa Swift, Universidade Nova de Lisboa, Portugal
  Shahab Tasharrofi, Aalto University, Finland
  Eugenia Ternovska, Simon Fraser University, Canada
  Hans Tompits, Vienna University of Technology, Austria
  Mirek Truszczynski, University of Kentucky, USA
  Agustin Valverde, Universidad de M??laga, Spain
  Kewen Wang, Griffith University, Australia
  Yisong Wang, Guizhou University, China
  Stefan Woltran, Vienna University of Technology, Austria
  Jia-Huai You, University of Alberta, Canada
  Yi Zhou, University of Western Sydney, Australia