posted by user: spabreu || 3853 views || tracked by 19 users: [display]

INAP 2009 : 18th International Conference on Applications of Declarative Programming and Knowledge Management


Conference Series : International Conference on Applications of Declarative Programming and Knowledge Management
When Nov 5, 2009 - Nov 7, 2009
Where Evora, Portugal
Submission Deadline Jul 13, 2009
Notification Due Aug 17, 2009
Final Version Due Sep 14, 2009
Categories    artificial intelligence   semantic web   information retrieval   knowledge management

Call For Papers

Call for Papers

INAP 2009

18th International Conference on
Applications of Declarative Programming
and Knowledge Management

November 5-7, 2009
Evora, Portugal

Organized by the Portuguese AI Society (APPIA), the INAP Committee
and the Society of Logic Programming (GLP e.V.)

== Overview ==

Declarative Programming is a family of advanced paradigms for the
modeling and solving of complex problems. These specification and
implementation methods have attracted more and more attention over
the past years, e.g. in the domains of databases and natural
language processing, for modeling and the processing of
combinatorial problems, and for establishing systems for the web.

== INAP 2009 ==

INAP is a communicative and dense forum for intensive discussion of
applications of important technologies related to Prolog, Logic and
Constraint Programming as well as closely related advanced software.
It comprehensively covers the impact of programmable logic solvers
in the Internet Society, its underlying technologies, and leading
edge applications in industry, commerce, government, and societal

INAP 2009 continues a tradition of successful workshops cast around
the applications of declarative programming, which were held in
Kobe (1997), Tokyo (1995, 1996, 1998 - 2001), Potsdam (2004),
Fukuoka (2005) and Wuerzburg (2007).

We invite the submission of high quality papers on the described
topics, especially, but not exclusively, on different aspects of
Declarative Programming, Constraint Processing and Knowledge
Management as well as their use for Distributed Systems and the Web:

- Knowledge Management,
e.g. Data Mining, Decision Support, Deductive Databases
- Distributed Systems and the Web,
e.g. Agents and Concurrent Engineering, Semantic Web
- Constraints,
e.g. Constraint Systems, Extensions of Constraint (Logic) Programming
- Theoretical Foundations,
e.g. Deductive Databases, Nonmonotonic Reasoning
- Systems and Tools for Academic and Industrial Use
- Knowledge-based Web Services - Logic Solvers and Applications

== Workshop Format ==

The technical program of the workshop will include invited
presentations (to be announced), regular technical sessions with
presentations of the accepted papers, system demonstrations and a
panel discussion.

== Conference Venue ==

The conference will be held at the University of Evora, Portugal
in November 5-7, 2009.

Evora is a nice and quiet historical city located in the south of
Portugal that can be reached from Lisbon by train or coach in under
2 hours. It is a small city of 60.000 inhabitants, 120 km inland
from Lisbon and classified by Unesco as World Heritage. The
University of Evora was established in the 16th Century and is the
2nd oldest Portuguese University.

The social program is promising since the region is very rich in
historical sites (Stone Age, Roman, Medieval and Renaissance
remains) and also offers a very special gastronomy. See for more information.

== Important Dates ==

Paper Submission Deadline: July 13, 2009 (EXTENDED)
Notifications to Authors: August 17, 2009
Camera-ready Version Deadline: September 14, 2009
INAP 2009 Workshop: November 5-7, 2009

== Submission Guidelines ==

Participants should submit a paper (maximum 15 pages, PDF format),
describing their work in topics relevant to the workshop. Accepted
papers will be presented during the workshop. At least one author
of an accepted contribution is expected to register for the
workshop, and present the paper. All submissions should include the
author's name(s), affiliation, complete mailing address, and email

Authors are requested to prepare their submissions, following the
LNCS/LNAI Springer format. Please see:
for further details.

The submission should be submitted through the electronic submission

The deadline for receipt of submissions is June 29, 2009. Papers
received after this date will not be reviewed. Eligible papers will
be peer-reviewed by at least three members of the Program Committee.
Authors will be notified via email of the results by August 17,
2009. Authors of accepted papers are expected to improve their
paper based on reviewers' comments and to send a camera ready
version of their manuscripts by September 14, 2009.

Accepted papers will be included in the workshop proceedings, which
will be distributed to the participants.

As in previous editions, we plan to publish selected papers in a
proceedings volume in the Springer Lecture Notes in Artificial
Intelligence (LNAI) series.

== Organizing Committee ==

Vitor Nogueira vbn AT
Salvador Abreu spa AT
Pedro Salgueiro pds AT
Universidade de Evora

== Program Committee ==

Salvador Abreu, University of Evora, Portugal (co-chair)
Sergio Alvarez, Boston College, USA
Philippe Codognet, CNRS/JFLI, Tokyo, Japan
Vitor Santos Costa, University of Porto, Portugal
Daniel Diaz, University of Paris I, France
Ulrich Geske, University of Potsdam, Germany
Gopal Gupta, UT Dallas, USA
Petra Hofstedt, Technical University of Berlin, Germany
Ulrich Neumerkel, Technical University of Vienna, Austria
Vitor Nogueira, University of Evora, Portugal
Enrico Pontelli, New Mexico State University, USA
Irene Rodrigues, University of Evora, Portugal
Carolina Ruiz, Worcester Polytechnic Institute, USA
Dietmar Seipel, University of Wuerzburg, Germany (co-chair)
Terrance Swift, CENTRIA, Portugal
Hans Tompits, Technical University of Vienna, Austria
Masanobu Umeda, Kyushu Institute of Technology, Japan
Armin Wolf, Fraunhofer FIRST, Berlin, Germany
Osamu Yoshie, Waseda University, Japan

== Contact Information ==

inap2009 AT

Universidade de Evora
Departamento de Informatica
Largo dos Colegiais, 2
7004-516 Evora - PORTUGAL

Related Resources

CHIRA 2021   5th International Conference on Computer-Human Interaction Research and Applications
IARCE 2021-Ei Compendex & Scopus 2021   2021 5th International Conference on Industrial Automation, Robotics and Control Engineering (IARCE 2021)
PADL 2021   23rd International Symposium on Practical Aspects of Declarative Languages
CFMAI 2021   2021 3rd International Conference on Frontiers of Mathematics and Artificial Intelligence (CFMAI 2021)
17th ICTEL Rome 2021   17th ICTEL 2021 – International Conference on Teaching, Education & Learning, 06-07 September, Rome
EI-ISoIRS 2021   2021 2nd International Symposium on Intelligent Robotics and Systems (ISoIRS 2021)
TERA - Eurasia Research 2021   19th ICTEL 2021 – International Conference on Teaching, Education & Learning, 11-12 October, Lisbon
JCRAI 2021   2021 International Joint Conference on Robotics and Artificial Intelligence (JCRAI 2021)
20th ICTEL October, Dubai 2021   20th ICTEL 2021 – International Conference on Teaching, Education & Learning, 23-24 October, Dubai
TERA - Eurasia Research 2021   15th ICTEL 2021 – International Conference on Teaching, Education & Learning, 06-07 September, London