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



Group Seminars 2001-2002

DateTimePlaceSpeakerTitle
September 25th11amE17aJoćo Cavalcanti(1) Some thoughts about future work on Web Site Synthesis

(2) Research Perspectives in the Department of Computer Science at the University of Amazonas
September 11th11amE17aPeter FunkCase-based reasoning and filtering techniques with examples on applications
September 4th11amE17aDavid RobertsonDesigning Reliable Multi-agent Systems
August 28th11amE17aMarco SchorlemmerLearning Elementary Logic with the LPL Software Package
August 21st11amF13Chris WaltonModeling Clinical Protocols as Multi-Agent Systems
August 14th11amF13Siu-Wai LeungExperiment on Causal Perception of Aviation Accidents by Using Web Site Synthesis
July 31st11amF13Joćo CavalcantiImplementing property verification and maintenance of Web sites in Prolog
July 23rd2pmE17aWamberto VasconcelosLogic-Based Electronic Institutions
July 17th11amF13Ioan Alfred LetiaDeveloping Collaborative Golog Agents by Reinforcement Learning
July 10th11amF13Joćo CavalcantiA Logic-Based Approach for Automatic Synthesis and Maintenance of Web Sites
June 26th11amF13Manuel Contreras MayaAgenteel's Negotiation Protocol
June 20th11amE17aVirginia BrilhanteAn Empirical Comparative Evaluation of Run Times of Two Synthesis Systems
June 12th11amF13Chris WaltonAn Experimental Platform for Multi-Agent Systems
June 5th11amF13Colin FraserInformation Retrieval based upon implicit evidence: proposals for the SAID Digital TV Information Manager
May 29th11amF13David RobertsonMining Declarative Specifications from Prolog Source Code
May 8th11amF13Stephen PotterCommon Ground for Brokering
May 1st11amF13Marco SchorlemmerA channel-theoretic approach to ontology alignment and merging
April 17th11amF13Wamberto VasconcelosModelling Large MASs with Computational Logic
April 10th11amF13David RobertsonAgent-based Clinical Protocols
April 3rd11amF13John LevineAdding Lamarckian Local Search to Ant Colony Optimisation for Bin Packing and Cutting Stock Problems
March 27th11amF13Joćo CavalcantiUsing hypergraphs for verifying properties of Web site
March 20th11amF13Chris LinModel Testing of Basic Requirement within a Modelling Lifecycle
March 12th11amF13Jessica Chen-BurgerEnterprise Modelling: A Declarative Approach for FBPML
March 5th11amF13Stuart AitkenProcess Representation and Planning in Cyc
February 26th11amF13David RobertsonOpen Problems in Agent Systems
February 19th11amF13Siu-Wai LeungAn Investigation of Rhetoric-influenced Causal Perception By Using Web Site Synthesis: Experiment Design
February 12th11amF13Alexios ChouchoulasRough Set-based Feature Selection for Text Categorisation
February 5th11amF13Chris WaltonModel Checking Multi Agent Systems
January 29th11amF13Dr. Norbert E. FuchsAttempto Controlled English
January 22nd11amF13Yannis KalfoglouOntology deployment: experiences and considerations
January 15th11amF13Stephen Potter and Marco SchorlemmerBrokering the Management of a Formal Lifecycle
December 19th11amF13Wamberto VasconcelosLogic-Based Electronic Institutions: Syntax, Semantics & Implementation
December 12th11amF13David RobertsonSynthesising Web Sites for Experiments
December 5th11amF13Manuel Contreras MayaAgenteel: Towards an Agent Framework based in Oz and FIPA
November 28th11amF13Marco SchorlemmerAn Architecture for Formal Lifecycle Management
November 21st11amF13Austin TateI-X - Intelligent Technology for Planning, Plan Execution and Synthesis Tasks
November 14th11amF13Jessica Chen-BurgerKnowledge Management: an AI approach
November 7th11amF13David RobertsonBuilding a Distributed "UPML"-based Brokering System
October 31st11amF13Joćo CavalcantiVerifying Web Site Properties using Computational Logic
October 24th11amE17aWamberto VasconcelosSkeleton-based Agent Development for Electronic Institutions
October 17th11amE20Georgios YannakakisEvolutionary Computation: Research on Emerging Strategies through a Complex Environment
October 10th11amF13Siu-Wai Leung and David RobertsonSynthesis of a Web Site from Information


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