Sciweavers

348 search results - page 34 / 70
» Formal ontologies for communicating agents
Sort
View
104
Voted
APSEC
2004
IEEE
15 years 4 months ago
Reasoning about Semantic Web in Isabelle/HOL
Semantic Web is regarded as the next generation of the World Wide Web. It provides not only the structure of the web but also meaningful semantics for the information presented. T...
Yue Tang, Jin Song Dong, Jing Sun, Brendan P. Maho...
121
Voted
BIB
2006
169views more  BIB 2006»
15 years 16 days ago
Bio-ontologies: current trends and future directions
: In recent years, as a knowledge-based discipline, bioinformatics has moved to make its knowledge more computationally amenable. After its beginnings in the disciplines as a techn...
Olivier Bodenreider, Robert Stevens
DALT
2006
Springer
15 years 4 months ago
Automating Belief Revision for AgentSpeak
The AgentSpeak agent-oriented programming language has recently been extended with various new features, such as speech-act based communication, internal belief additions, and supp...
Natasha Alechina, Rafael H. Bordini, Jomi Fred H&u...
ARGMAS
2006
Springer
15 years 4 months ago
Arguments and Counterexamples in Case-Based Joint Deliberation
Multiagent learning can be seen as applying ML techniques to the core issues of multiagent systems, like communication, coordination, and competition. In this paper, we address the...
Santiago Ontañón, Enric Plaza
WWW
2004
ACM
16 years 1 months ago
TCOZ approach to semantic web services design
Complex Semantic Web (SW) services may have intricate data state, autonomous process behavior and concurrent interactions. The design of such SW service systems requires precise a...
Jin Song Dong, Yuan-Fang Li, Hai H. Wang