1328 search results - page 91 / 266 » Cut-free common knowledge |
120
click to vote
AAAI
2006
15 years 5 months ago
2006
Constraint programming is a commonly used technology for solving complex combinatorial problems. However, users of this technology need significant expertise in order to model the...
118
click to vote
IJIT
2004
15 years 5 months ago
2004
Expert systems development is a complex and expensive process that needs to be applied in an organized manner. This paper presents an approach for building a generic treatment mode...
139
click to vote
IJCAI
1989
15 years 5 months ago
1989
In this paper we describe a new approach to the problem of path planning with moving obstacles. Our approach is based on the maneuvering board method commonly used for nautical na...
120
click to vote
AMAI
2007
Springer
15 years 4 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...
126
click to vote
BEHAVIOURIT
2007
15 years 4 months ago
2007
: Experimental research in human–computer interaction commonly uses participant groups that are unrepresentative of demographic realities, being young, technically knowledgeable ...