182 search results - page 13 / 37 » Reasoning in Metaphor Understanding: The ATT-Meta Approach a... |
ICAIL
2007
ACM
15 years 1 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...
110
click to vote
CADE
2010
Springer
15 years 24 days 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 ...
106
click to vote
ATAL
2009
Springer
14 years 9 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...
AVI
2004
15 years 1 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 ...
134
click to vote
SIGCSE
2002
ACM
14 years 11 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 ...