2767 search results - page 318 / 554 » Knowledge Relativity |
ATAL
2010
Springer
13 years 10 months ago
2010
Springer
Alternating-time Temporal Logic (ATL) [1] is used to reason about strategic abilities of agents. Aiming at strategies that can realistically be implemented in software, many varia...
CEC
2010
IEEE
13 years 9 months ago
2010
IEEE
— The use of higher-order functions, as a method of ion and re-use in EC encodings, has been the subject of relatively little research. In this paper we introduce and give motiva...
ICDE
2010
IEEE
13 years 9 months ago
2010
IEEE
— We are currently witnessing an increasing interest in the use of the web as an information and knowledge source. Much of the information sought after in the web is in this case...
BMCBI
2006
13 years 9 months ago
2006
Background: Protein-protein interactions have traditionally been studied on a small scale, using classical biochemical methods to investigate the proteins of interest. More recent...
BMCBI
2006
13 years 9 months ago
2006
Background: Propositional representations of biomedical knowledge are a critical component of most aspects of semantic mining in biomedicine. However, the proper set of propositio...