List of Publications:

2008

• H.-M. Haav, A. Kalja, P. Küngas, M. Luts. Ensuring large-scale semantic interoperability: the Estonian public sector's case study. In: Databases and Information Systems V: Selected Papers from the Eighth International Baltic Conference, DB&IS 2008, pp. 117-128, IOS Press, 2009, (Frontiers in Artificial Intelligence and Applications; 187).
• P. Küngas, M. Matskin. Symbolic Negotiation: Partial Deduction for Linear Logic with Coalition Formation. Web Intelligence and Agent Systems, Vol. 6, No. 2, pp. 193-215, IOS Press, 2008.
• M. Luts, H.-M. Haav, P. Küngas, U. Vallner, A. Kalja, K. Arula. The Estonian Semantic Interoperability Initiative in Public Sector. In Proceedings of Eighth International Baltic Conference on Databases and Information Systems, BalticDB&IS'2008, Tallinn, Estonia, June 2-5, 2008, pp. 103-113, Tallinn University of Technology Press, 2008.
• R. Maigre, P. Küngas, M. Matskin, E. Tyugu. Handling Large Web Services Models in a Federated Governmental Information System. In Proceedings of The Third International Conference on Internet and Web Applications and Services, ICIW 2008, Athens, Greece, June 8-13, 2008, pp. 626-631, 2008.
• A. Haseeb, P. Küngas, M. Matskin. Semantic Middleware for Robot Swarm Interaction through Web Services. In Proceedings of IASTED Conference on Modelling, Identification and Control, MIC2008, Innsbruck, Austria, February 11-13, 2008.
• A. Haseeb, M. Matskin, P. Küngas. DeLP based Semantic Location Lattice for Intelligent Robotic Navigation. In Proceedings of The 2008 International Conference on Artificial Intelligence, ICAI'08, Las Vegas, Nevada, USA, July 14-17, 2008.
• A. Haseeb, M. Matskin, P. Küngas. Light-Weight Decentralized Autonomic Web Service Discovery for Systems with Heterogeneous Communication Capabilities. In Proceedings of IMSA 2008.
• R. Maigre, P. Grigorenko, P. Küngas, E. Tyugu. Stratified Composition of Web Services. In Proceedin gs of JCKBSE 2008, pp. 49-58, IOS Press, 2008.

2007

• P. Küngas, M. Matskin. Interaction and Potential Synergy between Commercial and Governmental Web Services - a Case Study. In Proceedings of Modeling, Design, and Analysis for Service-oriented Architecture Workshop; 2nd edition, MDA4SOA'07, July 13, 2007, Salt Lake City, Utah, USA, co-located with the 2007 IEEE International Conferences on Services Computing (SCC 2007) and Web Services (ICWS 2007), 2007, IEEE Computer Society Press.
• P. Küngas, M. Matskin. From Web Services Annotation and Composition to Web Services Domain Analysis. International Journal of Metadata, Semantics and Ontologies, Inderscience Publishers, Vol. 2, No. 3, pp. 157-178, 2007.

2006

• J. Rao, P. Küngas, M. Matskin. Composition of Semantic Web Services using Linear Logic Theorem Proving. Information Systems, Special Issue on the Semantic Web and Web Services, Vol. 31, No. 4-5, pp. 340-360, 2006, Elsevier.
• P. Küngas, M. Matskin. Semantic Web Service Composition through a P2P-Based Multi-Agent Environment. In Proceedings of the Fourth International Workshop on Agents and Peer-to-Peer Computing (in conjunction with AAMAS 2005), AP2PC 2005, Utrecht, Netherlands, July 26, 2005, Springer-Verlag, Lecture Notes in Computer Science, Vol. 4118, pp. 106-119, 2006.
• P. Küngas, M. Matskin. Web Services Roadmap: The Semantic Web Perspective. In Proceedings of International Conference on Internet and Web Applications and Services, ICIW'06, Guadeloupe, French Caribbean, February 23-25, 2006, 6 pages, IEEE Computer Society Press, 2006.
• P. Küngas, M. Matskin. Symbolic Negotiation Revisited. In Proceedings of Fifth International Joint Conference on Autonomous Agents and Multi-Agent Systems, AAMAS'06, Future University-Hakodate, Japan, May 8-12, 2006, pp. 432-434, ACM Press, 2006.
• S. Liu, P. Küngas, M. Matskin. Agent-Based Web Service Composition with JADE and JXTA. In Proceedings of The 2006 International Conference on Semantic Web and Web Services, SWWS'06, Las Vegas, Nevada, USA, June 26-29, 2006, pp. 110-116, CSREA Press, 2006.
• P. Küngas, M. Matskin. Web Services Analysis: Making Use of Web Service Composition and Annotation. In Proceedings of 1st Asian Semantic Web Conference, ASWC'06, Beijing, China, September 3-7, 2006, Springer-Verlag, Lecture Notes in Computer Science, Vol. 4185, pp. 501-515, 2006. (© Springer-Verlag).
• P. Küngas, M. Matskin. Symbolic Negotiation in Linear Logic with Coalition Formation. In Proceedings of the 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, IAT'06, Hong Kong, December 18-22, 2006, pp. 298-305, IEEE Computer Society Press, 2006.

