2867 search results - page 283 / 574 » Effectiveness of Index Expressions |
197
click to vote
IJCAI
2003
15 years 8 months ago
2003
We propose a purely logical framework for planning in partially observable environments. Knowledge states are expressed in a suitable fragment of the epistemic logic S5. We show h...
143
click to vote
SPLC
2004
15 years 8 months ago
2004
In this paper, we present a methodology to express, in a formal way, the requirements of products belonging to a product line. We relied on a formalism allowing the representation ...
153
click to vote
EACL
1993
ACL Anthology
15 years 8 months ago
1993
ACL Anthology
We are concerned with dependencyoriented morphosyntactic parsing of running text. While a parsing grammar should avoid introducing structurallyunresolvable distinctionsin order to...
171
click to vote
AAAI
1990
15 years 7 months ago
1990
We present a strategy for restricting the application of the inference rule paramodulation. The strategy applies to problems in first-order logic with equality and is designed to ...
166
Voted
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Arithmetic automata recognize infinite words of digits denoting decompositions of real and integer vectors. These automata are known expressive and efficient enough to re...