3 search results - page 1 / 1 » On axiomatising products of Kripke frames, part II |
88
Voted
AIML
2008
14 years 11 months ago
2008
We generalise some results of [7, 5] and show that if L is an -modal logic (for some ordinal 3) such that (i) L contains the product logic K and (ii) the product of -many trees o...
ECAI
1998
Springer
15 years 1 months ago
1998
Springer
A well-known framework by Fagin, Halpern, Moses and Vardi models knowledge-based agents as \Interpreted Systems". In this paper we analyse a particular class of interpreted sy...
68
Voted
ACL
2004
14 years 11 months ago
2004
This paper shows how finite approximations of long distance dependency (LDD) resolution can be obtained automatically for wide-coverage, robust, probabilistic Lexical-Functional G...