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



Group Seminars 2000-2001

DateTimePlaceSpeakerTitle
October 3rd11amF13Chris LinThe Model Check of Basic Properties on Re-engineered Models
September 19th11amF13Marco SchorlemmerDuality in Knowledge Sharing
September 12th11amF13Chris WaltonHazards in the design of large Multi Agent Systems
September 5th11amE17aRichard WalkerElectronic Institution and Agent Design
August 29th11amF13Jessica Chen-BurgerA few highlights from IJCAI 2001
August 22nd11amF13Marco SchorlemmerOn the Accuracy of Representation Systems
August 15th11amF13Richard JensenRough Set Theory - what is it?
August 8th11amF13David RobertsonLightweight UPML
July 25th11amE17aVirginia Brilhante and Wamberto VasconcelosA Beginner's Guide to the Semantic Web
July 18th11amF13Joćo Cavalcanti'Wapalise' your Web Site
July 11th11amF13John KingstonKnowledge Valuation
July 4th11amF13David RobertsonSmart Stuff Happens versus Useful Stuff is Delivered
June 19th11amF13Chris Walton and Wamberto VasconcelosReview of Ecosystems for Validation and Laboratory Framework for Information Ecosystems
June 13th11amF13Henrik WesterbergOptimising Plans using Genetic Programming
June 6th11amF13Stuart AitkenMachine Learning and Ontologies for Knowledge Extraction
May 30th11amF13Stephen PotterKnowledge Audit
May 23rd11amE17aChris WaltonAn Introduction to Database Systems
May 16th11amF13David RobertsonContinuous and Discrete Agent Models
May 9th11amF13Marco SchorlemmerInformation Flow in Knowledge-Based Systems: A Language of Knowledge-Engineering Life Cycles ?
May 2nd11amF13Virginia BrilhanteOntology-Enabled Knowledge Reuse
April 25th11amF13John LevineBenchmarks for Planning
April 18th11amE13David RobertsonLifecycles as Operations over Domains and Ontologies
April 11th11amF13Henrik WesterbergPlan Synthesis via Genetic Programming and Improved Seeding using Simple Search
April 4th11amF13Austin Tate and John KingstonAKT Project
March 28th11amF13Wamberto Vasconcelos and Richard WalkerMulti-Agent Systems as Parallel Logic Programs and A Distributed Implementation of Electonic Institutions
March 23rd11amF13Jessica Chen-BurgerA Three-Layered Business Process Modelling Approach
March 21st11amF13Stephen PotterKnowledge from databases: design synthesis and the knowledge audit
March 14th11amE17aSiu-Wai LeungExploring the Idea of Evolutionary Case Adaptation
March 8th11amE17aMarco SchorlemmerAn Information-Theoretic Perspective of the Knowledge Engineering Activity
March 2nd10.45F13Chris WaltonThe Open Source Movement
February 22nd11amE17aDavid Robertson and Wamberto VasconcelosElectronic Institutions for the Simulation of Supply Networks
February 15th1pmF13David RobertsonDependability in Agent Systems
February 1st11amE17aVirginia BrilhanteModel Sharing and Ontologies
January 25th11amE17aDavid RobertsonRelating Continuous and Discrete Agent-Related Models
January 18th11amE17aDaniela CarbogimDynamics in Formal Argumentation
December 20th11amF13Joćo Cavalcanti and Wamberto VasconcelosAn Intelligent Multi-Agent Approach to Web-Site Construction and Maintenance
December 13th11amF13David RobertsonA Simple Agent Modelling Language with Simulated Concurrency
December 6th11amF13Chris WaltonModel Checking for Multi-agent Systems
November 28th11amE17aJessica Chen-BurgerWhat is Multi-Perspective Modelling ? Why do it, and how can formal method help ?
November 22nd11amE17aSiu-Wai LeungA Computational Approach to Artificial Evolution of Proteins
November 15th11amF13David RobertsonLifecycle Calculus
November 8th11amF13Chris LinTransformation of Business Models in Business Networking
November 1st11amF13Alexander VossInnovation in Use: Interleaving Day-to-day Operation and Systems Development
October 25th11amF13Chris WaltonSpecifying topology in multi-agent systems
October 18th11amF13Joćo CavalcantiSynthesis of Web Sites from Entity-Relationship Diagrams
October 11th11amF13Wamberto VasconcelosAn approach to specifying, verifying and executing populations of agents


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