2004 | ||
---|---|---|
4 | Christopher J. Hogger, Frank Kriwaczek: Constraint-Guided Enterprise Portals. ICEIS (3) 2004: 411-418 | |
2003 | ||
3 | Christopher J. Hogger, Frank Kriwaczek, Mohd S. Ahmad: A Flexible Constraint-Based Portal Architecture. CAINE 2003: 1-6 | |
1992 | ||
2 | Frank Kriwaczek: An Introduction to Constraint Logic Programming. Advanced Topics in Artificial Intelligence 1992: 82-94 | |
1991 | ||
1 | Dov M. Gabbay, Frank Kriwaczek: A Family of Goal Directed Theorem Provers Based on Conjunction and Implication: Part I. J. Autom. Reasoning 7(4): 511-536 (1991) |
1 | Mohd S. Ahmad | [3] |
2 | Dov M. Gabbay | [1] |
3 | Christopher J. Hogger | [3] [4] |