posted by user: vmnogueira || 1899 views || tracked by 5 users: [display]

COLA 2011 : COmputational Logic with Applications @ EPIA


When Oct 10, 2011 - Oct 13, 2011
Where Universidade de Lisboa, Portugal
Abstract Registration Due May 10, 2011
Submission Deadline May 17, 2011
Notification Due Jun 10, 2011
Final Version Due Jul 1, 2011
Categories    computational logic   artificial intelligence

Call For Papers

EPIA 2011 - 15th Portuguese Conference on Artificial Intelligence

Thematic Track: COLA - COmputational Logic with Applications

October 10-13

Universidade de Lisboa, Portugal

== 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:

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

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

== 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 ==

Related Resources

IJCAI 2022   31st International Joint Conference on Artificial Intelligence
IEEE WCCI 2022   IEEE World Congress on Computational Intelligence
ICPR 2022   26th International Conference on Pattern Recognition
IEEE--ICCIA--EI, Scopus 2022   IEEE--2022 7th International Conference on Computational Intelligence and Applications (ICCIA 2022)--EI Compendex, Scopus
FAIML 2022   2022 International Conference on Frontiers of Artificial Intelligence and Machine Learning (FAIML 2022)
ICAASE 2022   The 5th International Conference on Advanced Aspects of Software Engineering
ACM--ICMLT--Ei and Scopus 2022   ACM--2022 7th International Conference on Machine Learning Technologies (ICMLT 2022)--Ei Compendex, Scopus
ICCIA--IEEE, Ei, Scopus 2022   IEEE--2022 7th International Conference on Computational Intelligence and Applications (ICCIA 2022)--EI Compendex, Scopus
IJCNN 2023   International Joint Conference on Neural Networks
ACM-EI/Scopus-ACAI 2021   2021 4th International Conference on Algorithms, Computing and Artificial Intelligence (ACAI 2021)