1059 search results - page 16 / 212 » Unification-Based Semantic Interpretation |
WWW
2004
ACM
14 years 10 months ago
2004
ACM
Semantic Web is challenged by the URI meaning issues arising from putting ontologies in open and distributed environments. As a try to clarify some of the meaning issues, this pap...
COGSCI
2006
13 years 9 months ago
2006
Wepresentaset-theoreticmodelofthementalrepresentationofclassicallyquantifiedsentences(AllP are Q, Some P are Q, Some P are not Q,and No P are Q). We take inclusion, exclusion, and...
DLOG
2007
13 years 12 months ago
2007
One of the main concerns of constructive semantics is to provide a computational interpretation for the proofs of a given logic. In this paper we introduce a constructive semantics...
ESWS
2008
Springer
13 years 11 months ago
2008
Springer
PowerMagpie is a tool that brings semantic interpretation to classical web pages by dynamically--i.e. during browsing--selecting and making use of a wide range of online available ...
TCS
2008
13 years 9 months ago
2008
This paper provides one more step towards bridging the gap between the formal and computational approaches to the verification of cryptographic protocols. We extend the well-known ...