Aïda Batarekh

According to our database, Aïda Batarekh authored at least 8 papers between 1988 and 1992.

Collaborative distances:

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

1992

Principles and practice in verifying rule-based systems.

Alun D. Preece, Rajjan Shinghal, Aïda Batarekh

Knowl. Eng. Rev., 1992

1991

A binary decision algorithm.

Sami Khuri, Aïda Batarekh

Inf. Sci., 1991

1990

The harmonium and decision problems.

Sami Khuri, Aïda Batarekh

Proceedings of the IJCNN 1990, 1990

Specification of expert systems.

Aïda Batarekh, Alun D. Preece, Anne Bennett, Peter Grogono

Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence, 1990

Fixpoint Techniques for Non-Monotone Maps.

Aïda Batarekh

Proceedings of the Algebraic and Logic Programming, 1990

1989

The Query Topology in Logic Programming.

Aïda Batarekh, V. S. Subrahmanian

Proceedings of the STACS 89, 1989

Convergence Issues and Fixed Points of Non-Monotone Maps.

Aïda Batarekh

Proceedings of the Logic Programming, 1989

1988

Semantical Equivalences of (Non-Classical) Logic Programs.

Aïda Batarekh, V. S. Subrahmanian

Proceedings of the Logic Programming, 1988