Author:
Urbonas Marius,Bundy Alan,Casanova Juan,Li Xue
Publisher
Springer International Publishing
Reference16 articles.
1. Bundy, A., Mitrovic, B.: Reformation: a domain-independent algorithm for theory repair. Technical report. University of Edinburgh (2016)
2. Ceri, S., Gottlob, G., Tanca, L.: Logic Programming and Databases. Surveys in Computer Science. Springer, Berlin (1990). https://doi.org/10.1007/978-3-642-83952-8
3. Lecture Notes in Computer Science;Z Fu,2006
4. Gärdenfors, P.: Knowledge in Flux: Modeling the Dynamics of Epistemic States. MIT Press, Cambridge (1988)
5. Alejandro Gómez, S., Ivan Chesnevar, C., Simari, G.R.: Reasoning with inconsistent ontologies through augmentation. Appl. Artif. Intell. 24(1–2), 102–148 (2010)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Representational change is integral to reasoning;Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences;2023-06-05
2. ABC in Root Cause Analysis: Discovering Missing Information and Repairing System Failures;Machine Learning, Optimization, and Data Science;2023
3. Learning from survey propagation: a neural network for MAX-E-3-SAT;Machine Learning: Science and Technology;2021-07-14