6618 search results - page 240 / 1324 » Natural Logic for Natural Language |
183
click to vote
ENTCS
2006
15 years 6 months ago
2006
Inspired by the recent work on approximating classical logic, we present a procedure that approximates the modal logic K by determining a maximum limit of introspection. This proc...
198
click to vote
ICTL
1994
15 years 10 months ago
1994
We introduce a temporal logic TAL and prove that it has several nice features. The formalism is a two-dimensional modal system in the sense that formulas of the language are evalua...
181
click to vote
JAPLL
2006
15 years 6 months ago
2006
Hybrid logics are a principled generalization of both modal logics and description logics, a standard formalism for knowledge representation. In this paper we give the first const...
132
click to vote
IROS
2007
IEEE
16 years 28 days ago
2007
IEEE
— We describe the tight integration of incremental natural language understanding, goal management, and action processing in a complex robotic architecture, which is required for...
138
click to vote
FM
2009
Springer
16 years 1 months ago
2009
Springer
Object Creation in Dynamic Logic to be or not to be created Wolfgang Ahrendt1 Frank S. de Boer2 Immo Grabe3 1Chalmers University, G¨oteborg, Sweden 2CWI, Amsterdam, The Netherland...