Karel Stokkermans
Karel Stokkermans
A Categorical Critical-pair Completion Algorithm.
435-477
1999
27
J. Symb. Comput.
5
db/journals/jsc/jsc27.html#Stokkermans99
https://doi.org/10.1006/jsco.1999.0262
Viorica Sofronie-Stokkermans
Karel Stokkermans
Modeling Interaction by Sheaves and Geometric Logic.
512-523
https://doi.org/10.1007/3-540-48321-7_43
1999
conf/fct/1999
FCT
db/conf/fct/fct99.html#Sofronie-StokkermansS99
Jochen Pfalzgraf
Ute Cornelia Sigmund
Karel Stokkermans
Towards a General Approach for Modeling Actions and Change in Cooperating Agents Scenarios.
445-472
1996
4
Log. J. IGPL
3
https://doi.org/10.1093/jigpal/4.3.445
db/journals/igpl/igpl4.html#PfalzgrafSS96
Jochen Pfalzgraf
Ute Cornelia Sigmund
Karel Stokkermans
Modeling Cooperating Agents Scenarios by Deductive Planning Methods and Logical Fiberings.
167-190
1994
conf/aisc/1994
AISMC
db/conf/aisc/aismc1994.html#PfalzgrafSS94
https://doi.org/10.1007/3-540-60156-2_13
Karel Stokkermans
A Categorical Formulation for Critical-Pair/Completion Procedures.
328-342
1992
conf/ctrs/1992
CTRS
db/conf/ctrs/ctrs92.html#Stokkermans92
https://doi.org/10.1007/3-540-56393-8_25
Jochen Pfalzgraf
Ute Cornelia Sigmund
Viorica Sofronie-Stokkermans