1162 search results - page 22 / 233 » Monotonic Semantic Interpretation |
ESWS
2008
Springer
13 years 9 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 7 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 ...
ACL
1997
13 years 8 months ago
1997
We describe a method for interpreting abstract fiat syntactic representations, LFG fstructures, as underspecified semantic representations, here Underspecified Discourse Represent...
AUSAI
1997
Springer
13 years 11 months ago
1997
Springer
Abstract. We compare Kripke models and hypercube systems, a simpli ed notion of Interpreted Systems, as semantic structures for reasoning about knowledge. Our method is to de ne a ...
NAACL
2007
13 years 8 months ago
2007
A new architecture for identifying and interpreting temporal expressions is introduced, in which the large set of complex hand-crafted rules standard in systems for this task is r...