3005 search results - page 320 / 601 » Logical Information Systems: from Taxonomies to Logics |
199
click to vote
CLIMA
2006
15 years 8 months ago
2006
In this paper, we introduce the notion of communication channel into a multiagent system. We formalize the system in term of logic with Belief modality, where each possible world i...
171
click to vote
HICSS
2006
IEEE
16 years 24 days ago
2006
IEEE
In building a successful website it is imperative that the design matches the organization’s objectives, which should be well defined. Clearly, different types of websites will ...
189
Voted
WISE
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Answering a query over a group of RDF data pages is a trivial process. However, in the Semantic Web, there is a need for ontology technology. Consequently, OWL, a family ...
165
click to vote
SIGDOC
2004
ACM
16 years 5 days ago
2004
ACM
We analyzed texts from years 1800-2004 from the Philosophical Transactions of the Royal Society of London. Two-thousand-word sections from about 20 articles published at 25-year i...
179
click to vote
BIRTHDAY
2005
Springer
16 years 9 days ago
2005
Springer
abstract. In this paper we investigate a formalism for solving planning problems based on ordered task decomposition using Answer Set Programming (ASP). Our planning methodology is...