2005

• P. Küngas, M. Matskin. Detection of Missing Web Services: The Partial Deduction Approach. Special Issue on Recent Innovations in Web Services Practices, International Journal of Web Services Practices, Vol. 1, No. 1-2, pp. 133-141, 2005.
• P. Küngas, M. Matskin. Partial Deduction for Linear Logic-The Symbolic Negotiation Perspective. In Proceedings of the Second International Workshop on Declarative Agent Languages and Technologies (in conjunction with AAMAS 2004), DALT'2004, New York, USA, July 19, 2004, Springer-Verlag, Lecture Notes in Artificial Intelligence, Vol. 3476, pp. 35-52, 2005.(© Springer-Verlag).
• P. Küngas, M. Matskin. Partial Deduction for Assisting Automated Semantic Web Service Composition. In Proceedings of the Workshop on Exploring Planning and Scheduling for Web Services, Grid and Autonomic Computing held in conjunction with The Twentieth National Conference on Artificial Intelligence, (AAAI 2005), Pittsburgh, Pennsylvania, USA, July 9-10, 2005, AAAI Technical Report WS-05-03, AAAI Press, pp. 43-45, 2005.
• P. Küngas, M. Matskin. Combining Symbolic and Non-Symbolic Negotiation for Agent-Based Web Service Composition. In Proceedings of the 2005 International Conference on Artificial Intelligence, ICAI'05, Las Vegas, Nevada, USA, June 27-30, 2005, CSREA Press, pp. 513-519, 2005.
• P. Küngas. Petri Net Reachability Checking Is Polynomial with Optimal Abstraction Hierarchies. In Proceedings of the 6th International Symposium on Abstraction, Reformulation and Approximation, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Springer-Verlag, Lecture Notes in Artificial Intelligence, Vol. 3607, pp. 149-164, 2005.(© Springer-Verlag)
• P. Küngas, M. Matskin. Detection of Missing Web Services: The Partial Deduction Approach. In Proceedings of International Conference on Next Generation Web Services Practices, NWeSP'05, Seoul, Korea, August 22-26, 2005, IEEE Computer Society Press, pp. 339-344, 2005.
• M. Matskin, P. Küngas, J. Rao, J. Sampson, S. A. Petersen. Enabling Web Services Composition with Software Agents. In Proceedings of the Ninth IASTED International Conference on Internet and Multimedia Systems and Applications, IMSA 2005, Honolulu, Hawaii, USA, August 15-17, 2005, ACTA Press, pp. 93-98, 2005.

2004

