Characterization of Logic Program Revision as an Extension of Propositional Revision

Publication Information

Title

Japanese:	Characterization of Logic Program Revision as an Extension of Propositional Revision
English:	Characterization of Logic Program Revision as an Extension of Propositional Revision

Author

Japanese:	Nicolas Schwind, Katsumi Inoue.
English:	Nicolas Schwind, Katsumi Inoue.

Language

English

Journal/Book name

Japanese:	Theory and Practice of Logic Programming
English:	Theory and Practice of Logic Programming

Volume, Number, Page

Vol. 16 No. 1 pp. 111-138

Published date

Jan. 2016

Publisher

Japanese:	Cambridge University Press
English:	Cambridge University Press

Conference name

Japanese:
English:

Conference site

Japanese:
English: