Analysing Rational Properties of Change Operators Based on Forward Chaining

Hassan Bezzazi, Stéphane Janot, Sébastien Konieczny, Ramón Pino Pérez. Analysing Rational Properties of Change Operators Based on Forward Chaining. In Burkhard Freitag, Hendrik Decker, Michael Kifer, Andrei Voronkov, editors, Transactions and Change in Logic Databases, International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, 1996 and ILPS 97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and De. Volume 1472 of Lecture Notes in Computer Science, pages 317-339, Springer, 1998. [doi]

Authors

Hassan Bezzazi

This author has not been identified. Look up 'Hassan Bezzazi' in Google

Stéphane Janot

This author has not been identified. Look up 'Stéphane Janot' in Google

Sébastien Konieczny

This author has not been identified. Look up 'Sébastien Konieczny' in Google

Ramón Pino Pérez

This author has not been identified. Look up 'Ramón Pino Pérez' in Google