Ralf Schweimeier

According to our database, Ralf Schweimeier authored at least 9 papers between 1999 and 2005.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2005

A Parameterised Hierarchy of Argumentation Semantics for Extended Logic Programming and its Application to the Well-founded Semantics.

Ralf Schweimeier, Michael Schroeder

Theory Pract. Log. Program., 2005

2004

Fuzzy Unification and Argumentation for Well-Founded Semantics.

Ralf Schweimeier, Michael Schroeder

Proceedings of the SOFSEM 2004: Theory and Practice of Computer Science, 2004

2002

A categorical framework for typing CCS-style process communication.

Ralf Schweimeier

Proceedings of the Categorical Methods for Concurrency, 2002

Arguments and Misunderstandings: Fuzzy Unification for Negotiating Agents.

Michael Schroeder, Ralf Schweimeier

Proceedings of the Computational Logic in Multi-Agent Systems, 2002

Well-founded argumentation semantics for extended logic programming.

Ralf Schweimeier, Michael Schroeder

Proceedings of the 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), 2002

Notions of Attack and Justified Arguments for Extended Logic Programs.

Ralf Schweimeier, Michael Schroeder

Proceedings of the 15th European Conference on Artificial Intelligence, 2002

Fuzzy argumentation for negotiating agents.

Michael Schroeder, Ralf Schweimeier

Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002

2001

Categorical and graphical models of programming languages.

Ralf Schweimeier

PhD thesis, 2001

1999

A Categorical and Graphical Treatment of Closure Conversion.

Ralf Schweimeier, Alan Jeffrey

Proceedings of the Fifteenth Conference on Mathematical Foundations of Progamming Semantics, 1999