posted by system || 1300 views || tracked by 1 users: [display]

nomonat 2010 : 30 Years of Nonmonotonic Logic

FacebookTwitterLinkedInGoogle

Link: http://sites.google.com/site/nonmonat30/
 
When Oct 22, 2010 - Oct 25, 2010
Where Lexington, KY, USA
Submission Deadline Jul 11, 2010
Notification Due Sep 6, 2010
Final Version Due Oct 3, 2010
Categories    nonmonotonic logic   atificial intelligence   logic programming   answer set programming
 

Call For Papers

CALL FOR PAPERS

Lexington, KY, USA
October 22 (Friday) - October 25 (Monday), 2010.

http://sites.google.com/site/nonmonat30/

The publication of the seminal issue on Nonmonotonic Logics by the
Artificial Intelligence Journal in 1980 resulted in the new area of
research in Knowledge Representation. This development changed the
paradigm of logic originated in antiquity, created an important area of
mathematical logic, and resulted in exciting discoveries of logical
techniques creating new bridges between logic, knowledge representation
and computation. The research contributed to mathematical logic,
computer science and philosophy, and changed the perspective on
applications of logic.

This conference aims to sum up the experience of the first 30 years of
nonmonotonic logics and map paths into the future. It will interleave
longer invited talks covering all major research trends of the past 30
years with shorter technical presentations providing an account of the
current research. Invited presentations will be published in an edited
book by the College Publications (http://www.collegepublications.co.uk/). A
special issue of the Journal of Artificial Intelligence Research (JAIR;
http://www.jair.org/) will provide a venue for technical presentations (a
detailed CFP for the special issue will be distributed at a later time; a
rigorous peer review process in-line with JAIR quality standards will be
followed).

INVITED TALKS

The following researchers will deliver invited presentations at the meeting:

Chitta Baral
Alexander Bochman
James Delgrande
Marc Denecker
Thomas Eiter
Dov Gabbay
Michael Gelfond
Georg Gottlob
Michael Kaminski
Daniel Lehmann
Vladimir Lifschitz
Fangzhen Lin
Jack Minker
Ilkka Niemela
David Pearce
Jeffrey Remmel
Eric Sandewall
Torsten Schaub

ORIGINAL TECHNICAL PAPERS

We invite papers in all areas of nonmonotonic reasoning, and especially
encourage submissions underlying the role of nonmonotonic reasoning in
artificial intelligence and knowledge representation.

PROGRAM COMMITTEE

Gerhard Brewka (co-Chair)
Eyal Amir
Salem Benferhat
Richard Booth
Pedro Cabalar
Yannis Dimopoulos
Wolfgang Faber
Norman Foo
Martin Gebser
Tony Hunter
Tomi Janhunen
Victor Marek (co-Chair)
Tommie Meyer
Maurice Pagnucco
Henry Prakken
Chiaki Sakama
Ken Satoh
Evgenia Ternovska
Michael Thielscher
Mirek Truszczynski (co-Chair)
Joost Vennekens
Stefan Woltran
Mingyi Zhang

ORGANIZATION

G. Brewka (brewka@informatik.uni-leipzig.de)
V. Marek (marek@cs.uky.edu)
M. Truszczynski (mirek@cs.uky.edu)

IMPORTANT DATES
(for the original technical contributions track)

Paper submission: July 11 (Monday)
Acceptance Decision: September 6 (Monday)
Final Version (for on-line proceedings): October 3 (Monday)

Paper Submission will be handled by EasyChair (details to follow).

Conference page: http://sites.google.com/site/nonmonat30/

Related Resources

ICLP 2020   The 36th International Conference on Logic Programming
ATVA 2020   18ᵗʰ International Symposium on Automated Technology for Verification and Analysis
CBIoT 2021   2nd International Conference on Cloud, Big Data and IoT
ICAISC 2021   International Conference on Artificial Intelligence and Soft Computing
TRA 2021   CFP Extension to December 2020: THE RISE OF ASIA 2021: 60 years after Belgrade, what Non-Alignment in a Multipolar World and for a Global Future?
AMAI 2021   Annals of Mathematics and Artificial Intelligence Special Issue on Theoretical and Practical Aspects of Unification
PADL 2021   23rd International Symposium on Practical Aspects of Declarative Languages
SLIE 2021   Semantic, Logics, Information Extraction and AI
ICDIPV 2021   10th International Conference on Digital Image Processing and Vision
AI & FL 2020   8th International Conference of Artificial Intelligence and Fuzzy Logic