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.
AI Principles, Semester 2, Week 5, Lecture 9, Knowledge Representation Overview of Knowledge Representation in AI (based in part on John Bullinaria's IAI.
Dr. Bhavani Thuraisingham October 1, 2008 Building Trustworthy Semantic Webs Lecture #11: Logic and Inference Rules Semantic Web Applications.
Link Mining Lise Getoor Department of Computer Science University of Maryland, College Park.
Location of JSI EuropeSlovenia Micro-location of JSI Department of Knowledge Technologies Jožef Stefan Institute Ljubljana.
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.