| |
| 1995 | ||
|---|---|---|
| 7 | Alex Kean, George K. Tsiknis: A Computational System for Symbolic Belief Revision. Deductive Databases / Abduction in Deductive Databases 1995: 159-173 | |
| 1994 | ||
| 6 | Alex Kean, George K. Tsiknis: A Corrigendum for the Optimized-IPIA. J. Symb. Comput. 17(2): 181-187 (1994) | |
| 1993 | ||
| 5 | Alex Kean, George K. Tsiknis: Clause Management Systems. Computational Intelligence 9: 11-40 (1993) | |
| 4 | Paul C. Gilmore, George K. Tsiknis: A Logic for Category Theory. Theor. Comput. Sci. 111(1&2): 211-252 (1993) | |
| 3 | Paul C. Gilmore, George K. Tsiknis: Logical Foundations for Programming Semantics. Theor. Comput. Sci. 111(1&2): 253-290 (1993) | |
| 1992 | ||
| 2 | Alex Kean, George K. Tsiknis: Assumption-Based Reasoning and Clause Management Systems. Computational Intelligence 8: 1-24 (1992) | |
| 1990 | ||
| 1 | Alex Kean, George K. Tsiknis: An Incremental Method for Generating Prime Implicants/Impicates. J. Symb. Comput. 9(2): 185-206 (1990) | |
| 1 | Paul C. Gilmore | [3] [4] |
| 2 | Alex Kean | [1] [2] [5] [6] [7] |