4987 search results - page 18 / 998 » Support Ordered Resolution |
120
Voted
AIML
1998
15 years 3 months ago
1998
Abstract. This paper presents a resolution decision procedure for transitive propositional modal logics. The procedure combines the relational translation method with an ordered ch...
COLING
1990
15 years 3 months ago
1990
: An ellipsis resolution mechanism is presented. The mechanism is a part of a Natural Language Understanding System developed in the last years in order to be included as a main co...
105
Voted
AMAI
2007
Springer
15 years 1 months ago
2007
Springer
This paper is an overview of a variety of results, all centered around a common theme, namely embedding of non-classical logics into first order logic and resolution theorem prov...
106
Voted
VISUALIZATION
2002
IEEE
15 years 6 months ago
2002
IEEE
We present a method to code the multiresolution structure of a 3D triangle mesh in a manner that allows progressive decoding and efficient rendering at a client machine. The code ...
IJCAI
1989
15 years 3 months ago
1989
This paper deals with a well known problem in AI planning: detecting and resolving conflicts in nonlinear plans. We sketch a theory of restricted conflict detection and resolution...