Proceedings of the Second International Workshop on Ontologies in Agent Systems (OAS'02)
This ontology contains information detailing publications held by The School of Electronics and Computer Science, University of Southampton
Publication export from The School of Electronics and Computer Science, University of Southampton
A Mechanically Verified Compiling Specification for a Realistic Compiler
Proceedings of the 6th International Conference on AI Planning and Scheduling (AIPS'02)
Combining FIPA ACL With DAML OIL - A Case Study
On the Identification and Use of Hierarchical Resources in Planning and Scheduling
Rigorous Development of an Embedded Fault-Tolerant System Based on Coordinated Atomic Actions