• P. Küngas, M. Matskin. Linear Logic, Partial Deduction and Cooperative Problem Solving. In Proceedings of the First International Workshop on Declarative Agent Languages and Technologies (in conjunction with AAMAS 2003), DALT'2003, Melbourne, Australia, July 15, 2003, Springer-Verlag, Lecture Notes in Artificial Intelligence, Vol. 2990, pp. 263-279, 2004. (© Springer-Verlag)
• P. Küngas, M. Matskin. Symbolic Negotiation with Linear Logic. In Proceedings of the Fourth International Workshop on Computational Logic in Multi-Agent Systems, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papers, Springer-Verlag, Lecture Notes in Computer Science, Vol. 3259, pp. 71-88, 2004. (© Springer-Verlag)
• H. Ding, P. Küngas, Y. Lin. Towards the Architecture of P2P-based Information Retrieval. In Proceedings of the IASTED International Conference on Databases and Applications, DBA 2004, Innsbruk, Austria, February 17-19, 2004.
• J. Rao, P. Küngas, M. Matskin. Logic-based Web Services Composition: from Service Description to Process Model. In Proceedings of the 2004 IEEE International Conference on Web Services, ICWS'2004, San Diego, California, USA, July 6-9, 2004, IEEE Computer Society Press, pp. 446-453, 2004.
• P. Küngas, J. Rao, M. Matskin. Symbolic Agent Negotiation for Semantic Web Service Exploitation. In Proceedings of the Fifth International Conference on Web-Age Information Management, WAIM'2004, Dalian, China, July 15-17, 2004, Springer-Verlag, Lecture Notes in Computer Science, Vol. 3129, pp. 458-467, 2004. (© Springer-Verlag)
• P. Küngas. Temporal Linear Logic for Symbolic Agent Negotiation. In Proceedings of the 8th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2004, Auckland, New Zealand, August 9-13, 2004, Springer-Verlag, Lecture Notes in Artificial Intelligence, Vol. 3157, pp. 23-32, 2004. (© Springer-Verlag)
• P. Küngas. Analysing AI Planning Problems in Linear Logic-A Partial Deduction Approach. In Proceedings of XVII Brazilian Symposium on Artificial Intelligence, SBIA 2004, Sao Luis, Maranhao, Brazil, September 29-October 1, 2004, Springer-Verlag, Lecture Notes in Artificial Intelligence, Vol. 3171, pp. 52-61, 2004. (© Springer-Verlag)
• P. Küngas. Dynamic Web Service Discovery and Exploitation through Symbolic Agent Negotiation. In Proceedings of the 2nd European Starting AI Researcher Symposium, STAIRS 2004, Valencia, Spain, August 23-24, 2004, collocated with 16th European Conference on Artificial Intelligence, ECAI'04, Valencia, Spain, August 22-27, 2004, IOS Press, pp. 247-252, 2004.
• P. Küngas. Abstraction within Partial Deduction for Linear Logic. In Proceedings of 7th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2004, RISC, Castle of Hagenberg, Austria, September 22-24, 2004, Springer-Verlag, Lecture Notes in Artificial Intelligence, Vol. 3249, pp. 52-65, 2004. (© Springer-Verlag)

2003

• P. Küngas. Linear Logic for Domain-Independent AI Planning (Extended Abstract). In Proceedings of Doctoral Consortium at 13th International Conference on Automated Planning and Scheduling, ICAPS 2003, Trento, Italy, June 9-13, 2003, pp. 68-72, 2003.
• J. Rao, P. Küngas, M. Matskin. Application of Linear Logic to Web Service Composition. In Proceedings of the First International Conference on Web Services, ICWS'2003, Las Vegas, Nevada, USA, June 23-26, 2003, CSREA Press, pp. 3-9, 2003.

2002

• P. Küngas. Embedding Symbolic Reasoning to Reactive Control. In Proceedings of Fifth International Baltic Conference on DB and IS, Tallinn, Estonia, June 3-6, 2002, TTU Research Report Series, pp. 263-268, 2002.
• P. Küngas. Resource-Conscious AI Planning with Conjunctions and Disjunctions. Acta Cybernetica, Vol. 15, pp. 601-620, 2002.
• P. Küngas. Implementation of Another Declarative Language. In Proceedings of the 11th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2002), Grado, Italy, June 20-22, 2002, Research Report UDMI/18/2002/RR, University of Udine, 2002.
• P. Küngas. Linear Logic Theorem Proving with Abstraction. In Proceedings of 14th European Summer School in Logic, Language and Information, ESSLLI'2002, Trento, Italy, August 5-16, 2002, pp 119-129, 2002.
• P. Küngas. Abstraction-Based Petri Net Reachability Checking (Abstract). In Proceedings of 14th Nordic Workshop on Programming Theory, NWPT 2002, Tallinn, Estonia, November 20-22, 2002, Institute of Cybernetics at TTU, ISBN 9985-894-50-2, pp. 61-62, 2002.

2001

