|
Home
|
People
|
Research
|
Publications
|
Events
|
Links
|



AIAI-SSP Joint Seminars 1997-1998

DateTimePlaceSpeakerTitle
Jun 24th3pmF13Daniela CarbogimFormal Argumentation, Models and Specifications
Jun 10th2pmF10Yannis KalfoglouCritiquing of Specifications based on Ontologies
May 26th2pmF13Peter GrayKRAFT as An Agent-Based System for Handling Distributed Design Constraints
May 20th1:30pmF13Helen LoweDesigning Usable Proof Tools for Formal Methods
May 13th3pmF10Jessica Chen-BurgerFormal Support for an Informal Business Model
May 6th3pmF13Peter JarvisWhat right do you have to do that? - Authority Modelling and Reasoning for Intelligent Task-Based Process Management
April 22nd3pmF13John KingstonAn Internet-Based Expert System in Medicine
March 18th3pmF13Alberto CastroEvaluation of a Domain-Specific Model Synthesiser
March 11th2pmF13Renaud LecoeucheA Framework for Requirements Elicitation through Natural Language Dialogue
February 4th3pmF13David RobertsonPutting the "Method" into Formal Methods
January 28th3pmF13Richard WheelerI KNEW THAT: An Introduction to Case-based Reasoning
January 21st3pmF13Jonathan TonbergThe Management Advisory Package for Potato
January 14th3pmF13Peter JarvisIntegrating Hierarchical Task Network and Model-Based Planning Technologies


|
Home
|
People
|
Research
|
Publications
|
Events
|
Links
|