C. A. Johnson

Publication Activity (10 Years)

Years Active: 1986-2009
Publications (10 Years): 0

Publications

C. A. Johnson
Computing Only Minimal Answers in Disjunctive Deductive Databases. J. Autom. Reason. 42 (1) (2009)
C. A. Johnson
Top-Down Query Processing in First-Order Deductive Databases under the DWFS. J. Autom. Reason. 32 (2) (2004)
S. Misbah Deen, C. A. Johnson
Formalizing an Engineering Approach to Cooperating Knowledge-Based Systems. IEEE Trans. Knowl. Data Eng. 15 (1) (2003)
C. A. Johnson
Computing only minimal answers in disjunctive deductive databases CoRR (2003)
C. A. Johnson
Processing Indefinite Deductive Databases under the Possible Model Semantics. Fundam. Informaticae 49 (4) (2002)
C. A. Johnson
On the Computation of the Disjunctive Well-Founded Semantics. J. Autom. Reason. 26 (4) (2001)
C. A. Johnson
Constructing interpretations of deductive databases using reduction and dynamic stratification. Data Knowl. Eng. 38 (2) (2001)
C. A. Johnson
Top-Down Query Processing in First Order Deductive Databases under the DWFS. ISMIS (2000)
S. Misbah Deen, C. A. Johnson
Towards a Theoretical Foundation for Cooperating Knowledge Based Systems. ISMIS (1999)
C. A. Johnson
Processing Deductive Databases under the Disjunctive Stable Model Semantics. Fundam. Informaticae 40 (1) (1999)
C. A. Johnson
On Cyclic Covers and Perfect Models. Data Knowl. Eng. 31 (1) (1999)
C. A. Johnson
Top-Down Query Processing in Indefinite Stratified Databases. Data Knowl. Eng. 26 (1) (1998)
C. A. Johnson
Deduction Trees and the View Update Problem in Indefinite Deductive Databases. J. Autom. Reason. 19 (1) (1997)
C. A. Johnson
On Computing Minimal and Perfect Model Membership. Data Knowl. Eng. 18 (3) (1996)
C. A. Johnson
On the Termination of Clause Graph Resolution. J. Autom. Reason. 13 (1) (1994)
C. A. Johnson
Factorization and Circuit in the Connection Method. J. ACM 40 (3) (1993)
C. A. Johnson
Top Down Deduction in Indefinite Databases. BDA (1993)
C. A. Johnson
Handling Indefinite and Negative Data in a Deductive Database. Data Knowl. Eng. 6 (1991)
C. A. Johnson
On Ideals and Stationary Reflection. J. Symb. Log. 54 (2) (1989)
C. A. Johnson
lambda. J. Symb. Log. 53 (1) (1988)
C. A. Johnson
Precipitous Ideals on Singular Cardinals. Math. Log. Q. 32 (25-30) (1986)
C. A. Johnson
Distributive Ideals and Partition Relations. J. Symb. Log. 51 (3) (1986)