CFP: KR 2010

Joost Vennekens joost.vennekens at cs.kuleuven.be
Fr Jul 10 15:36:09 CEST 2009


		    CALL FOR PAPERS (PRELIMINARY)

			   *** KR 2010 ***

      Twelfth International Conference on  Principles of Knowledge
		     Representation and Reasoning

		   Toronto, Canada, May 9-13, 2010.

Collocated with  AAMAS-10, NMR-10, ICAPS-10, FOIS-10  (all in Toronto)
	      and DL 2010 (in Waterloo, Ontario, Canada)

		    Website: http://kr.org/KR2010/

Knowledge  Representation  and  Reasoning  (KR&R)  is  a  vibrant  and
exciting field of human endeavour.  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.

Explicit representations of knowledge manipulated by reasoning engines
are an integral and crucial component of intelligent systems. Semantic
web technologies,  the design  of software agents  and bio-Informatics
technologies, in particular, provide significant challenges for KR&R.

We intend KR2010 to be a  forum for the exchange of new ideas, issues,
and results among  the community of researchers in  the principles and
practices of KR&R systems.  We encourage papers presenting substantial
new results in the principles  of KR&R systems that clearly contribute
to the formal foundations or  show the applicability of the results to
implemented or implementable systems.  We also encourage "reports from
the field" of applications, experiments, developments, and tests. Such
papers should  be explicitly identified  as reports from the  field by
the  authors, to  ensure  appropriate reviewing,  and  must include  a
section on evaluation. For the  first time, KR will be collocated with
AAMAS. We  thus encourage  papers that are  relevant to both  KR&R and
Multi Agent Systems.

Topics of interest include:
* Exception tolerant and
inconsistency-tolerant reasoning, Paraconsistent logics
* Nonmonotonic logics, Default logics, Conditional logics,
   Argumentation
* Temporal reasoning and Spatial reasoning
* Causal reasoning, Abduction, Model-based diagnosis
* Reasoning about actions and change, Action languages, Situation
   calculus, Dynamic logic
* Reasoning, planning, or decision making under uncertainty
* Representations of vagueness, Many-valued and fuzzy logics
* Graphical representations for belief and preference
* Reasoning about belief and knowledge, Epistemic and Doxastic logics,
   Multi-agent logics of belief and knowledge
* Logic programming, Constraint logic programming, Answer set
   programming
* Computational aspects of knowledge representation
* Concept formation, Similarity-based reasoning
* Belief revision and update, Belief merging, Information fusion
* Description logics, Ontologies
* Qualitative reasoning, Reasoning about physical systems
* Decision theory, Preference modeling and representation, Reasoning
   about preferences
* KR and Autonomous agents: Intelligent agents, Cognitive robotics
* KR and Multi-agent systems: Negotiation, Group decision making,
   Cooperation, Interaction
* KR and game theory
* Natural language processing, Summarization, Categorization
* KR and Machine learning, Inductive logic programming, Knowledge
   discovery and acquisition
* WWW querying languages, Information retrieval and web mining,
   Website selection and configuration
* Philosophical foundations and psychological evidence
* Multi-sorted and Order-sorted representations and reasoning
* KR and Semantic Web

KR 2010 Important Dates (Preliminary)

     * Submission of title and abstract: November 25, 2009
     * Paper submission deadline: December 1, 2009
     * Notification of acceptance: January 20, 2010
     * Camera-ready papers due: February 21, 2010
     * KR 2010 Conference: May 9-13, 2010

Conference Chairs

General Chair:  Miroslaw Truszczynski
PC Chairs: Fangzhen Lin and Uli Sattler
Local Chair: Mikhail Soutchanski
Doctoral Consortium Chair: Yan Zhang
Publicitiy Chair: Joost Vennekens
Disclaimer: http://www.kuleuven.be/cwis/email_disclaimer.htm
-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL: <https://lists.tu-clausthal.de/cgi-bin/mailman/private/ifi-ci-event/attachments/20090710/42ecc305/attachment.html>


Mehr Informationen über die Mailingliste IFI-CI-Event