From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id 4E8F15D4 for ; Wed, 4 Mar 2020 08:45:01 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.70,513,1574118000"; d="scan'208,217";a="438720727" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 04 Mar 2020 09:44:31 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 72CA57F449; Wed, 4 Mar 2020 09:44:31 +0100 (CET) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id B410C7F423; Wed, 4 Mar 2020 09:41:13 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=taravanis@upatras.gr; spf=Pass smtp.mailfrom=taravanis@upatras.gr; spf=None smtp.helo=postmaster@nic.upatras.gr IronPort-PHdr: =?us-ascii?q?9a23=3ASEDtnxxX3PIsnxfXCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?2u8QIJqq85mqBkHD//Il1AaPAdyHrasc1KGP6vGocFdDyKjCmUhKSIZLWR4BhJ?= =?us-ascii?q?detC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+?= =?us-ascii?q?KPjrFY7OlcS30P2594HObwlSizexfLx/IA+roQnNtMQajpZuJrs1xxDUvnZGZu?= =?us-ascii?q?NayH9nKl6Ugxvy/Nq78oR58yRXtfIh9spAXrv/cq8lU7FWDykoPn4s6sHzuhbN?= =?us-ascii?q?UQWA5n0HUmULiRVIGBTK7Av7XpjqrCT3sPd21TSAMs33SbA0Ximi77tuRRT1hi?= =?us-ascii?q?oLKyI1/WfKgcN3kK9Wrg6tqwFmz4LIfY2eKf5ycr7dcN8fQ2dKQ8RfWDFbAo6k?= =?us-ascii?q?YIQAE+QPM+ZGoYfgoFsArhS/Cge3Cez11jNIhGX70bEg3ukjFwzNwQwuH8gJsH?= =?us-ascii?q?TRtNj5OrkcUeCrw6nPwzXMdfVW2Tbm6IPVcR4tu+yHUK5qccXL10kgDQXFjlSL?= =?us-ascii?q?qYDrIjiY0fgNvHKB7+V6S+KgkWgnqwBqojW028cskpPGhp4Pyl/e7iV12ok1Jc?= =?us-ascii?q?ehRUN9fNWqHpxQtySAOIt3RMMvW3xouCA7yrIduJ+3ZikKyIg/yxHBcfOHaIiJ?= =?us-ascii?q?7Q7jVOmLIDd4nmhpeLWlhxa990Wr1+7yVtGs3VpXridJjsPAum0C2hDP8MSLV+?= =?us-ascii?q?Vx80O71TuBywzf8vxILEAomabBNpIszaI8moAOvUjdGiL6gkr7gLKQe0454Oan?= =?us-ascii?q?8f7nba/jppKEN497lAX+MqM2l8y5AOQ3LhICX3WD+eumyL3j51f2QK5Qgv05iK?= =?us-ascii?q?nVqJHaJcIFqa6lGwJZz4Yu5wqlAzu739kUgWMLIE9bdB+DlYTkNU3CLOj9Dfil?= =?us-ascii?q?glSslDlrx+rBPr3kGpjNMmLMkK37crZj8UFczgszzctE6pJJErEOOu7zWlXru9?= =?us-ascii?q?zDFBM5PBa0z/79CNphzoMeRX6PAqiBPazIq1+I6f8vI+ySa48TpDbyMeQl5//p?= =?us-ascii?q?jX8/hVAdeqyp3YMJZ3CkH/RmP0SZYX3qgtoaCmcLvg8+TPTwh1GYUD5TYWyyX6?= =?us-ascii?q?Mm6T0hBoKmF5/JRpqxj7yZwCe7AppWa3haBV+WFHfoc5yIW/MNaCKJPs9siScE?= =?us-ascii?q?VLikS485zx6irg76y7x9LurV4CIUr5zj1MImr9HUwA077zVqBsKcyEmQV2hohG?= =?us-ascii?q?oTATAsj45lpkkogGuD3K92ivpZDpRyobtgSA4kPJjd1KYyX8z7QAvfd9GIU367?= =?us-ascii?q?Wty6GzgqCN0rlYxdK31hEsmv20iQlxGhBKUYwuXWXc1mwufnx3H0Yv1F5TPD3a?= =?us-ascii?q?glgUMhR5IVZ3C+j7Jl/hOVCJSbyhzFxZbvTrwV2Wv2zEnG1XCH5RsKTRZ5Tb/M?= =?us-ascii?q?RjYQfBmO9Imr1gb5V7arTI8fHE5BxMqFc/UYbNziy0heTev5Mc+YbHjjw2o=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AKCQAzaV9ehx6BjJZmHQEBDAErBQUBD?= =?us-ascii?q?QkBgUqBIxsCNoEdVgEwFhSEFIERh3KFfIEtggmGGpN/CQEDAQwjDAQBAYFMg0I?= =?us-ascii?q?BBIEtHAcBBDQTAhABAQUBAQECAQIDBAETAQEBCgsJCCmFXQyCKRIMg0AGQwIFI?= =?us-ascii?q?EkCeg6DEAGCegYKrG6BMoQ1AYEUhHwGgTYCAQGJCIMdGoFBP4ERgmZsgQSBYAQ?= =?us-ascii?q?agSAEgzaCXgSXXJhABwOCPIdShU2JPySCSZhnAZAlGocvkRELgVuBMTiBeoEfg?= =?us-ascii?q?w5PGA1XjV4CHoYpgiaFQANAATOMA4JDAQE?= X-IPAS-Result: =?us-ascii?q?A0AKCQAzaV9ehx6BjJZmHQEBDAErBQUBDQkBgUqBIxsCNoE?= =?us-ascii?q?dVgEwFhSEFIERh3KFfIEtggmGGpN/CQEDAQwjDAQBAYFMg0IBBIEtHAcBBDQTA?= =?us-ascii?q?hABAQUBAQECAQIDBAETAQEBCgsJCCmFXQyCKRIMg0AGQwIFIEkCeg6DEAGCegY?= =?us-ascii?q?KrG6BMoQ1AYEUhHwGgTYCAQGJCIMdGoFBP4ERgmZsgQSBYAQagSAEgzaCXgSXX?= =?us-ascii?q?JhABwOCPIdShU2JPySCSZhnAZAlGocvkRELgVuBMTiBeoEfgw5PGA1XjV4CHoY?= =?us-ascii?q?pgiaFQANAATOMA4JDAQE?= X-IronPort-AV: E=Sophos;i="5.70,513,1574118000"; d="scan'208,217";a="341183539" X-MGA-submission: =?us-ascii?q?MDHU3dz61HCu6afH1Fy0BTJ9NQ6rF/WLfB1oMb?= =?us-ascii?q?iKmXuNwfxvLUVcMzhZ2wVeSwezCylLTJnBcw09AX3AhZ56xpY7FxNWki?= =?us-ascii?q?TmCil9OFgtIGq8fMxB+RS9z4gJTZ7HRsg9FaA3ukQ+JZ6FRVwg6YMDES?= =?us-ascii?q?NKgGJDY9ayPP2vYwotyxIIcA=3D=3D?= Received: from nic.upatras.gr ([150.140.129.30]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 04 Mar 2020 09:40:42 +0100 Received: from localhost (nic.upatras.gr [127.0.0.1]) by nic.upatras.gr (Postfix) with ESMTP id A13FD2758C8; Wed, 4 Mar 2020 10:40:40 +0200 (EET) X-Virus-Scanned: amavisd-new at upatras.gr Received: from nic.upatras.gr ([127.0.0.1]) by localhost (nic.upatras.gr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id RC87KkUUZao2; Wed, 4 Mar 2020 10:40:34 +0200 (EET) Received: from mail.upatras.gr (patreas.upatras.gr [150.140.129.29]) by nic.upatras.gr (Postfix) with ESMTPS; Wed, 4 Mar 2020 10:40:34 +0200 (EET) Received: from mail1.upatras.gr (peacock.upnet.gr [150.140.129.41]) by mail.upatras.gr (Postfix) with ESMTP id BB6D9593DF8; Wed, 4 Mar 2020 10:40:32 +0200 (EET) MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="=_3979209a3d2a79950953cc9b0d8a5fdb" Date: Wed, 04 Mar 2020 10:40:34 +0200 From: "Theofanis I. Aravanis" To: taravanis@upatras.gr Organization: University of Patras Message-ID: <5b7beb70964d4e63a3d15202c8753aad@upatras.gr> X-Sender: taravanis@upatras.gr X-Orig-Sender: up1052056 User-Agent: Roundcube Webmail/1.3.4 X-Validation-by: taravanis@upatras.gr Subject: [Caml-list] CFP: 17th Conference on Principles of Knowledge Representation and Reasoning (KR 2020) Reply-To: "Theofanis I. Aravanis" X-Loop: caml-list@inria.fr X-Sequence: 18044 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: --=_3979209a3d2a79950953cc9b0d8a5fdb Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset=US-ASCII 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: - Applications of KR - Argumentation - Belief revision and update, belief merging, information fusion - Commonsense reasoning - Computational aspects of knowledge representation - Concept formation, similarity-based reasoning - Contextual reasoning - Decision making - Description logics - Explanation finding, diagnosis, causal reasoning, abduction - Geometric, spatial, and temporal reasoning - Inconsistency- and exception tolerant reasoning, paraconsistent logics - KR and autonomous agents and multi-agent systems - KR and cognitive robotics - KR and cyber security - KR and education - KR and game theory - KR and machine learning, inductive logic programming, knowledge acquisition - KR and natural language processing and understanding - KR and the Web, Semantic Web - Knowledge graphs, virtual knowledge graphs, and open linked data - Knowledge representation languages - Logic programming, answer set programming, constraint logic programming - Modeling and reasoning about preferences - Multi- and order-sorted representations and reasoning - Nonmonotonic logics, default logics, conditional logics - Ontology formalisms and models - Ontology-based data access, integration, and exchange - Philosophical foundations of KR - Qualitative reasoning, reasoning about physical systems - Reasoning about actions and change, action languages - Reasoning about knowledge, beliefs, and other mental attitudes - Uncertainty, vagueness, many-valued and fuzzy logics 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: * Applications and Systems Track * Recent Published Research Track * Special Session: KR and Machine Learning * Special Session: KR and Robotics * Special Session: Women in KR 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 - Full papers of up to 9 pages, including abstract, figures, and appendices (if any), but excluding references and acknowledgements. - Short papers of up to 4 pages, excluding references and acknowledgements. 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: Theofanis Aravanis (University of Patras, Greece) Paolo Felli (Free University of Bozen-Bolzano, Italy) --=_3979209a3d2a79950953cc9b0d8a5fdb Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=UTF-8

