1 © Copyright 2010 Dieter Fensel and Ioan Toma Artificial Intelligence Planning.
1 © Copyright 2010 Dieter Fensel, Tobias B ü rger and Ioan Toma Intelligent Systems Introduction.
Perspectives on System Identification Lennart Ljung Linköping University, Sweden.
François Fages CPCV, March 2004 Constraint-based Model Checking of Hybrid Systems: A First Experiment in Systems Biology François Fages, INRIA Rocquencourt.
The Automated Refinement of a Requirements Domain Theory Lee McCluskey co-researchers: Margaret West Beth Richardson Department of Computing and Mathematical.
Link Mining Lise Getoor Department of Computer Science University of Maryland, College Park.
PyMine – A PyMol Plugin to Integrate and Visualize Chemical and Biological Data for Drug Discovery Zhijun Li, Ph.D. Departments of Chemistry & Biochemistry.
Model Transformation By Demonstration
Skill Acquisition via Transfer Learning and Advice Taking Lisa Torrey, Jude Shavlik, Trevor Walker University of Wisconsin-Madison, USA Richard Maclin.
Combining Inductive Logic Programming, Active Learning and Robotics to Discover the Function of Genes by C.H. Bryant, S.H. Muggleton, S.G. Oliver, D.B.
Learning Attributes and Relations
AI Principles, Semester 2, Week 5, Lecture 9, Knowledge Representation Overview of Knowledge Representation in AI (based in part on John Bullinaria's IAI.