[isabelle] CFP COLA'09: Computational Logic with Applications



[Apologies for multiple copies]
========================================================================

  EPIA 2009 - 14th PORTUGUESE CONFERENCE ON ARTIFICIAL INTELLIGENCE

           October 12-15, Universidade de Aveiro, Portugal

                      http://epia2009.appia.pt/

     THEMATIC TRACK: COLA - COmputational Logic with Applications

========================================================================

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: 15 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,  CENTRIA and 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,  Universidade Federal do 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/







This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.