CALL FOR PAPERS
17th Conference on Principles of Knowledge Represen= tation and Reasoning (KR2020)
12-18 September 2020, Rhodes, Greece
https://kr2020.inf.unibz.it/

Knowledge Representation and Reas= oning (KR) is a well-established and lively
field of research.  I= n KR a fundamental assumption is that an agent's knowledge
is explicit= ly represented in a declarative form, suitable for processing by
dedic= ated reasoning engines.  This assumption, that much of what an agent d= eals
with is knowledge-based, is common in many modern intelligent sys= tems.
Consequently, KR has contributed to the theory and practice of v= arious areas in
AI, including automated planning and natural language = understanding, and to
fields beyond AI, including databases, verificat= ion, software engineering, and
robotics.  In recent years, KR has= contributed also to new and emerging fields,
including the semantic w= eb, computational biology, cyber security, and the
development of soft= ware agents.

The KR conference series is the leading forum for t= imely in-depth presentation
of progress in the theory and principles u= nderlying the representation and
computational management of knowledge= =2E


SCOPE

We solicit papers presenting novel re= sults on the principles of KR that clearly
contribute to the formal fo= undations of relevant problems or show the
applicability of results to= implemented or implementable systems.  We also
welcome papers fr= om other areas that show clear use of, or contributions to,
the princi= ples 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:
- Applications of KR
- Argumentation
- Belief revision and update, belief merging, inform= ation fusion
- Commonsense reasoning
- Computational aspects of k= nowledge representation
- Concept formation, similarity-based reasonin= g
- Contextual reasoning
- Decision making
- Description log= ics
- Explanation finding, diagnosis, causal reasoning, abduction
- Geometric, spatial, and temporal reasoning
- Inconsistency- and exc= eption tolerant reasoning, paraconsistent logics
- KR and autonomous a= gents and multi-agent systems
- KR and cognitive robotics
- KR an= d cyber security
- KR and education
- KR and game theory
- K= R and machine learning, inductive logic programming, knowledge acquisition<= br />- KR and natural language processing and understanding
- KR and t= he Web, Semantic Web
- Knowledge graphs, virtual knowledge graphs, and= open linked data
- Knowledge representation languages
- Logic pr= ogramming, answer set programming, constraint logic programming
- Mode= ling and reasoning about preferences
- Multi- and order-sorted represe= ntations and reasoning
- Nonmonotonic logics, default logics, conditio= nal logics
- Ontology formalisms and models
- Ontology-based data= access, integration, and exchange
- Philosophical foundations of KR- Qualitative reasoning, reasoning about physical systems
- Reason= ing about actions and change, action languages
- Reasoning about knowl= edge, beliefs, and other mental attitudes
- Uncertainty, vagueness, ma= ny-valued and fuzzy logics

