1162 search results - page 181 / 233 » Monotonic Semantic Interpretation |
103
click to vote
INFORMATICALT
2007
15 years 13 days ago
2007
In this paper we consider branching time temporal logics of knowledge and belief. These logics involve the discrete time linear temporal logic operators “next” and “until” ...
105
Voted
TRS
2008
15 years 12 days ago
2008
An implicit assumption of many machine learning algorithms is that all attributes are of the same importance. An algorithm typically selects attributes based solely on their statis...
JOLLI
2007
15 years 12 days ago
2007
Every pregroup grammar is shown to be strongly equivalent to one which uses basic types and left and right adjoints of basic types only. Therefore a semantical interpretation is i...
94
Voted
AIR
2004
15 years 12 days ago
2004
This paper presents an alternative to the `speech acts with STRIPS' approach to implementing dialogue: a fully implemented AI planner which generates and analyses the semantic...
107
Voted
BSL
2004
15 years 11 days ago
2004
Paul Cohen's method of forcing, together with Saul Kripke's related semantics for modal and intuitionistic logic, has had profound effects on a number of branches of mat...