Please note that the deadline was extended to the 29th of April 2009.
Final Call for Papers: COLA'2009 (part of EPIA'2009)
========================================================================
EPIA 2009 - 14th PORTUGUESE CONFERENCE ON ARTIFICIAL INTELLIGENCE
October 12-15, Universidade de Aveiro, Aveiro, Portugal http://epia2009.appia.pt/
COLA - COmputational Logic with Applications (Thematic Track)
========================================================================
The integration of new complex intelligent systems requires more and more sound and appropriate foundations and tools, resulting in new problems and challenges for the computational logic practitioners. Computational logic has been widely used in complex applications in important areas such as the Deductive Databases, Natural Language Processing and Program Analysis, and more recently on the Semantic Web and related Web Tools. These novel applications have exposed the limits of existing approaches, showing the need for research on better languages and more sophisticated implementations of reasoning systems. The COLA thematic track of EPIA 2009 covers the broad area of Computational Logic and its applications, with special interest on topics related with new formalisms, environments, and applications. A list of non-exhaustive topics is:
- Logic based knowledge representation and applications. - Declarative semantics of rule languages and applications. - Program Analysis, Program Transformation, Validation and Verification, Debugging, Profiling. - Implementation of reasoning systems, in particular logic programming, contextual logic programming and tabling systems. - Abductive and Inductive Logic Programming - Ontologies, Description Logics and integration with reasoning systems. - Reasoning with incomplete and uncertain information, including non-monotonic reasoning as well as probabilistic and fuzzy logic programming formalisms. - Reasoning on the Semantic Web. - Applications: Deductive Databases, Data Integration, Natural Language, Semantic Web, and Web Tools.
IMPORTANT DATES:
Deadline for paper submission: 29 April, 2009 Notification of paper acceptance: 31 May, 2009 Conference dates: 12-15 October, 2009
INSTRUCTIONS FOR SUBMISSION:
All papers should be submitted in PDF format through the conference management website at:
https://cmt.research.microsoft.com/EPIA2009
Submitted papers have a maximum length of 12 pages and should have been prepared according to the formatting instructions of Springer LNAI series. The best accepted papers (the number is decided by EPIA Chairs) will appear in the proceedings published by Springer in the LNAI series. The remaining accepted papers and posters will be published in a local edition, both in hard-copy, CD-ROM and on the web.
ORGANIZING COMMITTEE
Carlos Viegas Damásio, Universidade Nova de Lisboa, Portugal Fernando Silva, Universidade do Porto, Portugal
PROGRAM COMMITTEE
Bart Demoen, K. University of Leuven, Belgium David Warren, University of Stony Brook, USA Enrico Pontelli, New Mexico State University, USA Frank Pfenning, Carnegie-Mellon University, USA Gopal Gupta, University of Texas at Dallas, USA Gregory Wheeler, CENTRIA - Universidade Nova de Lisboa, Portugal Grigoris Antoniou, FORTH and University of Crete, Greece Inês Dutra, Universidade do Porto, Portugal José Júlio Alferes, Universidade Nova de Lisboa, Portugal. Manuel Ojeda Aciego, Universidad de Málaga, Spain Nuno Silva, ISEP, Portugal Pascal Hitzler, University of Karlsruhe (TH), Germany Paulo Gomes, Universidade de Coimbra, Portugal Priscila M.V. Lima, Federal University of Rio de Janeiro, Brazil Salvador Abreu, Universidade de Ãvora, Portugal Terrance Swift, CENTRIA - Universidade Nova de Lisboa, Portugal Umberto Straccia, ISTI, CNR, Italy VÃtor Santos Costa, Universidade do Porto, Portugal
For more information about the EPIA 2009 conference visit http://epia2009.appia.pt/
======================================= Message: Address: Action: help majordomo(a)clip.dia.fi.upm.es Info. on useful commands subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list <whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list ----------------------------------------------------------------------------- Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/ -----------------------------------------------------------------------------