KR2020 will also feature Workshops an= d Tutorials, solicited by means of an open
call, and a Doctoral Consor= tium.


TRACKS

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

* Applications and Systems Track
* Recent Published Research Track* Special Session: KR and Machine Learning
* Special Session: KR a= nd Robotics
* Special Session: Women in KR


IMPORTANT = DATES

Submission of title and abstract:     = 4 March 2020
Paper submission deadline:     &= nbsp;     11 March 2020
Author response period:&nb= sp;            4-6 M= ay 2020
Notification:        &= nbsp;           &nbs= p;   27 May 2020
Camera-ready papers:    = ;             2= 4 June 2020
Conference dates:       = ;          12-18 September 202= 0

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


AUTHORS GUID= ELINES

All submissions must be written in English and in AAAI st= yle. Papers must be
submitted in PDF format, through the EasyChair con= ference system:

https://easychair.org/conferences/?conf=3Dkr2020= .

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

- Full papers of up to 9 pages, including abstract, figures, and appendice= s
  (if any), but excluding references and acknowledgements.
- Short papers of up to 4 pages, excluding references and acknowledgements= =2E

Both full and short papers must describe original, previousl= y unpublished
research, and must not simultaneously be submitted for p= ublication elsewhere.
These restrictions do not apply to previously ac= cepted workshop papers with a
limited audience and/or without archival= proceedings, and to papers uploaded at
public repositories (e.g., arX= iv).

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:
    Micha= el 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 (Universit= y of Calabria, Italy)

