Alex Kean

Publication Activity (10 Years)

Years Active: 1990-1998
Publications (10 Years): 0

Publications

Alex Kean
A Characterization of Contrastive Explanations Computation. PRICAI (1998)
Alex Kean, George K. Tsiknis
A Computational System for Symbolic Belief Revision. Deductive Databases / Abduction in Deductive Databases (1995)
Alex Kean, George K. Tsiknis
A Corrigendum for the Optimized-IPIA. J. Symb. Comput. 17 (2) (1994)
Alex Kean, George K. Tsiknis
Clause Management Systems. Comput. Intell. 9 (1993)
Alex Kean
The approximation of implicates and explanations. Int. J. Approx. Reason. 9 (2) (1993)
Alex Kean, George K. Tsiknis
Assumption-Based Reasoning and Clause Management Systems. Comput. Intell. 8 (1992)
Alex Kean
Revision in ACMS. J. Exp. Theor. Artif. Intell. 4 (3) (1992)
Alex Kean, George K. Tsiknis
An Incremental Method for Generating Prime Implicants/Impicates. J. Symb. Comput. 9 (2) (1990)