Gerd Wagner's Homepage

Ontological Foundations of Conceptual Modeling

An Ontologically Well-Founded Profile for UML Conceptual Models, together with G. Guizzardi, N. Guarino and M. van Sinderen. In Proc. of the 16th Int. Conf. on Advanced Information Systems Engineering (CAiSE*04), June 2004, Riga, Latvia. ***Best paper award***
Towards Ontological Foundations for UML Conceptual Models, together with G. Guizzardi and H. Herre. In Proc. of 1st International Conference on Ontologies, Databases and Applications of Semantics (ODBASE 2002). Springer-Verlag LNCS 2519, 2002.
On the General Ontological Foundations of Conceptual Modeling, together with G. Guizzardi and H. Herre. In Proc. of 21th International Conference on Conceptual Modeling (ER 2002). Springer-Verlag LNCS 2503, 2002.

Agent-Oriented Modeling

Agent-Oriented Knowledge Management in Learning Environments: A Peer to Peer Helpdesk Case Study, together with R.S.S. Guizzardi and L. Aroyo. In Proceedings of AAAI Spring Symposium on Agent-Mediated Knowledge Management (AMKM-2003). March 24-26, 2003, Stanford University, USA. Springer-Verlag, Lecture Notes in Artificial Intelligence (LNAI) 2926, 2003.
The Agent-Object-Relationship Metamodel: Towards a Unified View of State and Behavior. Information Systems 28:5 (2003).
A UML Profile for External AOR Models, in Proceedings of Third International Workshop on Agent-Oriented Software Engineering (AOSE-2002), held at Autonomous Agents and Multi-Agent Systems (AAMAS 2002), Palazzo Re Enzo, Bologna, Italy - July 15, 2002. Springer-Verlag LNAI 2585.
Agent-Oriented Enterprise Modeling Based on Business Rules, together with Kuldar Taveter. Proc. of 20th Int. Conf. on Conceptual Modeling (ER2001), November 2001, Yokohama, Japan, Springer-Verlag LNCS 2224, 2001.
Agent-Oriented Business Rules: Deontic Assignments, together with Kuldar Taveter. In Proc. of Int. Workshop on Open Enterprise Solutions: Systems, Experiences, and Organizations (OES-SEO2001), Rome, September 2001.
Vivid Agents: Theory, Architecture, and Applications, together with Michael Schroeder, J. of Applied Artificial Intelligence 14:7 (2000).
Agent-Oriented Analysis and Design of Organizational Information Systems, Proc. of Fourth IEEE International Baltic Workshop on Databases and Information Systems, 1 May 2000, Vilnius (Lithuania).
Artificial Agents and Logic Programming, (dvi) panel statement at the ICLP'97 post-conference workshop Logic Programming and Multiagent Systems, Leuven, 1997.
VIVA Knowledge-Based Multi-Agent Programming, Preprint, 1997. Abstract: We sketch VIVA, a new agent-oriented programming language based on the theory of VIVid Agents. VIVA follows the AOP paradigm of Shoham but is, in a sense, more conservative by adopting as many concepts as possible from SQL and Prolog. This concerns, e.g., the distinction between the schema and the state of an agent, or the use of facts and rules with negation-as-failure, logical variables and unification. The basic design principles of VIVA are conservativity, scalability, and versatility.
M. Schroeder and G. Wagner: Distributed Diagnosis by Vivid Agents, in Proc. of Autonomous Agents'97, ACM Press, 1997. Abstract: Many systems, such as large manufacturing systems, telecommunication networks, or home automation systems, require distributed monitoring and diagnosis. In this article, we introduce a meta-logic interpreter for vivid agents which allows to develop distributed monitoring and diagnosis systems consisting of a variety of scalable knowledge- and perception-based agents. The interpreter is based on PVM-Prolog, an extension of standard Prolog with message passing facilities. We show how to specify and run vivid diagnosis agents carrying out fault-tolerant diagnosis of a computer network.
Multi-Level Security in MultiAgent Systems, in Proc. of 1st Int. Workshop on Cooperative Information Agents (CIA-97), Springer LNAI, 1997. Abstract: Whenever agents deal with confidential information, it is important that they comply with a principled security policy. We show how the database concept of multi-level security can be applied to inter-agent communication. This includes the case where an unauthorized agent is misinformed on purpose in order to protect confidential information.
FIPA comments - a critical review of FIPA part 2, Agent Communication Language, Rev.1.0
Conceptual Foundations of Artificial Agents, my Habilitation thesis (overview, also available in German).
Vivid Agents - How they Deliberate, How They React, How They Are Verified. Extended version of G. Wagner: A Logical And Operational Model of Scalable Knowledge- and Perception-Based Agents, in W. Van de Velde and J.W. Perram (Eds.), Agents Breaking Away, Proc. of MAAMAW'96, Springer Lecture Notes in Artificial Intelligence 1038, 1996.

Databases, Information Systems and Knowledge Systems

Handling Inconsistency in Knowledge Systems. Special Issue of the Journal of Applied Non-Classical Logic 7:1-2 (1997).

Knowledge Representation and Reasoning

Partial Logics with Two Kinds of Negation as a Foundation for Knowledge-Based Reasoning, together with H. Herre and J. Jaspars, in D.M. Gabbay and H. Wansing (Eds.), What is Negation ?, Kluwer Academic Publishers, 1999.
Foundations of Knowledge Systems with Applications to Databases and Agents, Kluwer Academic Publishers, 1998.
Stable Models Are Generated by a Stable Chain, together with H. Herre, Journal of Logic Programming 30:2 (1997). Abstract: We propose a general preference criterion selecting the `intended' models of generalized logic programs which a) is a conservative extension of the stable model semantics for normal logic programs of [GL88], b) is very close to the answer set semantics of [GL91] for disjunctive logic programs, and c) allows for arbitrary formulas in the body and in the head of a rule, i.e. does not depend on the presence of any specific connective, such as negation(-as-failure), nor on any specific syntax of rules. Our preference criterion defines a model of a program as intended if it is generated by a stable chain. We show that stable models and answer sets are generated by a stable chain of length less than or equal to omega.

Homepage of Gerd Wagner, http://www.informatik.tu-cottbus.de/~gwagner/ 08-Dec-2004