207 search results - page 19 / 42 » ideas 1999 |
124
Voted
WER
1999
Springer
15 years 6 months ago
1999
Springer
In this article we defend the idea that social aspects have strong influence in the software requirements elicitation (Goguen 1993), which drive us to find help in the social scien...
130
click to vote
ECP
1997
Springer
15 years 6 months ago
1997
Springer
We present a framework for encoding planning problems in logic programs with negation as failure, having computational e ciency as our major consideration. In order to accomplish o...
99
Voted
TABLEAUX
2000
Springer
15 years 5 months ago
2000
Springer
The aim of the TABLEAUX-2000 Non-Classical (Modal) System Comparisons (TANCS-2000) is to provide a set of benchmarks and a standardized methodology for the assessment and compariso...
105
click to vote
AAAI
2000
15 years 3 months ago
2000
We present a new algorithm that reduces the space complexity of heuristic search. It is most effective for problem spaces that grow polynomially with problem size, but contain lar...
118
Voted
AIL
1999
15 years 1 months ago
1999
In this paper we present some concepts and their relations that are necessary for modeling autonomous agents in an environment that is governed by some (social) norms. We divide th...