182 search results - page 13 / 37 » Reasoning in Metaphor Understanding: The ATT-Meta Approach a... |
ICAIL
2007
ACM
14 years 11 months ago
2007
ACM
The “small world”-paradigm offers a new interesting viewpoint for the analysis of contemporary legal networks and artificial intelligence. This topological approach sheds fu...
98
Voted
CADE
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Automated theorem provers (ATPs) struggle to solve problems with large sets of possibly superfluous axiom. Several algorithms have been developed to reduce the number of ...
89
Voted
ATAL
2009
Springer
14 years 7 months ago
2009
Springer
Today's society is largely connected and many real life applications lend themselves to be modeled as multi-agent systems. Although such systems as well as their models are d...
71
Voted
AVI
2004
14 years 11 months ago
2004
I present an approach to designing decision support systems. The approach is to dissect a decision from both a normative and a cognitive perspective, and then to design a diagram ...
116
click to vote
SIGCSE
2002
ACM
14 years 9 months ago
2002
ACM
Empirical evidence shows the ability for computer technology to deliver on its promises of enhancing our quality of life relies on how well the application fits our understanding ...