| 2008 |
|---|
| 31 | EE | 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 | EE | 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 | EE | Riina Maigre,
Pavel Grigorenko,
Peep Küngas,
Enn Tyugu:
Stratified Composition of Web Services.
JCKBSE 2008: 49-58 |
| 27 | EE | 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 | EE | Peep Küngas,
Mihhail Matskin:
Interaction and Potential Synergy between Commercial and Governmental Web Services - a Case Study.
IEEE SCW 2007: 1-8 |
| 25 | EE | Peep Küngas,
Mihhail Matskin:
From web services annotation and composition to web services domain analysis.
IJMSO 2(3): 157-178 (2007) |
| 2006 |
|---|
| 24 | EE | Peep Küngas,
Mihhail Matskin:
Symbolic negotiation revisited.
AAMAS 2006: 432-434 |
| 23 | EE | Peep Küngas,
Mihhail Matskin:
Web Services Roadmap: The Semantic Web Perspective.
AICT/ICIW 2006: 130 |
| 22 | EE | Peep Küngas,
Mihhail Matskin:
Web Services Analysis: Making Use of Web Service Composition and Annotation.
ASWC 2006: 501-515 |
| 21 | EE | 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 | EE | 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 | EE | 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 | EE | Peep Küngas:
Petri Net Reachability Checking Is Polynomial with Optimal Abstraction Hierarchies.
SARA 2005: 149-164 |
| 2004 |
|---|
| 14 | EE | Peep Küngas:
Abstraction Within Partial Deduction for Linear Logic.
AISC 2004: 52-65 |
| 13 | EE | Peep Küngas,
Mihhail Matskin:
Symbolic Negotiation with Linear Logic.
CLIMA IV 2004: 71-88 |
| 12 | EE | 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 | EE | Jinghai Rao,
Peep Küngas,
Mihhail Matskin:
Logic-based Web Services Composition: From Service Description to Process Model.
ICWS 2004: 446-453 |
| 9 | EE | Peep Küngas:
Temporal Linear Logic for Symbolic Agent Negotiation.
PRICAI 2004: 23-32 |
| 8 | EE | Peep Küngas:
Analysing AI Planning Problems in Linear Logic - A Partial Deduction Approach.
SBIA 2004: 52-61 |
| 7 | EE | Peep Küngas,
Jinghai Rao,
Mihhail Matskin:
Symbolic Agent Negotiation for Semantic Web Service Exploitation.
WAIM 2004: 458-467 |
| 2003 |
|---|
| 6 | EE | 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 | EE | Peep Küngas:
Resource-Conscious AI Planning with Conjunctions and Disjunctions.
Acta Cybern. 15(4): 601-620 (2002) |
| 2001 |
|---|
| 2 | EE | 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 | EE | Vahur Kotkas,
Peep Küngas,
Mait Harf:
The Cash-Point Service in NUT.
Formal Asp. Comput. 12(4): 222-224 (2000) |
