ebook img

Methods and Applications of Artificial Intelligence: Second Hellenic Conference on AI, SETN 2002 Thessaloniki, Greece, April 11–12, 2002 Proceedings PDF

526 Pages·2002·6.87 MB·English
Save to my drive
Quick download
Download
Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.

Preview Methods and Applications of Artificial Intelligence: Second Hellenic Conference on AI, SETN 2002 Thessaloniki, Greece, April 11–12, 2002 Proceedings

Lecture Notes in Artificial Intelligence 2308 SubseriesofLectureNotesinComputerScience EditedbyJ.G.CarbonellandJ.Siekmann Lecture Notes in Computer Science EditedbyG.Goos,J.Hartmanis,andJ.vanLeeuwen 3 Berlin Heidelberg NewYork Barcelona HongKong London Milan Paris Tokyo Ioannis P. Vlahavas Constantine D. Spyropoulos (Eds.) Methods andApplications of Artificial Intelligence Second Hellenic Conference on AI, SETN 2002 Thessaloniki, Greece, April 11-12, 2002 Proceedings 1 3 SeriesEditors JaimeG.Carbonell,CarnegieMellonUniversity,Pittsburgh,PA,USA Jo¨rgSiekmann,UniversityofSaarland,Saarbru¨cken,Germany VolumeEditors IoannisP.Vlahavas AristotleUniversityofThessaloniki,Dept.ofInformatics 54006Thessaloniki,Greece [email protected] ConstantineD.Spyropoulos N.C.S.R."Demokritos",Inst.ofInformatics&Telecommunications SoftwareandKnowledgeEngineeringLab 15310AghiaParaskevi,Greece E-mail:[email protected] Cataloging-in-PublicationDataappliedfor DieDeutscheBibliothek-CIP-Einheitsaufnahme Methodsandapplicationsofartificialintelligence:proceedings/Second HellenicConferenceonAI,SETN2002,Thessaloniki,Greece,April11-12, 2002.IoannisP.Vlahavas;ConstantineD.Spyropoulos(ed.).-Berlin; Heidelberg;NewYork;Barcelona;HongKong;London;Milan;Paris; Tokyo:Springer,2002 (Lecturenotesincomputerscience;Vol.2308:Lecturenotesin artificialintelligence) ISBN3-540-43472-0 CRSubjectClassification(1998):I.2,H.5.2,H.4,I.4 ISSN0302-9743 ISBN3-540-43472-0Springer-VerlagBerlinHeidelbergNewYork Thisworkissubjecttocopyright.Allrightsarereserved,whetherthewholeorpartofthematerialis concerned,specificallytherightsoftranslation,reprinting,re-useofillustrations,recitation,broadcasting, reproductiononmicrofilmsorinanyotherway,andstorageindatabanks.Duplicationofthispublication orpartsthereofispermittedonlyundertheprovisionsoftheGermanCopyrightLawofSeptember9,1965, initscurrentversion,andpermissionforusemustalwaysbeobtainedfromSpringer-Verlag.Violationsare liableforprosecutionundertheGermanCopyrightLaw. Springer-VerlagBerlinHeidelbergNewYork amemberofBertelsmannSpringerScience+BusinessMediaGmbH http://www.springer.de ©Springer-VerlagBerlinHeidelberg2002 PrintedinGermany Typesetting:Camera-readybyauthor,dataconversionbyPTP-Berlin,StefanSossnae.K. Printedonacid-freepaper SPIN:10846547 06/3142 543210 Preface In recent times Artificial Intelligence (AI) has proved to be a very fruitful re- searchareawhoseresultshavefoundnumerousreal-lifeapplications,intheareas oftelecommunications,e-commerce,management,medicine,education,etc.The adventandrapidgrowthoftheInternetandtheWorldWideWebhavemotivated further the interest and activity in this field, through the increasing demand for intelligent information systems. This volume includes a collection of papers accepted for oral presentation at the 2nd Hellenic Conference on Artificial Intelligence (SETN 2002), organized by the Hellenic Society for Artificial Intelligence (EETN) and the Department of Informatics at the Aristotle University of Thessaloniki (AUTH), Greece. The conference was held in Thessaloniki, Greece, 11–12 April 2002, and it constitut- ed the first attempt at establishing a regular Hellenic conference on Artificial Intelligence. EETN was established in 1988 with the aim of organizing and promoting AI research among Greeks in Greece and abroad. Since its foundation, EETN has participated in the organization of various national and international events re- latedtoAIanditssubfields,includingthefirstHellenicSymposiumonArtificial Intelligence (SETN’96). EETN has also been a member society of the European Coordinating Committee on Artificial Intelligence (ECCAI) since 1996, and or- ganized the advanced school on AI (ACAI’99). The Department of Informatics of AUTH has been actively engaged in AI researchforover15yearsthroughtheLogicProgramming&IntelligentSystems group and the Signal Processing group. Both groups have been publishing pa- pers and have been involved in numerous research projects in the areas of Logic Programming, Constraint Solving, Knowledge-Based Systems, Planning, Ma- chineLearning,Image/Video/SpeechProcessing,NeuralNetworks,FuzzyLogic, Biometrics, Distance Learning, etc. Furthermore, the Signal Processing group organized the IEEE-sponsored International Conference on Image Processing (ICIP 2001). Theprogramoftheconferenceincludedpresentationsofresearchresultsand applications from distinguished Greek scientists from all over the world. The submission of papers to the conference was overwhelming, both in quantitative andqualitativeterms.Eachsubmittedpaperwasevaluatedbytwo,andinsome cases three, independent reviewers on the basis of their relevance to AI, origina- lity, significance, technical soundness, and presentation. The selection was hard, as only 42 papers out of the 121 submitted were accepted for oral presentation and inclusion in this volume, after further discussion with the members of the Advisory Board. TheselectedpaperscoverabroadrangeofAItopics,suchasKnowledgeRe- presentation and Reasoning, Natural Language Processing, Human-Computer Interaction,MachineLearning,MachineVision,MultiagentSystems,etc.Inad- VI Preface dition,thevolumeincludestwotalksgivenbyChristosPapadimitriou(Berkeley University, U.S.A.) and John Mylopoulos (University of Toronto, Canada), the distinguished invited speakers of the conference. The editors would like to thank all those who contributed to the success of SETN2002.Especially,theywouldliketoexpresstheirgratitudetothesponsors whosupportedtheconference,theOrganizingCommittee,forimplementingthe conference schedule in a timely and flawless manner, the Advisory Board, the Program Committee, and the additional reviewers, for the time and effort spent inreviewingthepapers,andthetwoinvitedspeakersfortheirkindparticipation. Lastbutnotleast,theeditorswouldliketothankalltheauthorswhosubmitted paperstothisconferenceandwouldliketoinvitethemtoparticipateinthenext Hellenic Conference on Artificial Intelligence, as well. February 2002 Ioannis P. Vlahavas Constantine D. Spyropoulos Conference Chair Ioannis P. Vlahavas (Aristotle University of Thessaloniki) Conference Co-chair Constantine D. Spyropoulos (NCSR “Demokritos”) Organizing Committee Nick Bassiliades (Aristotle University of Thessaloniki) Petros Kefalas (City Liberal Studies) Vangelis Karkaletsis (NCSR “Demokritos”) Constantine Kotropoulos (Aristotle University of Thessaloniki) Constantine Lazos (Aristotle University of Thessaloniki) Georgios Paliouras (NCSR “Demokritos”) Ioannis Refanidis (Aristotle University of Thessaloniki) Ioannis Tsoukalas (Aristotle University of Thessaloniki) Stavros Stavroulakis (Secretariat) Advisory Board Nikolaos Fakotakis (University of Patras) Constantine Halatsis (National and Kapodistrian University of Athens) Elias Houstis (University of Patras / University of Thessaly) Ioannis Kontos (National and Kapodistrian University of Athens) Vassilis Moustakis (Technical University of Crete / FORTH) Georgios Papakonstantinou (National Technical University of Athens) Ioannis Pitas (Aristotle University of Thessaloniki) Andreas Pomportsis (Aristotle University of Thessaloniki) Timoleon Sellis (National Technical University of Athens) Michail-Gerasimos Strintzis (Aristotle University of Thessaloniki / CERTH) Athanasios Tsakalidis (University of Patras / Computer Technology Institute) Spyros Tzafestas (National Technical University of Athens) VIII Organization Program Committee Ion Androutsopoulos (NCSR “Demokritos”) Maria Aretoulaki (SemanticEdge, Germany) Nikolaos Avouris (University of Patras) Georgios Dimitriou (University of Sheffield, UK) Ioannis Dimopoulos (University of Cyprus) Georgios Dounias (Aegean University) Theodoros Evgeniou (INSEAD, France) Eleni Galliotou (TEI of Athens) Petros A. M. Gelepithis (Kingston University, UK) Emmanouil Gergatsoulis (NCSR “Demokritos” / University of Pireaus) Nikolaos Hatziargyriou (National Technical University of Athens) Ioannis Hatzilygeroudis (University of Patras) Dimitris Kalles (Ahead RM / University of Patras) Grigoris Karakoulas (Canadian Imperial Bank / Toronto University, Canada) Stavros Kokkotos (Dynamic Ideas, USA) Konstantinos Koutroumbas (National Observatory of Athens) Georgios Magoulas (Brunel University, UK) Kostas Margaritis (University of Macedonia) Themistoklis Panayiotopoulos (University of Pireaus) Christos Papatheodorou (NCSR “Demokritos” / Ionian University) Stavros Perantonis (NCSR “Demokritos”) Stelios Piperidis (Institute of Language and Speech Processing) Dimitris Plexousakis (University of Crete / FORTH) Georgios Potamias (FORTH) Demosthenes Stamatis (TEI of Thessaloniki) Panagiotis Stamatopoulos (National and Kapodistrian University of Athens) Konstantinos Stathis (City University, UK) Nikolaos Vassilas (TEI of Athens / NCSR “Demokritos”) Georgios Vouros (Aegean University) Emmanouil Yakoumakis (Athens University of Economics and Business) Organization IX Additional Referees Panagiotis Adamidis Christos Makris Foto Afrati Stratos Malassiotis Lefteris Aggelis Costas Neocleous Antonis Argyros Nikolaos Nikolaidis Yannis Avrithis Christos Nomikos Panagiotis D. Bamidis Penny Noy Nick Bassiliades George Paliouras Constantinos Chandrinos Iraklis Paraskakis Eleni Charou Vasilios Petridis Christofer Child Ioannis Refanidis Stavros Christodoulakis Panagiotis Rondogiannis Vassilis Christofides George Rovithakis Panos Constantopoulos Dimitrios Sampson Dimitrios Dervos Christos N. Schizas Dimitrios Dranidis Kyriakos Sgarbas Dimitrios M. Emiris Christos Siamitros Attila Fazekas Myra Spiliopoulou Cristophe Garcia Andreas Stafylopatis Maria Grigoriadou Ioannis Stamelos Nick Ioannidis Yannis Stavrakas Antonis C. Kakas Kostas Stergiou Achilles D. Kameas Chrysostomos Stylios Vangelis Karkaletsis Francesca Tonny Dimitrios Karras Athanasios Tsadiras Grigoris Karvounarakis Ioannis Tsamardinos Petros Kefalas Nicolas Tsapatsoulis Panayiotis H. Ketikidis Panagiotis Tsarchopoulos Stefanos Kollias Giorgos Tselentis Constantine Kotropoulos George A. Tsihrintzis Manolis Koubarakis Lefteris Tsoukalas Dimitrios E. Koulouriotis Alexis Tsoukias Yannis Labrou Konstantinos Tzafestas Isaac E. Lagaris Stavros Varoufakis George K. Lekeas Michalis Vazirgiannis Aristidis C. Likas Michael N. Vrahatis Panagiotis Linardis Michael Zervakis Table of Contents Invited Talks Understanding the Internet.......................................... 1 Christos H. Papadimitriou Agent-Oriented Software Development................................ 3 John Mylopoulos, Manuel Kolp, and Paolo Giorgini Knowledge Representation & Reasoning The Ramification and Qualification Problems in Temporal Databases..... 18 Nick Papadakis and Dimitris Plexousakis Multi-inference with Multi-neurules .................................. 30 Ioannis Hatzilygeroudis and Jim Prentzas Decision Making Based on Past Problem Cases ........................ 42 Ioannis Stamelos and Ioannis Refanidis Logic Programming & Constraint Satisfaction Relating Defeasible Logic to Extended Logic Programs ................. 54 George Antoniou On Algorithms for Decomposable Constraints ......................... 65 Kostas Stergiou Cspcons: A Communicating Sequential Prolog with Constraints......... 72 Ioannis P. Vlahavas, Ilias Sakellariou, Ivan Futo, Zoltan Pasztor, and Janos Szeredi Genetic Evolution of Software Microorganisms......................... 85 Themistoklis Panayiotopoulos, Harry Kalogirou, Anthony Petropoulos, and Dionisis Dimopoulos Planning & Scheduling A Probabilistic Approach to Robust Execution of Temporal Plans with Uncertainty ....................................................... 97 Ioannis Tsamardinos Crew Pairing Optimization with Genetic Algorithms ................... 109 Harry Kornilakis and Panagiotis Stamatopoulos

Description:
This book constitutes the refereed proceedings of the Second Hellenic Conference on Artificial Intelligence, SETN 2002, held in Thessaloniki, Greece, in April 2002.The 42 revised full papers presented together with two invited contributions were carefully reviewed and selected for inclusion in the b
See more

The list of books you might like

Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.