Objetivo In Computational Logic, the new paradigm of Answer Set Programming (ASP) promises to help the specification and solution of problems that need both reasoning by cases and reasoning under incomplete information. Robust and reasonably scalable implementations are now available. This Working Group will enable a systematic exchange of information among the implementation teams and test users, foster synergies in research efforts and achieve a critical mass of researchers on pilot applications. In Computational Logic, the new paradigm of Answer Set Programming (ASP) promises to help the specification and solution of problems that need both reasoning by cases and reasoning under incomplete information. Robust and reasonably scalable implementations are now available. This Working Group will enable a systematic exchange of information among the implementation teams and test users, foster synergies in research efforts and achieve a critical mass of researchers on pilot applications.OBJECTIVESResearch efforts, both in theory and implementation of Answer Set Programming have hitherto proceeded somewhat in parallel among European Universities. To bring ASP to the next level, i.e. to programmability by non-experts and usage in industrial-strength applications, requires an effort to bring together researchers and potential users, identify and concentrate on the most promising applications as well as on the more relevant remaining theoretical problems. The aim of the Working Group is to foster synergies among teams that so far have been working on competing implementations and diverse application areas.DESCRIPTION OF WORKThe Working Group will organise a series of workshops, including the second ASP workshop (following the ASP symposium in Stanford, 2001) dedicated to communication of results and a web site will be constructed to describe the research, the distribution ASP solvers worldwide, an application showcase and bibliographies and publications for students and researchers. The exchange of PhD students is one of the main goals and will be supported.Some of the deliverables are:i) a benchmark suite for evaluating (and comparing) progress in ASP solvers implementation;ii) collect and organize reports of successful applications in industry;iii) some standardisation of the input language for ASP solvers and iv) a class syllabus for Artificial Intelligence that is based on learning and applying ASP solvers. Ámbito científico natural sciencescomputer and information sciencesartificial intelligence Programa(s) FP5-IST - Programme for research, technological development and demonstration on a "User-friendly information society, 1998-2002" Tema(s) 1.1.2.-6.1.1 - FET O: Open domain Convocatoria de propuestas Data not available Régimen de financiación THN - Thematic network contracts Coordinador UNIVERSITA DEGLI STUDI DI MESSINA Aportación de la UE Sin datos Dirección PIAZZA SALVATORE PUGLIATTI 1 98100 MESSINA Italia Ver en el mapa Coste total Sin datos Participantes (16) Ordenar alfabéticamente Ordenar por aportación de la UE Ampliar todo Contraer todo HELSINKI UNIVERSITY OF TECHNOLOGY Finlandia Aportación de la UE Sin datos Dirección OTAKAARI 1 02015 ESPOO Ver en el mapa Coste total Sin datos KATHOLIEKE UNIVERSITEIT LEUVEN Aportación de la UE Sin datos Dirección Ver en el mapa Enlaces Sitio web Opens in new window Coste total Sin datos TECHNISCHE UNIVERSITAET WIEN - INSTITUT FUER INFORMATIONSSYSTEME Austria Aportación de la UE Sin datos Dirección FAVORITENSTRASSE 9-11 1040 WIEN Ver en el mapa Coste total Sin datos THE VICTORIA UNIVERSITY OF MANCHESTER Reino Unido Aportación de la UE Sin datos Dirección OXFORD ROAD M13 9PL MANCHESTER Ver en el mapa Coste total Sin datos UNIVERSIDAD REY JUAN CARLOS Aportación de la UE Sin datos Dirección Ver en el mapa Enlaces Sitio web Opens in new window Coste total Sin datos UNIVERSIDADE DE CORUNA España Aportación de la UE Sin datos Dirección FACULTAD INFORMATICA, CAMPUS ELVINA 15071 CORUNA Ver en el mapa Coste total Sin datos UNIVERSITA DEGLI STUDI DELLA CALABRIA Italia Aportación de la UE Sin datos Dirección VIA PONTE BUCCI 44 87036 ARCAVACATA DI RENDE (CS) Ver en el mapa Coste total Sin datos UNIVERSITA DEGLI STUDI DI L'AQUILA Italia Aportación de la UE Sin datos Dirección PIAZZA VINCENZO RIVERA 1 67100 L'AQUILA Ver en el mapa Coste total Sin datos UNIVERSITA DEGLI STUDI DI NAPOLI FEDERICO II Italia Aportación de la UE Sin datos Dirección CORSO UMBERTO 1 80138 NAPOLI Ver en el mapa Coste total Sin datos UNIVERSITA DEGLI STUDI DI TRENTO Italia Aportación de la UE Sin datos Dirección VIA BELENZANI 12 38100 TRENTO Ver en el mapa Coste total Sin datos UNIVERSITA DEGLI STUDI MEDITERRANEA DI REGGIO CALABRIA Italia Aportación de la UE Sin datos Dirección VIA ZECCA, 4 89125 REGGIO CALABRIA Ver en el mapa Coste total Sin datos UNIVERSITAET LEIPZIG Alemania Aportación de la UE Sin datos Dirección RITTERSTRASSE 26 04109 LEIPZIG Ver en el mapa Coste total Sin datos UNIVERSITAET POTSDAM Alemania Aportación de la UE Sin datos Dirección AM NEUEN PALAIS 10 14469 POTSDAM Ver en el mapa Coste total Sin datos UNIVERSITY OF BATH Reino Unido Aportación de la UE Sin datos Dirección CLAVERTON DOWN BA2 7AY BATH Ver en el mapa Coste total Sin datos UNIVERSITY OF CYPRUS Chipre Aportación de la UE Sin datos Dirección KALLIPOLEOS STREET 75 1678 NICOSIA Ver en el mapa Coste total Sin datos VRIJE UNIVERSITEIT BRUSSEL Bélgica Aportación de la UE Sin datos Dirección PLEINLAAN 2 1050 BRUSSEL Ver en el mapa Coste total Sin datos