pub-ref-ffd67126
has-title: IEEE Transactions on Computers
type: Publication-Reference

person-94289c1d
full-name: A Romanovsky
type: Person

http://lodlaundromat.org/.well-known/genid/6e2be6cd37958275a36420f0ffd5688e#2
has-date: http://www.aktors.org/ontology/date#2002
has-title: Proceedings of the Second International Workshop on Ontologies in Agent Systems (OAS'02)
type: Conference-Proceedings-Reference

person-74c10a89
full-name: A Zorzo
type: Person

Publication export from The School of Electronics and Computer Science, University of Southampton
creator: Ian Millard
creator: ReSIST Project
description: This ontology contains information detailing publications held by The School of Electronics and Computer Science, University of Southampton
created: 2006-09-01
type: Ontology
imports: extension
imports: portal

tech-report-uib-2002-03
has-author: person-2721d6fb
has-author: person-51405c01
has-author: person-b5295d08
has-author: person-dea25b84
has-date: http://www.aktors.org/ontology/date#2002
has-title: A Mechanically Verified Compiling Specification for a Realistic Compiler
type: Technical-Report-Reference

person-eccb24b9
full-name: Ercüment Canver
type: Person

http://lodlaundromat.org/.well-known/genid/6e2be6cd37958275a36420f0ffd5688e#1
edited-by: person-c748fcf7
edited-by: person-dd7f7387
edited-by: person-f49b2eeb
has-date: http://www.aktors.org/ontology/date#2002
has-title: Proceedings of the 6th International Conference on AI Planning and Scheduling (AIPS'02)
type: Conference-Proceedings-Reference

http://www.aktors.org/ontology/date#2002
has-pretty-name: 2002
year-of: 2002
type: Calendar-Date

person-dea25b84
full-name: W Goerigk
type: Person

person-697a7942
full-name: B Randell
type: Person

person-dd7f7387
full-name: Malik Ghallab
type: Person

person-f49b2eeb
full-name: Joachim Hertzberg
type: Person

person-51405c01
full-name: Friedrich von Henke
type: Person

inproceedings-liebig:02
has-author: person-077bcd98
has-author: person-b94a292b
has-author: person-d8bf534f
has-author: person-f73fd2f1
has-date: http://www.aktors.org/ontology/date#2002
has-title: Combining FIPA ACL With DAML OIL - A Case Study
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/6e2be6cd37958275a36420f0ffd5688e#2
type: Proceedings-Paper-Reference

person-b5295d08
full-name: Vincent Vialard
type: Person

inproceedings-schattenberg:biundo:02
has-author: person-b0f6840b
has-author: person-edbb61db
has-date: http://www.aktors.org/ontology/date#2002
has-page-numbers: 263-272
has-title: On the Identification and Use of Hierarchical Resources in Planning and Scheduling
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/6e2be6cd37958275a36420f0ffd5688e#1
type: Proceedings-Paper-Reference

person-edbb61db
full-name: Susanne Biundo
type: Person

person-08eaf538
full-name: R Stroud
type: Person

person-d8bf534f
full-name: Torsten Illmann
type: Person

person-b94a292b
full-name: Frank Kargl
type: Person

person-f73fd2f1
full-name: Michael Schalk
type: Person

article-Xu02:RDSCSBCAA
has-author: person-94289c1d
has-author: person-697a7942
has-date: http://www.aktors.org/ontology/date#2002
has-author: person-08eaf538
has-page-numbers: 164-179
article-of-journal: journals-ffd67126
has-author: person-51405c01
has-author: person-eccb24b9
has-author: person-74c10a89
has-number: 2
has-author: person-69c6bd4d
type: Article-Reference
has-title: Rigorous Development of an Embedded Fault-Tolerant System Based on Coordinated Atomic Actions
has-volume: 51

person-077bcd98
full-name: Thorsten Liebig
type: Person

person-69c6bd4d
full-name: J Xu
type: Person

person-2721d6fb
full-name: Axel Dold
type: Person

person-b0f6840b
full-name: Bernd Schattenberg
type: Person

person-c748fcf7
full-name: Paolo Traverso
type: Person