2599 search results - page 239 / 520 » An Operational Semantics for Knowledge Bases |
159
click to vote
JOLLI
2006
15 years 6 months ago
2006
We propose a novel interpretation of natural-language questions using a modal predicate logic of knowledge. Our approach brings standard model-theoretic and proof-theoretic techniq...
172
click to vote
ISEMANTICS
2010
15 years 8 months ago
2010
The project SESAME uses semantic modeling and reasoning to support home owners and building managers in saving energy and in optimizing their energy costs while maintaining their ...
173
click to vote
AO
2007
15 years 6 months ago
2007
Abstract. In open scenarios, agents willing to cooperate must impact the communication barrier between them and their unknown partners. If agents are not relying on any agreement a...
201
click to vote
FMICS
2007
Springer
16 years 20 days ago
2007
Springer
Message passing using libraries implementing the Message Passing Interface (MPI) standard is the dominant communication mechanism in high performance computing (HPC) applications. ...
156
click to vote
ROBIO
2006
IEEE
16 years 16 days ago
2006
IEEE
- SuperMedia provides human operators rich environmental information, thus providing telepresence and enhances efficiency of operation. However, coupling human with the remote envi...