713 search results - page 45 / 143 » Viewcharts: Syntax and Semantics |
FUIN
2008
14 years 12 months ago
2008
We present a formalism for the automatic verification of security protocols based on multi-agent systems semantics. We give the syntax and semantics of a temporal-epistemic securit...
107
click to vote
WWW
2007
ACM
16 years 14 days ago
2007
ACM
Abstract We present OntoWiki, a tool providing support for agile, distributed knowledge engineering scenarios. OntoWiki facilitates the visual presentation of a knowledge base as a...
HICSS
2009
IEEE
15 years 6 months ago
2009
IEEE
As semantic web technologies are increasingly used to empower knowledge management systems (KMSs), there is a growing need for mechanisms and automated tools for checking content ...
CIKM
2007
Springer
15 years 6 months ago
2007
Springer
We present a research effort into the application of semantic web methods and technologies to address the challenging problem of integrating heterogeneous volcanic and atmospheri...
114
click to vote
CORR
2011
Springer
14 years 6 months ago
2011
Springer
Grishin ([10]) proposed enriching the Lambek calculus with multiplicative disjunction (par) and coresiduals. Applications to linguistics were discussed by Moortgat ([15]), who spok...