caml-list - the Caml user's mailing list
 help / Atom feed
* [Caml-list] KR 2018 ** WORKSHOP DEADLINES EXTENDED **
@ 2018-07-11 21:36 Marcello Balduccini
  0 siblings, 0 replies; 1+ messages in thread
From: Marcello Balduccini @ 2018-07-11 21:36 UTC (permalink / raw)

[Apologies if you receive multiple copies of this email. Please distribute to interested parties.]




                         CALL FOR PAPERS 

                    *** KR 2018 WORKSHOPS ***

                *** WORKSHOP DEADLINES EXTENDED ***

                16th International Conference on 
       Principles of Knowledge Representation and Reasoning
                       --- WORKSHOPS ---

		      Tempe, Arizona (USA) 
                   October 30-November 2, 2018
                                              
                           http://kr2018.org/ 

Co-located with DL 2018 [http://dl.kr.org/] and NMR 2018 [http://www.kr.org/NMR]




Many KR 2018 Workshops have extended their deadlines, with new
deadlines ranging from 21 July to 4th August. Please visit

            http://kr2018.org/?p=workshops_tutorials

for more information.

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. KR 2018 will feature prominent invited
speakers and a number of exciting workshop and tutorial. Workshops and 
tutorials will precede the KR technical program and will run on 27-29 
October 2018. The list of KR 2018 invited talks, workshops and tutorials 
can be found below. Please check the KR 2018 website for further information.


WORKSHOPS (more details at http://kr2018.org/?p=workshops_tutorials)
---------
W1: Knowledge Representation in Natural Languages
W2: Reasoning about Actions and Processes: Planning, Verification and 
    Synthesis
W3: First Workshop on Induce and Deduce: Integrating learning of 
    representations and models with deductive, explainable reasoning that 
    leverages knowledge 
W4: Reasoning with Ambiguous and Conflicting Evidence and Recommendations 
    in Medicine
W5: Hybrid Reasoning and Learning
W6: Third International Workshop on Ontology Modularity, Contextuality, 
    and Evolution 
W7: Cognitive Robotics Workshop


INVITED SPEAKERS
----------------
Michael Beetz
(University of Bremen)

William W. Cohen
(Carnegie Mellon University)

Oren Etzioni
(Allen Institute for AI)

Francesca Rossi
(IBM Research and University of Padua)

Mirek Truszczynski -- Great Moments in KR Talk
(University of Kentucky)


TUTORIALS (more details at http://kr2018.org/?p=workshops_tutorials)
---------
T1: Belief Revision: 30 Years
T2: Implementing KR Approaches with Tweety
T3: An overview of ranking-based argumentation semantics
T4: Knowledge, Strategy, and Know-How
T5: Stream Reasoning - Incremental Reasoning Upon Rapidly Changing 
    Information
T6: Rulelog: Highly Expressive, Yet Scalable, Semantic Rules
T7: From Game Description Language to Game Description Logics
T8: Inconsistency-Tolerant Ontology-Mediated Query Answering


CONFERENCE CHAIRS
-----------------
General: Frank Wolter (University of Liverpool, UK)
Program: Michael Thielscher (The University of New South Wales, Australia)
         Francesca Toni (Imperial College London, UK)
Local Organization: Joohyung Lee (Arizona State University, USA)
                    Tran Cao Son (New Mexico State University, USA)
Doctoral Consortium: Sebastian Rudolph (Technische Universitat Dresden, 
                     Germany)
                     Madalina Croitoru (University Montpellier II and INRIA, 
		     France)
Workshop/tutorial Chairs: Sebastian Sardina (RMIT University, Australia)
                          Ivan Varzinczak (Univ. Artois & CNRS, France)
Sponsorship and Publicity: Marcello Balduccini (Saint Joseph's University, USA)
                           Marco Maratea (University of Genova, Italy)



-- 
Caml-list mailing list.  Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

^ permalink raw reply	[flat|nested] 1+ messages in thread

only message in thread, back to index

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2018-07-11 21:36 [Caml-list] KR 2018 ** WORKSHOP DEADLINES EXTENDED ** Marcello Balduccini

caml-list - the Caml user's mailing list

Archives are clonable: git clone --mirror https://inbox.ocaml.org/caml-list

AGPL code for this site: git clone https://public-inbox.org/ public-inbox