1689 search results - page 282 / 338 » Refining abstract interpretations |
138
click to vote
CIA
2004
Springer
15 years 9 months ago
2004
Springer
Given a specification of communication rules in a multiagent system (in the form of protocols, ACL semantics, etc.), the question of how to design appropriate agents that can oper...
145
click to vote
CICLING
2004
Springer
15 years 9 months ago
2004
Springer
In this paper we present a plug and play dialogue system for smart environments. The environment description and its state are stored on a domain ontology. This ontology is formed ...
115
click to vote
DEON
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In this paper, we combine deontic logic with Alternatingtime Temporal Logic (ATL) into a framework that makes it possible to model and reason about obligations and abilit...
152
click to vote
EKAW
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Augmenting web pages with semantic contents, i.e., building a ‘Semantic Web’, promises a number of benefits for web users in general and learners in particular. Seman...
150
Voted
GCB
2004
Springer
15 years 9 months ago
2004
Springer
Abstract: We report on a model for the interaction of chimeric melanocortin Gprotein coupled receptors with peptide ligands using the rough set approach. Rough sets generate If-The...