- From: <fink@kr.tuwien.ac.at>
- Date: Mon, 26 May 2014 18:13:12 +0200
- To: undisclosed-recipients:;
FINAL CALL FOR PARTICIPATION
*** KR 2014 ***
14th International Conference on
Principles of Knowledge Representation and Reasoning
Vienna, Austria
July 20 - 24, 2014
http://kr.org/KR2014/
*** REGISTRATION: http://www.kr.tuwien.ac.at/events/kr2014/ ***
--------------------------------------------------------------------------------
Co-located with
DL 2014 [http://www.dbai.tuwien.ac.at/dl2014/],
NMR 2014 [http://www.kr.tuwien.ac.at/nmr14],
KR4HC [http://banzai-deim.urv.net/events/KR4HC-2014/],
FLoC 2014 [http://vsl2014.at/logic-in-computer-science/]
(CAV, CSF, ICLP, IJCAR, ITP, LICS, RTA, SAT), and
Logic Colloquium 2014 [http://www.logic.at/lc2014/].
KR 2014 is part of Vienna Summer of Logic [http://vsl2014.at/]
KR Registrants can participate in all sessions of the Vienna Summer of Logic at
the days they are registered for.
Reduced fees for joint registration with DL 2014 or NMR 2014 are available.
--------------------------------------------------------------------------------
IMPORTANT DATES
* Early Registration ends: June 8, 2014
* Late Registration ends: June 30, 2014
* On-Site Registration: July 12-23, 2014
* Conference Date: July 20-24, 2014
--------------------------------------------------------------------------------
HIGHLIGHTS OF KR 2014
Keynote Talks:
- "Ontology-Based Monitoring of Dynamic Systems"
Franz Baader, TU Dresden, Germany
(joint keynote speaker with Vienna Summer of Logic - supported by ECCAI)
- "Situation Calculus: The last 15 years" ("Great Moments in KR" lecture)
Sheila McIlraith, University of Toronto, Canada
- "Datalog+/- : Questions and Answers"
Georg Gottlob, University of Oxford, UK
- "Knowledge Representation meets Computer Vision:
from Pixels to Symbolic Activity Descriptions"
Anthony Cohn, University of Leeds, UK
Tutorials:
- "Natural Language Understanding with World Knowledge and Inference"
Ekaterina Ovchinnikova, University of Southern California, US
- "Verification of Multi-Agent Systems against Epistemic Specifications"
Alessio Lomuscio, Imperial College London, UK
- "Query Answering and Rewriting in Ontology-Based Data Access"
Riccardo Rosati, Sapienza University of Rome, Italy
- "Dynamic Epistemic Logic and its Interaction with Knowledge Representation"
Lawrence S. Moss, Indiana University, US
Cutting Edge Research Papers:
- 58 Long Technical Papers
- 25 Short Technical Papers
- Complete listing at http://www.kr.tuwien.ac.at/events/kr2014/?p=papers
Awards:
- The 2014 Ray Reiter Best Paper Prize
(sponsored by the Artificial Intelligence Journal)
- The 2014 Marco Cadoli Student Paper Prize
- Kurt Gödel Research Prize Fellowships
KR 2014 Doctoral Consortium:
- The Doctoral Consortium is a student mentoring program that introduces
students to senior researchers with similar research interests. Students
will present their work in a poster session.
VSL'2014 Highlights during KR 2014:
- VSL Keynote Talk by Edmund Clarke
- VSL Public Lecture on the Vienna Circle
--------------------------------------------------------------------------------
OVERVIEW
Knowledge Representation and Reasoning (KR&R) is a well-established and vibrant
field of research. KR&R techniques are key drivers of innovation in computer
science, and they have led to significant advances in practical applications in
a wide range of areas from Artificial Intelligence to Software Engineering.
The underlying approach of explicitly representing knowledge in a tangible form,
suitable for processing by dedicated reasoning engines, is a fundamental
component of many modern intelligent systems. Foundational and applied research
in KR&R contributes to the principles of artificial intelligence. It also
contributes to the foundations of longstanding fields including automated
planning, databases, and software engineering. In recent years KR&R has also
derived challenges from new and emerging fields including the semantic web,
computational biology, and the development of software agents.
The KR conference series is a leading forum for timely in-depth presentation of
progress in the theory and principles underlying the representation and
computational management of knowledge. The 2014 edition will be held as part
of the Vienna Summer of Logic together with the Federated Conference on Logic,
Logic Colloquium and other related events. The Vienna Summer of Logic is
expected to be the largest convention in the history of logic.
--------------------------------------------------------------------------------
CONFERENCE CHAIRS
General Chair: Thomas Eiter (TU Vienna, Austria)
Program Chairs: Chitta Baral (Arizona State U, USA)
Giuseppe De Giacomo (U "La Sapienza", Italy)
Local Organization: Michael Fink (TU Vienna, Austria)
Stefan Woltran (TU Vienna, Austria)
Doctoral Consortium: Birte Glimm (U Ulm, Germany)
Adrian Pearce (U Melbourne, Australia)
Sponsorship: Marco Maratea (U Genova, Italy)
--------------------------------------------------------------------------------
Received on Monday, 26 May 2014 16:13:46 UTC