EPIA 2011 - 15th Portuguese Conference on Artificial Intelligence

Thematic Track: COLA - COmputational Logic with Applications

October 10-13

Universidade de Lisboa, Portugal

http://epia2011.appia.pt/

== Overview ==

The development of sophisticated 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 2011 covers
the broad area of Computational Logic and its applications, with
special interest on topics related with new formalisms,
environments, languages, tools, and applications. A non-exhaustive
list of topics follows:

- 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: May 10, 2011
Notification of paper acceptance: June 10, 2011
Camera-ready papers: July 1, 2011
Conference dates: October 10-13, 2011

== Submission Guidelines ==

All papers should be submitted through the conference management
website at:

http://www.easychair.org/conferences/?conf=epia2011

Papers should not exceed fifteen (15) pages in length and must be
formatted according to the information for LNCS authors. Papers must
be submitted in PDF (Adobe's Portable Document Format) format and
will not be accepted in any other format. Papers that exceed 15
pages or do not follow the LNCS guidelines risk being rejected
automatically without a review. At least one author of each
accepted paper must register for the conference. More information
about the Springer's Lecture Notes in Computer Science (LNCS) are
available on the Springer LNCS Web site

http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0

The best papers (the exact number is decided by the EPIA Chairs)
will appear in the proceedings published by Springer in the LNAI
series. The remaining accepted papers will be published in a venue
TBA.

== Organizing Committee ==

Paulo Moura, Universidade da Beira Interior, Portugal
Vitor Nogueira, Universidade de Évora, Portugal

== Program Committee ==

Angelika Kimmig, K. University of Leuven, Belgium
Axel Pollers, National University of Ireland, Ireland
Bart Demoen, K. University of Leuven, Belgium
Daniel Diaz, University of Paris 1, France
David Warren, University of Stony Brook, USA
Enrico Pontelli, New Mexico State University, USA
Gopal Gupta, University of Texas at Dallas, USA
Joachim Schimpf, Monash University, Australia
João Leite, CENTRIA and Universidade Nova de Lisboa, Portugal
José Alferes, CENTRIA and Universidade Nova de Lisboa, Portugal
Paulo Gomes, Universidade de Coimbra, Portugal
Peter Robinson, University of Queensland, Australia
Roberto Bagnara, University of Parma, Italy
Salvador Abreu, Universidade de Évora, Portugal
Vítor Costa, Universidade do Porto, Portugal

== Contact Information ==

cola2011@di.uevora.pt