Author/Creator: INOUE, KATSUMI - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator INOUE, KATSUMI

1. Characterization of logic program revision as an extension of propositional revision*. Issue 1 (13th August 2015)

Authors:: SCHWIND, NICOLAS; INOUE, KATSUMI
Journal:: Theory and practice of logic programming
Issue:: Volume 16:Issue 1(2016)
Page Start:: 111
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

2. Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning. Issue 3 (10th August 2018)

Authors:: KAMINSKI, TOBIAS; EITER, THOMAS; INOUE, KATSUMI
Editors:: Dal Palu, Alessandro; Tarau, Paul
Journal:: Theory and practice of logic programming
Issue:: Volume 18:Issue 3/4(2018)
Page Start:: 571
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