Fariba Sadri (sadri)

Contributions to Philosophie.ch

Bibliography

Kakas, Antonis C. and Sadri, Fariba, eds. 2002a. Computational Logic: Logic Programming and Beyond. Essays in Honour of Robert A. Kowalski, Part I. Lecture Notes in Artificial Intelligence n. 2407. Berlin: Springer.
Kakas, Antonis C. and Sadri, Fariba, eds. 2002b. Computational Logic: Logic Programming and Beyond. Essays in Honour of Robert A. Kowalski, Part II. Lecture Notes in Artificial Intelligence n. 2408. Berlin: Springer.
Sadri, Fariba. 1987. “Three Recent Approaches to Temporal Reasoning.” in Temporal Logics and their Applications, edited by Antony Galton, pp. 121–168. New York: Academic Press.
Sadri, Fariba and Kowalski, Robert A. 1988. “A Theorem-Proving Approach to Database Integrity.” in Foundations of Deductive Databases and Logic Programming, edited by Jack Minker, pp. 313–362. San Francisco, California: Morgan Kaufmann Publishers.
Sergot, Marek J., Sadri, Fariba, Kowalski, Robert A., Kriwaczek, F., Hammond, Paul and Cory, H. T. 1986. “The British Nationality Act as a Logic Program.” Communications of the Association for Computing Machinery 29(5): 370–386.