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



Group Seminars 1997-1998

DateTimePlaceSpeakerTitle
Sep 16th11amF13Steve PolyakThe Common Process Ontology
Sep 9th11:30amF13David RobertsonThe Representation and Reasoning Institute
Sep 2nd11amF13David RobertsonThe relationship between KADS and Logics of Set Refinement
Jul 22nd11amF13David RobertsonKnowledge Sharing between Logics
Jul 15th11amF13David RobertsonWorkshop in Knowledge Sharing: Conclusions
July 8th11amF13Renaud LecoeucheAnother Experiment
July 1st11amF13Wamberto VasconcelosAn Adaptation of Dynamic Slicing Techniques for Logic Programming
Jun 24th11amF10David RobertsonThe LOPSTR/JICSLP Conference
June 10th11amF10David RobertsonHow Knowledge of the Synthesis of Web Sites Can Make them More Accessible
June 3rd11amF13Steve PolyakApplying Design Space Analysis to Planning
May 27th11amF13paper discussionSpecifications are Necessarily Informal
May 20th11amF13Renaud LecoeucheThe ICRE'98 Conference
May 13th11amF13Yannis KalfoglouCritiquing of Specifications based on Ontologies
May 6th11amF13Renaud LecoeucheExperiment: Evaluating a Requirements Elicitation System
April 29th11amF13Daniela CarbogimApplying Argumentation to Model Design
April 22nd11amF13David RobertsonHow to Write PhD Theses
April 15th11amF13Virginia BrilhanteThe Discovery of Ecological System Dynamics Models Supported by Ground-based (and Image-based) Data
April 8th11amF13David RobertsonA Mechanism for Performing Reactive Inference
March 25th1pmF13Peter FunkCABS: A Case-Based and Graphical Requirements Capture, Formalisation and Verification System
March 18th11amF13David RobertsonLogic Programs and KADS Task Models
March 11th11amF13Yannis KalfoglouLanguages for Interoperability of Software Systems
March 3rd11amF13Renaud LecoeucheFocused Requirements Elicitation Dialogues
February 25th11amF13Steve PolyakCommon Process Editing
February 18th11amF13Edjard MotaTime Granularity in Simulation Models within a Multi-Agent System
January 30th11amF10Wamberto VasconcelosCooperation between Knowledge-Based Systems
January 21st11amF13Daniela CarbogimConsiderations on the Structure and the Dynamics of Arguments
January 7th11amF13David RobertsonAn Informal Discussion on Idealisation in Knowledge Representation
December 10th11amF13Yannis KalfoglouA Proposed Mechanism for Detecting Errors in s/w Specifications based on Ontologies
November 26th11amF13David RobertsonInventing Modelling Lifecycle from Abstract Language
November 19th11amF13Jessica Chen-BurgerFormalisation of Business Model in BSDM
November 12th11amF13Daniela CarbogimFormal Argumentation
November 5th11amF13Steve PolyakSharing Process and Plan Knowledge
October 29th11amF13Yannis KalfoglouDetecting Logical Errors Occuring During Program Construction
October 22nd11amF13Alberto CastroUser Evaluation of a Population Dynamics Model Synthesiser


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