-------- Forwarded Message --------
Subject: [WI] KR2020 - CFP
Date: Tue, 07 Jan 2020 17:24:55 +0200
From: Theofanis I. Aravanis <taravanis@upatras.gr>
Reply-To: Theofanis I. Aravanis <taravanis@upatras.gr>
Organization: University of Patras
To: agents@cs.umbc.edu, algprog@comlab.ox.ac.uk, all@xsb.com, arw-committee@csc.liv.ac.uk, babel-group@babel.ls.fi.upm.es, cade@itu.dk, calendar@computer.org, caml-list@inria.fr, church-announce@cs.bu.edu, church-announce@csr.bu.edu, cipher-cfp@ieee-security.org, clean-list@science.ru.nl, cogsci@cs.tcd.ie, colognet@ucy.ac.cy, comlab@comlab.ox.ac.uk, comm-theory@ieee.org, comp-lang-ml@moderators.isc.org, complog@cs.nmsu.edu, comprox@doc.ic.ac.uk, concurrency@cwi.nl, conferences@computer.org, cphc-conf@jiscmail.ac.uk, cs@ics.forth.gr, distributed-ai@jiscmail.ac.uk, dl@dl.kr.org, dmanet@zpr.uni-koeln.de, elsnet-list@elsnet.org, erlang-questions@erlang.org, event@in.tu-clausthal.de, fg-arc@lists.uni-paderborn.de, fm-announcements@lists.nasa.gov, fmics@inrialpes.fr, formal-methods@cs.toronto.edu, formal-methods@cs.utoronto.ca, forman@acm.org, formis@dipmat.unipg.it, fp@cs.cmu.edu, gulp-all@yahoogroups.com, gri@informatik.uni-rostock.de, hol-info@lists.sourceforge.net, ifip@ifip.or.at, imdea@clip.dia.fi.upm.es, inductive@listserv.unb.ca, inductive-request@listserv.unb.ca, ki-inf@uni-koblenz.de, kr@kr.org, krlab.admin@gmail.com, lfcs-interest@dcs.ed.ac.uk, lics@research.bell-labs.com, linear@cs.stanford.edu, logic@cs.stanford.edu, logic@math.uni-bonn.de, logic-list@helsinki.fi, maude-users@cs.uiuc.edu, mizar-forum@mizar.uwb.edu.pl, nqthm-users@cs.utexas.edu, nvti-list@cwi.nl, nwpt-info@lists.ioc.ee, oegai@ifs.tuwien.ac.at, om-announce@openmath.org, ontology@buffalo.edu, planetkr@kr.org, podc-related@acm.org, prog-lang@diku.dk, project-calculemus@jacobs-university.de, relmics-l@mcmaster.ca, semanticweb@yahoogroups.com, sicstus-users@sics.se, sigarch-members@listserv.acm.org, sigparse-list@lists.andrew.cmu.edu, sigplan-announce@listserv.acm.org, sigsam-friends@listserv.acm.org, sigsam-members@listserv.acm.org, sml-list@cs.cmu.edu, staff@dbai.tuwien.ac.at, staff@forsyte.tuwien.ac.at, staff@kr.tuwien.ac.at, tag@cs.utexas.edu, theory-a@listserv.nodak.edu, theorynt@listserv.nodak.edu, types@cis.upenn.edu, users@mozart-oz.org, users-prolog@gnu.org, vki-list@dfki.de, webmaster@aisb.org.uk, webmaster@eatcs.org, wi@aifb.uni-karlsruhe.de, yap-users@lists.sourceforge.net, zforum@comlab.ox.ac.uk, logic-programming@lists.picat-lang.org, uai@engr.orst.edu, argumentationcompetition@inria.fr, comma@lists.dbai.tuwien.ac.at


CALL FOR PAPERS

17th Conference on Principles of Knowledge Representation and Reasoning (KR2020)

12—18 September 2020, Rhodes, Greece

https://kr2020.inf.unibz.it/

