Sciweavers

1162 search results - page 119 / 233
» Monotonic Semantic Interpretation
Sort
View
ECAI
1992
Springer
15 years 3 months ago
Computing the Temporal Structure of Events in Natural Language
Abstract. A key step in Natural Language Processing is creating representations of sentences and discourses. Sentences describe states and events. Thus a crucial component of seman...
Mona Singh, Munindar P. Singh
96
Voted
CAAP
1990
15 years 3 months ago
Coherence of Subsumption
One approach to give semantics to languages with subtypes is by translation to target languages without subtyping: subtypings A 6 B are interpreted via conversion functions A B. ...
Pierre-Louis Curien, Giorgio Ghelli
ZUM
2000
Springer
15 years 2 months ago
Recursive Schema Definitions in Object-Z
Unlike Z, Object-Z allows schemas to be defined recursively. This enables mutual and self recursive structures, commonly occurring in object-oriented programs, to be readily specif...
Graeme Smith
AIML
2008
15 years 18 days ago
Modal logic of time division
A logic LTD is defined, inspired by [37]. It is syntactically like basic modal logic with an additional unary operator but it has an interval-based semantics on structures with arb...
Tero Tulenheimo
71
Voted
IJCAI
2007
15 years 17 days ago
Coalitions in Action Logic
If modal logics for coalitions need to be applied, one must know how to translate coalition power into agents’ actions. To these days, the connection between coalition power and...
Stefano Borgo