Sciweavers

590 search results - page 106 / 118
» Knowledge And The Action Description Language A
Sort
View
POPL
2008
ACM
14 years 7 months ago
Systems biology, models, and concurrency
Models will play a central role in the representation, storage, manipulation, and communication of knowledge in systems biology. Models capable of fulfilling such a role will like...
Walter Fontana
KR
1991
Springer
13 years 11 months ago
Meta-Reasoning in Executable Temporal Logic
Temporal logic can be used as a programming language. If temporal formulae are represented in the form of an implication where the antecedent refers to the past, and the consequen...
Howard Barringer, Michael Fisher, Dov M. Gabbay, A...
ECCC
2008
186views more  ECCC 2008»
13 years 7 months ago
Universal Semantic Communication II: A Theory of Goal-Oriented Communication
We continue the investigation of the task of meaningful communication among intelligent entities (players, agents) without any prior common language. Our generic thesis is that su...
Brendan Juba, Madhu Sudan
ECIR
2007
Springer
13 years 9 months ago
Enhancing Expert Search Through Query Modeling
An expert finding is a very common task among enterprise search activities, while its usual retrieval performance is far from the quality of the Web search. Query modeling helps t...
Pavel Serdyukov, Sergey Chernov, Wolfgang Nejdl
CAS
2004
150views more  CAS 2004»
13 years 7 months ago
Accounting for Human Activity Through Physics
Accounting for human activity through physics does not require anything more than a switch of mind. Objectivity needs first to be recognized as an epistemological principle that s...
Paul Jorion