Sciweavers

2685 search results - page 11 / 537
» A Formal Semantics for SPKI
Sort
View
SFM
2010
Springer
231views Formal Methods» more  SFM 2010»
15 years 4 months ago
Probabilistic Semantics and Program Analysis
Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...
ACL
1990
15 years 27 days ago
A Compositional Semantics for Focusing Subjuncts
A compositional semantics for focusing subjuncts-words such as only, even, and also--is developed from Rooth's theory of association with focus. By adapting the theory so tha...
Daniel Lyons, Graeme Hirst
CNL
2009
14 years 9 months ago
Development of a Controlled Natural Language Interface for Semantic MediaWiki
Semantic wikis support the collaborative creation, editing and utilization of semantically-enriched content, and they may therefore be wellsuited to addressing problems associated ...
Paul R. Smart, Jie Bao, Dave Braines, Nigel R. Sha...
WISE
2005
Springer
15 years 5 months ago
A Formal Ontology Reasoning with Individual Optimization: A Realization of the Semantic Web
Abstract. Answering a query over a group of RDF data pages is a trivial process. However, in the Semantic Web, there is a need for ontology technology. Consequently, OWL, a family ...
Pakornpong Pothipruk, Guido Governatori