Knowledge Representation and Reasoning (KR) is a well-established and lively field of research. In KR a fundamental assumption is that an agent's knowledge is explicitly represented in a declarative form, suitable for processing by dedicated reasoning engines. This assumption, that much of what an agent deals with is knowledge-based, is common in many modern intelligent systems. Consequently, KR has contributed to the theory and practice of various areas in AI, including automated planning and natural language understanding, and to fields beyond AI, including databases, verification, software engineering, and robotics. In recent years, KR has contributed also to new and emerging fields, including the semantic web, computational biology, cyber security, and the development of software agents.   

The KR conference series is the leading forum for timely in-depth presentation of progress in the theory and principles underlying the representation and computational management of knowledge.

 

SCOPE

We solicit papers presenting novel results on the principles of KR that clearly contribute to the formal foundations of relevant problems or show the applicability of results to implemented or implementable systems.  We also welcome papers from other areas that show clear use of, or contributions to, the principles or practice of KR. We also encourage "reports from the field" of applications, experiments, developments, and tests.

Topics of interest include, but are not limited to:

KR2020 will also feature Workshops and Tutorials, solicited by means of an open call, and a Doctoral Consortium.

 

TRACKS

In addition to the main conference track, KR2020 will host the following tracks and sessions:

 

IMPORTANT DATES

Submission of title and abstract: 4 March 2020

Paper submission deadline: 11 March 2020

Author response period: 4--6 May 2020

Notification: 27 May 2020

Camera-ready papers: 24 June 2020

Conference dates: 12--18 September 2020

Recent Published Research Track, Workshops and Tutorials, and Doctoral Consortium will have different submission and notification dates, which will be announced separately.

 

AUTHORS GUIDELINES

All submissions must be written in English and in AAAI style. Papers must be submitted in PDF format, through the EasyChair conference system:

https://easychair.org/conferences/?conf=kr2020 .

For the main conference track and additional tracks/sessions (except for the Recent Published Research track), we invite 

Both full and short papers must describe original, previously unpublished research, and must not simultaneously be submitted for publication elsewhere. These restrictions do not apply to previously accepted workshop papers with a limited audience and/or without archival proceedings, and to papers uploaded at public repositories (e.g., arXiv).

The accepted full papers and short papers will be published in the KR2020 proceedings.

Recent Published Research Track, Workshops and Tutorials, and Doctoral Consortium will have different submission guidelines, which will be announced separately.

 

CONFERENCE CHAIRS:

General: Michael Thielscher (University of New South Wales, Australia)

Program: Diego Calvanese (Free University of Bozen-Bolzano, Italy),

Esra Erdem (Sabanci University, Turkey)

Applications Track: Chitta Baral (Arizona State University, USA),

Francesco Ricca (University of Calabria, Italy)

Recent Published Research Track: James Delgrande (Simon Fraser University, Canada)

Mirosław Truszczynski (University of Kentucky, USA)

Special Session: KR & ML: Alessandra Russo (Imperial College London, UK),

Guy Van den Broeck (UCLA, USA)

Special Session: KR & Robotics: Michael Beetz (University of Bremen, Germany),

Fredrik Heintz (Linkoping University, Sweden)

Special Session: Women in KR: Meghyn Bienvenu (University of Bordeaux, France),

Magdalena Ortiz (Vienna University of Technology, Austria)

Workshop and Tutorials: Anni-Yasmin Turhan (Dresden University of Technology, Germany),

Renata Wassermann (University of Sao Paulo, Brasil)

Doctoral Consortium: Vaishak Belle (University of Edinburgh, UK),

Rafael Penaloza Nyssen (University of Milano-Bicocca, Italy)

Local Organization: Pavlos Peppas (University of Patras, Greece)

Publicity: Paolo Felli (Free University of Bozen-Bolzano, Italy)


--
Mailing-Liste: wi@lists.kit.edu
Administrator: wi-request@lists.kit.edu
Konfiguration: https://www.lists.kit.edu/wws/info/wi