article-ScUh01
article-of-journal: journals-a408199a
has-author: person-b0f6840b
has-volume: 89
has-number: 2
type: Thing
has-page-numbers: 158-173
type: Article-Reference
has-date: http://www.aktors.org/ontology/date#2001
has-title: Planning Agents in James
has-author: person-41df119a

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

inproceedings-luther:01a
has-title: More On Implicit Syntax
has-page-numbers: 386-400
has-date: http://www.aktors.org/ontology/date#2001
has-url: ftp://ftp.informatik.uni-ulm.de/pub/KI/papers/ijcar01.pdf
has-author: person-81d4cc11
type: Proceedings-Paper-Reference
type: Thing

inproceedings-PvH01
has-title: Formal Analysis for Dependability Properties: the Time-Triggered Architecture Example
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/06a1559d76f296b819c19130a42fa034#4
has-page-numbers: 434--352
has-date: http://www.aktors.org/ontology/date#2001
has-author: person-13b99ea8
has-author: person-51405c01
type: Proceedings-Paper-Reference
type: Thing

person-3f8ea446
full-name: V Vinay
type: Person
type: Thing

http://lodlaundromat.org/.well-known/genid/06a1559d76f296b819c19130a42fa034#4
has-title: 8th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2001)
has-date: http://www.aktors.org/ontology/date#2001
type: Conference-Proceedings-Reference
type: Thing

inproceedings-LFM:2000
has-author: person-81d4cc11
type: Thing
has-page-numbers: 161-168
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/06a1559d76f296b819c19130a42fa034#1
has-title: KB-Vision: A Tool for Graphical Manipulation and Visualization of Domain Models
type: Proceedings-Paper-Reference
has-date: http://www.aktors.org/ontology/date#2001
has-author: person-077bcd98
has-author: person-7bfbd77b

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

person-c6876753
full-name: Madhavan Mukund
type: Person
type: Thing

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

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

http://lodlaundromat.org/.well-known/genid/06a1559d76f296b819c19130a42fa034#3
edited-by: person-c6876753
edited-by: person-3f8ea446
edited-by: person-16aabde2
has-title: FST TCS 2001: Foundations of Software Technology and Theoretical Computer Sience
has-date: http://www.aktors.org/ontology/date#2001
type: Conference-Proceedings-Reference
type: Thing

person-41df119a
full-name: Adelinde M Uhrmacher
type: Person
type: Thing

person-7bfbd77b
full-name: Dieter Finkenzeller
type: Person
type: Thing

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

http://lodlaundromat.org/.well-known/genid/06a1559d76f296b819c19130a42fa034#2
has-title: Proceedings of the 6th European Conference on Planning (ECP-01)
has-date: http://www.aktors.org/ontology/date#2001
type: Conference-Proceedings-Reference
type: Thing

person-13b99ea8
full-name: Holger Pfeifer
type: Person
type: Thing

person-81d4cc11
full-name: Marko Luther
type: Person
type: Thing

www.aktors.org
title: Turning Shoe Information to Knowledge of Technology and Deals
site name: Aktors
locale: en_US
description: Take a look at Nike and Adidas Shoe technology, and use Finish Line coupons to save money on athletic shoes and performance apparel
type: website
type: Thing

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

person-e4457b30
full-name: Kawaguchi E H Kangassalo H Jaakkola
type: Person
type: Thing

inproceedings-biundo:schattenberg:01
has-title: From Abstract Crisis to Concrete Relief -- A Preliminary Report on Combining State Abstraction and HTN Planning
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/06a1559d76f296b819c19130a42fa034#2
has-page-numbers: 157--168
has-date: http://www.aktors.org/ontology/date#2001
has-author: person-b0f6840b
has-author: person-edbb61db
type: Proceedings-Paper-Reference
type: Thing

inproceedings-Dold:01:verification
has-title: A Mechanically Verified Compiling Specification for a Lisp Compiler
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/06a1559d76f296b819c19130a42fa034#3
has-page-numbers: 144-155
has-date: http://www.aktors.org/ontology/date#2001
has-author: person-b5295d08
has-author: person-2721d6fb
type: Proceedings-Paper-Reference
type: Thing

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

http://lodlaundromat.org/.well-known/genid/06a1559d76f296b819c19130a42fa034#1
edited-by: person-e4457b30
has-title: Proc. of the Tenth European-Japanese Conference on Information Modelling and Knowledge Bases (EJC 2000)
has-date: http://www.aktors.org/ontology/date#2001
type: Conference-Proceedings-Reference
type: Thing

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

person-16aabde2
full-name: Ramesh Hariharan
type: Person
type: Thing

IJCAR:01
has-title: Automated Reasoning. First International Joint Conference (IJCAR'01), Siena, Italy, June 18--23, 2001, Proceedings
has-date: http://www.aktors.org/ontology/date#2001
type: Conference-Proceedings-Reference
type: Thing

pub-ref-a408199a
has-title: Proceedings of the IEEE
type: Publication-Reference
type: Thing