• P. Küngas. Learning State Machines in the Robot Moving Context. In K. Wang, J. Grundspenkis, A. Yerofeyev (eds). Lecture Notes of the Nordic, Baltic and Northwest Russian Summer School, NBR'2000, on Applied Computational Intelligence to Engineering and Business, St. Petersburg, Russia, June 2000, Riga Technical University, 2001.
• P. Küngas. Using Linear Logic Planning to Make Knowledge Bases Reactive. In Proceedings of Seventh Symposium on Programming Languages and Software Tools, SPLST'2001, June15-16 , 2001, Szeged, Hungary, pp. 135-148, 2001.
• M. Harf, K. Kindel, V. Kotkas, P. Küngas, E. Tyugu. Automated Program Synthesis for Java Programming Language. In Proceedings of 4th International Andrei Ershov Memorial Conference, PSI'2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001. Lecture Notes in Computer Science, Vol. 2244, Springer, pp. 157-164, 2001. (© Springer-Verlag)
• P. Küngas, V. Kotkas, E. Tyugu . Introducing Meta-Interfaces into Java. Workshop on Formal Techniques for Java Programs held in conjunction with ECOOP'2001, Budapest, Hungary, June 18, 2001. Tech Report of FernUniversität Hagen.

2000

• V. Kotkas, P. Küngas, M. Harf. The Cash-Point Service in NUT. Formal Aspects of Computing, Vol. 12, pp. 222-224, 2000.

Technical and Popular Scientific Articles (in Estonian):

• H.-M. Haav, A. Kalja, P. Küngas, M. Luts. Semantilise koosvõime arhitektuur riigi infosüsteemis. A&A, (2008) nr. 6, lk. 32-42.
• P. Küngas. Riigi infosüsteemi optimaalse ristkasutuseni läbi semantilise koosvõime. A&A, (2008) nr. 6, lk. 43-48.
• P. Küngas, M. Luts. Riigi infosüsteemide semantika kirjeldamise standardid. A&A, (2007) nr. 4, lk. 32-36.
• P. Küngas. E-bürokraatia kui demokraatliku ühiskonna alustala. Arvutimaailm, (2004) nr. 4, lk. 9.
• P. Küngas. Tehismõistus ja intellektitehnika. Horisont, (2003) märts, nr. 2, lk. 10-15.
• P. Küngas. JADE ning agentorienteeritud programmeerimine. Arvutimaailm, (2003) nr. 10, lk. 22-23.
• P. Küngas. Semantiline Internet ning e-teenused. Arvutimaailm, (2003) nr. 8, lk. 46-48.
• P. Küngas. ID kiibid ja vabadus. Arvutimaailm, (2002), nr. 10, lk. 18.
• P. Küngas. E-valimised ja e-hääletamine. Arvutimaailm, (2002) nr. 3, lk. 36-37.
• P. Küngas. Häkkerlus otsingumootorite abil. Arvutimaailm, (2002) nr. 1, lk. 11.
• P. Küngas. P2P tehnoloogia e-revolutsiooni alustalana. Arvutimaailm, (2002) nr. 3, lk. 31-32.
• P. Küngas. Sissejuhatus agent-orienteeritud programmeerimisse. Arvutimaailm, (2002) nr. 2, lk. 23-24.
• P. Küngas. Unusta hiir ja klaviatuur - hakka mõtlema!!! Arvutimaailm, (2002) nr. 4, lk. 46-47
• P. Küngas. Robotid ja tehismõistus. Horisont, (2001) november, nr. 5, lk. 26-31.
• P. Küngas. Miks on Java nii aeglane? Arvutimaailm, (2001) nr. 10, lk. 24-25.
• P. Küngas. Grammatikate tuletus ja automaatide induktsioon. A&A, (2001) nr. 4, lk. 17-21; nr. 5, lk. 27-38.
• P. Küngas. Domeenid, täpitähed ja DNS. Arvutimaailm, (2001) nr. 5, lk. 46-47.
• P. Küngas. Sünkroniseerimisprobleemide lahendamine hajussüsteemides. A&A, (2001) nr. 2, lk. 44-53.
• P. Küngas. Taaskasutatav elektrooniline paber. Arvutimaailm, (2001) nr. 4, lk. 40-41.
• P. Küngas. Aastatuhande alguse trendid tehnikamaailmas. Arvutimaailm, (2000) nr. 4, lk. 28-30.
• P. Küngas. Internetitelefonid. Arvutimaailm, (2000) nr. 8, lk. 44.
• P. Küngas. Jini tehnoloogiast. Arvutimaailm, (2000) nr. 8, lk. 45.
• P. Küngas. Vooluvõrk andmeedastuse keskkonnana. Arvutimaailm, (2000) nr. 7, lk. 46-47.