5818 search results - page 825 / 1164 » A reasonable Semantic Web |
182
click to vote
ACSD
2003
IEEE
16 years 4 days ago
2003
IEEE
In this paper, we present a mathematical model for the composition of software components, at a semantic modelling level. We describe a mathematical concept of a single software c...
175
click to vote
LICS
2003
IEEE
16 years 3 days ago
2003
IEEE
We consider several questions related to the use of digitization techniques for timed automata. These very successful techniques reduce dense-time language inclusion problems to d...
226
click to vote
AGENTCL
2003
Springer
16 years 2 days ago
2003
Springer
CHOPRA, AMIT KHUSHWANT. Nonmonotonic Commitment Machines. (Under the direction of Dr. Munindar P. Singh). Protocols in open and dynamic multiagent systems cannot be modeled via fo...
192
click to vote
ASP
2003
Springer
16 years 2 days ago
2003
Springer
Abstract. Ordered Choice Logic Programming (OCLP) allows for preferencebased decision-making with multiple alternatives and without the burden of any form of negation. This complet...
154
click to vote
ATAL
2003
Springer
16 years 2 days ago
2003
Springer
Communication is the key feature of Multi-agent Systems. The interactions among components of a system may take many distinct forms of increasing complexity such as in auctions, n...