Audrey Ferry

According to our database, Audrey Ferry authored at least 4 papers between 1992 and 1997.

Collaborative distances:

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

1997

A Continuum of Discrete Systems.

Howard A. Blair, Jagan Chidella, Fred Dushin, Audrey Ferry, Paul R. Humenn

Ann. Math. Artif. Intell., 1997

1995

A Topological Characterization of the Stable and Minimal Model Classes of Propositional Logic Programs.

Audrey Ferry

Ann. Math. Artif. Intell., 1995

1994

Topological characterizations for logic programming semantics.

Audrey Ferry

PhD thesis, 1994

1992

A Topological Characterization of the Stable and Minimal Model Classes of Propositional Logical Programs.

Audrey Ferry

Proceedings of the Informal Proceedings of the Workshop Structural Complexity and Recursion-theoretic methods in Logic-Programming, 1992