 | 2009 |
| 33 |  | Shahab Mokarizadeh,
Alberto Grosso,
Mihhail Matskin,
Peep Küngas,
Abdul Haseeb:
Applying Semantic Web Service Composition for Action Planning in Multi-robot Systems.
ICIW 2009: 370-376 |
| 32 |  | Peep Küngas,
Marlon Dumas:
Cost-Effective Semantic Annotation of XML Schemas and Web Service Interfaces.
IEEE SCC 2009: 372-379 |
| 2008 |
| 31 |  | Hele-Mai Haav,
Ahto Kalja,
Peep Küngas,
Martin Luts:
Ensuring Large-Scale Semantic Interoperability: The Estonian Public Sector's Case Study.
DB&IS 2008: 117-128 |
| 30 |  | Abdul Haseeb,
Mihhail Matskin,
Peep Küngas:
DeLP based Semantic Location Lattice for Intelligent Robotic Navigation.
IC-AI 2008: 686-692 |
| 29 |  | Riina Maigre,
Peep Küngas,
Mihhail Matskin,
Enn Tyugu:
Handling Large Web Services Models in a Federated Governmental Information System.
ICIW 2008: 626-631 |
| 28 |  | Riina Maigre,
Pavel Grigorenko,
Peep Küngas,
Enn Tyugu:
Stratified Composition of Web Services.
JCKBSE 2008: 49-58 |
| 27 |  | Peep Küngas,
Mihhail Matskin:
Symbolic negotiation: Partial deduction for linear logic with coalition formation.
Web Intelligence and Agent Systems 6(2): 193-215 (2008) |
| 2007 |
| 26 |  | Peep Küngas,
Mihhail Matskin:
Interaction and Potential Synergy between Commercial and Governmental Web Services - a Case Study.
IEEE SCW 2007: 1-8 |
| 25 |  | Peep Küngas,
Mihhail Matskin:
From web services annotation and composition to web services domain analysis.
IJMSO 2(3): 157-178 (2007) |
| 2006 |
| 24 |  | Peep Küngas,
Mihhail Matskin:
Symbolic negotiation revisited.
AAMAS 2006: 432-434 |
| 23 |  | Peep Küngas,
Mihhail Matskin:
Web Services Roadmap: The Semantic Web Perspective.
AICT/ICIW 2006: 130 |
| 22 |  | Peep Küngas,
Mihhail Matskin:
Web Services Analysis: Making Use of Web Service Composition and Annotation.
ASWC 2006: 501-515 |
| 21 |  | Peep Küngas,
Mihhail Matskin:
Symbolic Negotiation in Linear Logic with Coalition Formation.
IAT 2006: 298-305 |
| 20 |  | Shenghua Liu,
Peep Küngas,
Mihhail Matskin:
Agent-Based Web Service Composition with JADE and JXTA.
SWWS 2006: 110-116 |
| 19 |  | Jinghai Rao,
Peep Küngas,
Mihhail Matskin:
Composition of Semantic Web services using Linear Logic theorem proving.
Inf. Syst. 31(4-5): 340-360 (2006) |
| 2005 |
| 18 |  | Peep Küngas,
Mihhail Matskin:
Semantic Web Service Composition Through a P2P-Based Multi-agent Environment.
AP2PC 2005: 106-119 |
| 17 |  | Peep Küngas,
Mihhail Matskin:
Combining Symbolic and Non-Symbolic Negotiation for Agent-Based Web Service Composition.
IC-AI 2005: 513-519 |
| 16 |  | Mihhail Matskin,
Peep Küngas,
Jinghai Rao,
Jennifer Sampson,
Sobah Abbas Petersen:
Enabling Web Services Composition with Softward Agents.
IMSA 2005: 93-98 |
| 15 |  | Peep Küngas:
Petri Net Reachability Checking Is Polynomial with Optimal Abstraction Hierarchies.
SARA 2005: 149-164 |
| 2004 |
| 14 |  | Peep Küngas:
Abstraction Within Partial Deduction for Linear Logic.
AISC 2004: 52-65 |
| 13 |  | Peep Küngas,
Mihhail Matskin:
Symbolic Negotiation with Linear Logic.
CLIMA IV 2004: 71-88 |
| 12 |  | Peep Küngas,
Mihhail Matskin:
Partial Deduction for Linear Logic-The Symbolic Negotiation Perspective.
DALT 2004: 35-52 |
| 11 |  | Hao Ding,
Peep Küngas,
Yun Lin:
Towards the Architecture of P2P-based Information Retrieval.
Databases and Applications 2004: 107-112 |
| 10 |  | Jinghai Rao,
Peep Küngas,
Mihhail Matskin:
Logic-based Web Services Composition: From Service Description to Process Model.
ICWS 2004: 446-453 |
| 9 |  | Peep Küngas:
Temporal Linear Logic for Symbolic Agent Negotiation.
PRICAI 2004: 23-32 |
| 8 |  | Peep Küngas:
Analysing AI Planning Problems in Linear Logic - A Partial Deduction Approach.
SBIA 2004: 52-61 |
| 7 |  | Peep Küngas,
Jinghai Rao,
Mihhail Matskin:
Symbolic Agent Negotiation for Semantic Web Service Exploitation.
WAIM 2004: 458-467 |
| 2003 |
| 6 |  | Peep Küngas,
Mihhail Matskin:
Linear Logic, Partial Deduction and Cooperative Problem Solving.
DALT 2003: 263-279 |
| 5 |  | Jinghai Rao,
Peep Küngas,
Mihhail Matskin:
Application of Linear Logic to Web Service Composition.
ICWS 2003: 3- |
| 2002 |
| 4 |  | Peep Küngas:
Embedding Symbolic Reasoning to Reactive Control.
BalticDB&IS 2002: 263-268 |
| 3 |  | Peep Küngas:
Resource-Conscious AI Planning with Conjunctions and Disjunctions.
Acta Cybern. 15(4): 601-620 (2002) |
| 2001 |
| 2 |  | Mait Harf,
Kristiina Kindel,
Vahur Kotkas,
Peep Küngas,
Enn Tyugu:
Automated Program Synthesis for Java Programming Language.
Ershov Memorial Conference 2001: 157-164 |
| 2000 |
| 1 |  | Vahur Kotkas,
Peep Küngas,
Mait Harf:
The Cash-Point Service in NUT.
Formal Asp. Comput. 12(4): 222-224 (2000) |