Lin Padgham's Publications Summary

• Avoiding Resource Conflicts in Intelligent Agents
• Debugging Multi-Agent Systems using Design Artifacts: The case of Interaction Protocols
• Prometheus: A Methodology for Developing Intelligent Agents
• Declarative and Procedural Goals in Intelligent Agent Systems
• Applying Conflict Management Strategies in BDI Agents for Resource Management in Computational Grids
• Representation and Reasoning for Goals in BDI Agents
• Simplifying the Development of Intelligent Agents
• Agent Capabilities: Extending BDI Theory
• Relative Robustness: An empirical investigation of behaviour based and plan based paradigms as environmental conditions change
• Conceptual Modeling in a Document Management Environment using Part-of Reasoning in Description Logics
• From Roles to Teamwork: a framework and architecture
• "PAC - Personality and Cognition: an interactive system for modelling agent scenarios
• A System for Modelling Agents having Emotion and Personality
• Role organisation and Planning team strategies
• A System for Experimenting with Agents having Emotion and Personality
• An Intelligent Believable Agent Environment
• A Description Logic for Composite Objects for Domain Modeling in an Agent-Oriented Application
• Revisiting Rationality for Agents with Intentions

• A Model and Representation for Type Information and Its Use in Reasoning with Defaults
• Negative Reasoning Using Inheritance
• Non-Monotonic Inheritance for an Object-Oriented Knowledge-Base
• A Lattice Based Model for Inheritance Reasoning
• Defeasible Inheritance : A Lattice Based Approach (I)
• Defeasible Inheritance : A Lattice Based Approach (II)
• Combining Classification and Non-Monotonic Inheritance Reasoning: A First Step
• A Terminological Logic with Defaults: A Definition and an Application
• A Diagnosis System Using Classification
• Diagnosis Using a Default Inheritance Hierarchy

• A Description Logic for Composite Objects for Domain Modeling in an Agent-Oriented Application
• A Knowledge Base for Structured Documents
• A Framework for Part-Of Hierarchies in Terminological Logics
• Analysis of Part-of Reasoning in Description Logics for Use in a Document Management Application
• Integrating a description logic system and an object-centered database system
• Part-of reasoning in description logics: A document management application
• Combining Description Logic Systems with Information Management Systems
• Building the Ontology for a Medical Diagnosis System Using Standard Texts
• Combining Classification and Non-Monotonic Inheritance Reasoning: A First Step
• A Terminological Logic with Defaults: A Definition and an Application
• A Diagnosis System Using Classification
• Diagnosis Using a Default Inheritance Hierarchy

• A User Interface Management Approach for Object Oriented Database Applications
• User Interface Management for an Object Oriented Database System
• LINCKS -- A Platform for Cooperative Information Systems
• NODE : A Database for Use by Intelligent Systems
• User Interface and Information Management for an Object-Oriented Database
• From a Technical to a Humane Environment : A Software System Supporting Cooperative Work
• LINCKS : An Imperative Object Oriented System
• A hypertext knowledge base for primary care: LIMEDS in LINCKS
• Linköping Intelligent Knowledge Communication System
• Non-Monotonic Inheritance for an Object-Oriented Knowledge-Base
• Application Interface to LINCKS on Sun; Programmer's Manual third ed., 1988.

The following section is not updated

Theses Supervised (Masters, Licentiate, PhD):

• OoE : Object-oriented editor
• Propagation of change in an intelligent information system
• Aspects of version management of composite objects
• A Study in Diagnosis Using Classification and Defaults
• Design of multiple view presentation and interaction manager
• Maintaining a command history in LINCKS

Publications and Reports of Co-Workers/Students:

• An extension programming language for LINCKS, a cooperative information system
• Combining a terminological reasoner with an object-centered database
• Temporal aspects of composite objects
• Versioning of strongly connected composite objects
• Versioning aspects of strongly connected composite objects
• Extending standard description logics
• Learning composite concepts in description logics: A first step
• Terminological logic involving time and evolution: A preliminary report
• The information lattice of networks used for knowledge representation
• Reasoning about control of dynamic systems
• A logic for propagation based characterisation of process behaviour
• Theory and Practice ofTense-bound Object References
• Introducing classic-like functions in lincks system
• Building a hybrid terminological reasoner within an intelligent information system
• Integrating terminological reasoning into an intelligent information system
• Activation of LINCKS -- adding an active aspect
• A www front end to an oodbms
• LINCKS -- a platform for computer supported cooperative work
• LINCKS -- ett verktyg för cscw
• Introduction to LINCKS
• The LINCKS GPD
• Preliminary Documentation of the Application Interface Manager (AIM) for the LINCKS System
• High level tools for the debugging of real-time multiprocessor systems
• A knowledge-based approach for the debugging of real-time multiprocessor systems
• Introducing hypertext in primary health care: A study on the feasibility of decision support for practitioners
• Metoder för utvärdering av människa-maskin gränssnitt
• Industrial training with simulation games
• Fully incremental parsing
• The xlincks User's Manual for Version 2.0 of the LINCKS Database System