George K. Tsiknis

Publication Activity (10 Years)

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

Publications

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)
George K. Tsiknis
Adding Abstraction to Logic Programming. The Logistic Approach. ICLP Workshop on Logic Programming with Sets (1993)
Paul C. Gilmore, George K. Tsiknis
Logical Foundations for Programming Semantics. Theor. Comput. Sci. 111 (1&2) (1993)
Alex Kean, George K. Tsiknis
Clause Management Systems. Comput. Intell. 9 (1993)
Paul C. Gilmore, George K. Tsiknis
A Logic for Category Theory. Theor. Comput. Sci. 111 (1&2) (1993)
Alex Kean, George K. Tsiknis
Assumption-Based Reasoning and Clause Management Systems. Comput. Intell. 8 (1992)
Alex Kean, George K. Tsiknis
An Incremental Method for Generating Prime Implicants/Impicates. J. Symb. Comput. 9 (2) (1990)