2599 search results - page 9 / 520 » An Operational Semantics for Knowledge Bases |
SSDBM
2000
IEEE
13 years 11 months ago
2000
IEEE
The need for information integration is paramount in many biological disciplines, because of the large heterogeneity in both the types of data involved and in the diversity of app...
CADE
2008
Springer
13 years 9 months ago
2008
Springer
LogAnswer is an open domain question answering system which employs an automated theorem prover to infer correct replies to natural language questions. For this purpose LogAnswer o...
DAGSTUHL
2003
13 years 8 months ago
2003
CEEMAS
2003
Springer
14 years 19 days ago
2003
Springer
We introduce a formal language for multi-agent systems based on new modal operators. The modal operators express concurrency at the syntactic level. Operators containing quantifie...
DEXAW
2006
IEEE
14 years 1 months ago
2006
IEEE
Organisations may wish to use a standards-defined distributed system in a global sense but also have a requirement for non-standard local behaviour. This reflects the production...