Karel Stokkermans

According to our database, Karel Stokkermans authored at least 5 papers between 1992 and 1999.

Collaborative distances:

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

1999

A Categorical Critical-pair Completion Algorithm.

Karel Stokkermans

J. Symb. Comput., 1999

Modeling Interaction by Sheaves and Geometric Logic.

Viorica Sofronie-Stokkermans, Karel Stokkermans

Proceedings of the Fundamentals of Computation Theory, 12th International Symposium, 1999

1996

Towards a General Approach for Modeling Actions and Change in Cooperating Agents Scenarios.

Jochen Pfalzgraf, Ute Cornelia Sigmund, Karel Stokkermans

Log. J. IGPL, 1996

1994

Modeling Cooperating Agents Scenarios by Deductive Planning Methods and Logical Fiberings.

Jochen Pfalzgraf, Ute Cornelia Sigmund, Karel Stokkermans

Proceedings of the Integrating Symbolic Mathematical Computation and Artificial Intelligence, 1994

1992

A Categorical Formulation for Critical-Pair/Completion Procedures.

Karel Stokkermans

Proceedings of the Conditional Term Rewriting Systems, Third International Workshop, 1992