Acknowledgement
Grant : WiseKB: 빅데이터 이해 기반 자가학습형 지식베이스 및 추론 기술 개발
Supported by : 정보통신기술진흥센터
References
- J. D. Kleer, "A General Labeling Algorithm for Assumption-based Truth Maintenance," Proc. of the 7th National Conference on Artificial Intelligence, pp. 188-192, 1988.
- N. Hai, N. Alechina, B. Logan, "Axiom Pinpointing Using an Assumption-Based Truth Maintenance System," Proc. of the 25th International Workshop on Description Logics (DL 2012), pp. 290-300, 2012.
- M. Zaharia, M. Chowdhury, T. Das, A. Dave, J. Ma, M. McCauley, M. J. Franklin, S. Shenker, I. Stoica, "Resilient Distributed Datasets: A Fault-Tolerant Abstraction for In-Memory Cluster Computing," Proc. of the 9th USENIX Conference on Networked Systems Design and Implementation, pp. 2-2, 2012.
- Johan de Kleer, "Massively Parallel ATMS," Proc. of AAAI-88, pp. 199-204, 1988.
- J.-M. Kim, and Y.-T. Park, "An Approach to Detect all Axioms Responsible for Unsatisfiable Concepts in Ontology," The Journal of KIISE, Software and Applications, pp. 464-472, 2012.
- J.C. Madre, O. Coudert, "A Logically Complete Reasoning Maintenance System Based on a Logical Constraint Solver," Proc. of IJCAI'9, Vol. 1, pp. 294-299, 1991.
- J. Jones, M. Millington, M. Virvou, "An Assumption-based Truth Maintenance System in Active Aid for UNIX Users," The Journal of Artificial Intelligence Review, Vol. 14, pp. 229-252, 2000. https://doi.org/10.1023/A:1006562430348
- T. Cronin, "Using An Assumption-Based Truth Maintenance System to Switch Context during Data Fusion Processing," Technical Report, 1991.
- F. F. Monai, T. Chehire, "Possibilistic Assumption based Truth Maintenance System, Validation in a Data Fusion Application," Proc. of the 8th Annual Conference on Uncertainty in Artificial Intelligence, pp. 83-91, 1992.
- T.-H. Ngair, G. Provan, "Focusing ATMS Problem-Solving: Formal Approach," Technical Report, 1992.
- Ren, Y., Pan, J.Z, "Optimizing Ontology Stream Reasoning with Truth Maintenance System," Proc. of the ACM Conference on Information and Knowledge Management (CIKM), pp. 831-836, 2011.
- J. Urbani, A. Margara, C. Jacobs, F. V. Harmelen, H. Bal, "DynamiTE: Parallel Materialization of Dynamic RDF Data," The Semantic Web-ISWC 2013, pp. 657-672, 2013.