C. A. Johnson

According to our database, C. A. Johnson authored at least 21 papers between 1986 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2026

OpenEdge: A collaborative, open-source, multi-purpose direct simulation Monte Carlo for plasma simulation in magnetic fusion environments.

Abdourahmane Diaw, C. A. Johnson, Ezekial A. Unterberg, J. Nichols

Comput. Phys. Commun., 2026

2009

Computing Only Minimal Answers in Disjunctive Deductive Databases.

C. A. Johnson

J. Autom. Reason., 2009

2003

Formalizing an Engineering Approach to Cooperating Knowledge-Based Systems.

S. Misbah Deen, C. A. Johnson

IEEE Trans. Knowl. Data Eng., 2003

2002

Processing Indefinite Deductive Databases under the Possible Model Semantics.

C. A. Johnson

Fundam. Informaticae, 2002

2001

On the Computation of the Disjunctive Well-Founded Semantics.

C. A. Johnson

J. Autom. Reason., 2001

Constructing interpretations of deductive databases using reduction and dynamic stratification.

C. A. Johnson

Data Knowl. Eng., 2001

2000

Top-Down Query Processing in First Order Deductive Databases under the DWFS.

C. A. Johnson

Proceedings of the Foundations of Intelligent Systems, 12th International Symposium, 2000

1999

Processing Deductive Databases under the Disjunctive Stable Model Semantics.

C. A. Johnson

Fundam. Informaticae, 1999

On Cyclic Covers and Perfect Models.

C. A. Johnson

Data Knowl. Eng., 1999

Towards a Theoretical Foundation for Cooperating Knowledge Based Systems.

S. Misbah Deen, C. A. Johnson

Proceedings of the Foundations of Intelligent Systems, 11th International Symposium, 1999

1998

Top-Down Query Processing in Indefinite Stratified Databases.

C. A. Johnson

Data Knowl. Eng., 1998

1997

Deduction Trees and the View Update Problem in Indefinite Deductive Databases.

C. A. Johnson

J. Autom. Reason., 1997

1996

On Computing Minimal and Perfect Model Membership.

C. A. Johnson

Data Knowl. Eng., 1996

1994

On the Termination of Clause Graph Resolution.

C. A. Johnson

J. Autom. Reason., 1994

1993

Factorization and Circuit in the Connection Method.

C. A. Johnson

J. ACM, 1993

Top Down Deduction in Indefinite Databases.

C. A. Johnson

Proceedings of the Neuvièmes Journées Bases de Données Avancées, 1993

1991

Handling Indefinite and Negative Data in a Deductive Database.

C. A. Johnson

Data Knowl. Eng., 1991

1989

On Ideals and Stationary Reflection.

C. A. Johnson

J. Symb. Log., 1989

1988

Seminormal lambda-Generated Ideals on P_k lambda.

C. A. Johnson

J. Symb. Log., 1988

1986

Precipitous Ideals on Singular Cardinals.

C. A. Johnson

Math. Log. Q., 1986

Distributive Ideals and Partition Relations.

C. A. Johnson

J. Symb. Log., 1986