Meeting Agenda Meeting Agenda I will take a brief and informal look into the use of analogies in the software development cycle, in particular within the area of user interface. The primary concern of this talk will be on the issue of reusability within software development.
The Institute for Computer Research (ICR)
Presents a Colloquium on
TLPlan--Using Temporal Logic to Control Search in Planning
by: Dr. Fahiem Bacchus
Date: Wednesday, October 18, 1995
Time: 3:30 pm.
Place: William G. Davis Computer Research Centre, Room 1302
Automated planning lies at the core of many knowledge based ap-
plications. If we are to be successful in designing useful
software agents, automated schedulers, high-level robot controll-
ers, etc., we need to be able to solve the planning problem ef-
fectively.
In this work we describe how natural domain information, of a
"strategic" nature, can be expressed in a first-order temporal
logic (LTL), and then utilized to effectively control search dur-
ing planning. There are numerous advantages to our approach, in-
cluding a declarative semantics for the search control knowledge;
a high degree of modularity (the more search control knowledge
utilized the more efficient search becomes); and an independence
of this knowledge from the details of the planning algorithm. We
have implemented our ideas in the TLPlan system, and have been
able to demonstrate its remarkable effectiveness in a range of
planning domains.
Beginner's LaTeX Tutorial
by
Gavin Peters
Have you ever wanted to create a classy looking resume that will impress
your potential employers? Have you ever wanted a simple way to create
clean, neat looking reports? Have you ever wondered how those text wizards
ofmathNEWS do their magic?
You can now by taking our LaTeX tutorial. The tutorial will introduce
you to LaTeX document structure, formatting environments, and font style
changes. The tutorial will also introduce you to an online interactive
tutorial for you to use to expand your knowledge of LaTeX.
Wednesday, October 18th, 1995
5:30pm
MC3006
oo$$$$$ooo o$$$$$oo$$$$$oo
o$$"" $$$" o$$"" $$$$$$ ""$$o C O M P U T E R
o$$ $$" $$" o$" "$$ $$o
$$ $$ $$o $$ $$o $$ S C I E N C E
$$o "$$ $$ o$$ $$ $$
$$o "$o $$" o$$ o$$ o$$" C L U B
"$$ooo$$$$$$ooo$$" $$$$ooo$$$