Recent Published Research Track:
&nbs= p;   James Delgrande (Simon Fraser University, Canada)
 = ;   Miros?aw Truszczynski (University of Kentucky, USA)

Special Session: KR & ML:
    Alessandra Russo (I= mperial College London, UK),
    Guy Van den Broeck (UC= LA, USA)

Special Session: KR & Robotics:
  &n= bsp; Michael Beetz (University of Bremen, Germany),
   = Fredrik Heintz (Linkoping University, Sweden)

Special Session: = Women in KR:
    Meghyn Bienvenu (University of Bordeau= x, France),
    Magdalena Ortiz (Vienna University of T= echnology, Austria)

Workshop and Tutorials:
  &nb= sp; Anni-Yasmin Turhan (Dresden University of Technology, Germany),
&n= bsp;   Renata Wassermann (University of Sao Paulo, Brasil)
<= br />Doctoral Consortium:
    Vaishak Belle (University= of Edinburgh, UK),
    Rafael Penaloza Nyssen (Univers= ity of Milano-Bicocca, Italy)

Local Organization:
 &nb= sp;  Pavlos Peppas (University of Patras, Greece)

Publicity= :
    Theofanis Aravanis (University of Patras, Greece)=
    Paolo Felli (Free University of Bozen-Bolzano, Ita= ly)

--=_3979209a3d2a79950953cc9b0d8a5fdb--