732 search results - page 56 / 147 » Representation of Semantic Knowledge with Term Subsumption L... |
ATAL
2010
Springer
15 years 28 days ago
2010
Springer
Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent...
ATAL
2007
Springer
15 years 3 months ago
2007
Springer
From a multiagent viewpoint, a workflow is a dynamic set of tasks performed by a set of agents to reach a shared goal. We show herein that commitments among agents can be used to ...
104
click to vote
EPIA
1995
Springer
15 years 3 months ago
1995
Springer
In this paper, we study the retrieval problem in ALN, which is a tractable concept language with number restrictions. Following the approach proposed in [12], this work differs fr...
105
click to vote
ICCS
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Description Logics (DLs) are a family of class based knowledge representation formalisms characterised by the use of various constructors to build complex classes from si...
119
click to vote
ICIP
2005
IEEE
16 years 1 months ago
2005
IEEE
This paper presents a method to infer hidden semantic cues by accumulating the knowledge learned from relevance feedback sessions. We propose to explicitly represent a semantic sp...