Sciweavers

4229 search results - page 552 / 846
» Modeling Human Intelligence as A Slow Intelligence System
Sort
View
AGP
2010
IEEE
15 years 10 months ago
The Transformational Approach to Program Development
We present an overview of the program transformation techniques which have been proposed over the past twenty-five years in the context of logic programming. We consider the appro...
Alberto Pettorossi, Maurizio Proietti, Valerio Sen...
AAAI
2007
15 years 9 months ago
Logic for Automated Mechanism Design - A Progress Report
Over the past half decade, we have been exploring the use of logic in the specification and analysis of computational economic mechanisms. We believe that this approach has the p...
Michael Wooldridge, Thomas Ågotnes, Paul E. ...
AAAI
2007
15 years 9 months ago
Mapping and Revising Markov Logic Networks for Transfer Learning
Transfer learning addresses the problem of how to leverage knowledge acquired in a source domain to improve the accuracy and speed of learning in a related target domain. This pap...
Lilyana Mihalkova, Tuyen N. Huynh, Raymond J. Moon...
AAAI
2008
15 years 9 months ago
Learning to Improve Earth Observation Flight Planning
This paper describes a method and system for integrating machine learning with planning and data visualization for the management of mobile sensors for Earth science investigation...
Robert A. Morris, Nikunj C. Oza, Leslie Keely, Eli...
AIIDE
2008
15 years 9 months ago
Automatically Generating Summary Visualizations from Game Logs
In this paper we describe a system called ViGLS (Visualization of Game Log Summaries) that generates summaries of gameplay sessions from game logs. ViGLS automatically produces vi...
Yun-Gyung Cheong, Arnav Jhala, Byung-Chull Bae, R....