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



Group Seminars 1998-1999

DateTimePlaceSpeakerTitle
September 29th11amF13Virginia BrilhanteEquation Discovery Systems
September 22nd11amF10David RobertsonLightweight Capability Descriptions
August 31st11amF13Luigi CeccaroniWastewater Treatment Plant Management
August 25th11amF13David RobertsonPragmatics in the Synthesis of Logic Programs
August 24th11.40amF13Carlos ChesńevarModelling Defeasible Argumentation using Labelled Deductive Systems
August 24th11amF13Guillermo SimariDefeasible Logic Programming
July 15th11amF13Peter FunkReuse, Validation and Verification of System Development Processes
July 14th11.35amF13Virginia BrilhanteUsing Formal Meta-Data Descriptions for Automated Ecological Modeling
July 14th11amF13Renaud LecoeucheUsing Focus Rules in Requirements Elicitation Dialogues
July 7th11amF13Stuart AitkenUsing Cyc on HPKB
June 30th11amF13Jessica Chen-BurgerHow Do You Know It Is Right?
June 9th11amF13Daniela CarbogimReconstructing Systems for Defeasible Argumentation
June 3rd11amF13Steve PolyakI dreamt of Jini II
May 26th11amF13Steve PolyakI dreamt of Jini
May 12th11amF10David RobertsonSustainable Lifecycles in Information Ecosystems
May 5th11amF13Joćo CavalcantiCommunication of Knowledge from Synthesised Web Sites II
Apr 28th11amF13Stefan DaumePractical Issues in Delivering a Silvicultural Planning Tool for Assistance in Forest Management
Apr 21st11amE13David RobertsonSynthesising Programs Based on Notions of Set Refinement
Apr 14th11amF13Yannis KalfoglouOntologies Mapping: Problems and Approaches (part B)
Apr 7th11amF13Patricia MachadoOracles for Interpreting Test Results
Mar 24th11amE18Jonathan TonbergMAPP Prototype Demonstration
Mar 17th11amF13Virginia BrilhanteTaking a Bite out of (Ontological) Megabytes
Mar 10th11amF13Yannis KalfoglouOntologies Mapping: Problems and Approaches
Mar 3rd11amF13Daniela CarbogimA General Architecture for a Formal Argumentation Framework
Feb 24th11amF13David RobertsonDesign Methods for Agent-based Systems
Feb 16th11amF13Yannis KalfoglouThe Advent of 'Killer Apps'
Feb 9th11amF13David RobertsonCan Formal Argumentation Raise our Confidence in Safe Design?
Dec 9th11amF13Steve PolyakMapping Timepoint-Based Constraints into Interval Relationships
Dec 2nd11amF13Joćo CavalcantiCommunication of Knowledge from Synthesised Web Sites
Nov 25th11amF13Daniela CarbogimArguments about Safety-Critical Systems Models
Nov 18th11amF13Virginia BrilhanteAn Example on Generating Model Parameter Estimation from Formal Ecological Data Descriptions
Nov 11th11amF13Renaud LecoeucheIntention and Controlled Languages
Nov 4th11amF13Stefan DaumeA KBS to Model Thinnings in central European Forests
Oct 21th11amF13David RobertsonReconciling Semantic and Pragmatic Aspects of Formal Software Design
Oct 14th12pmF13David RobertsonKnowledge Sharing between Logics II


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