Karel Stokkermans

Publication Activity (10 Years)

Years Active: 1992-1999
Publications (10 Years): 0

Publications

Karel Stokkermans
A Categorical Critical-pair Completion Algorithm. J. Symb. Comput. 27 (5) (1999)
Viorica Sofronie-Stokkermans, Karel Stokkermans
Modeling Interaction by Sheaves and Geometric Logic. FCT (1999)
Jochen Pfalzgraf, Ute Cornelia Sigmund, Karel Stokkermans
Towards a General Approach for Modeling Actions and Change in Cooperating Agents Scenarios. Log. J. IGPL 4 (3) (1996)
Jochen Pfalzgraf, Ute Cornelia Sigmund, Karel Stokkermans
Modeling Cooperating Agents Scenarios by Deductive Planning Methods and Logical Fiberings. AISMC (1994)
Karel Stokkermans
A Categorical Formulation for Critical-Pair/Completion Procedures. CTRS (1992)