Open Access
| Issue |
ITM Web Conf.
Volume 7, 2016
3rd Annual International Conference on Information Technology and Applications (ITA 2016)
|
|
|---|---|---|
| Article Number | 06001 | |
| Number of page(s) | 5 | |
| Section | Session 6: Artificial Intelligence | |
| DOI | https://doi.org/10.1051/itmconf/20160706001 | |
| Published online | 21 November 2016 | |
- Brewka, Gerhard, Non-monotonic reasoning: logical foundations of common sense, Cambridge University Press. (1991). [Google Scholar]
- J. McCarthy, Circumscription a form of nonmonotonic reasoning, Artificial Intelligence, 13: 27–39 (1980). [CrossRef] [MathSciNet] [Google Scholar]
- J. McCarthy, Applications of circumscription to formalize commonsense konwledge. Artificial Intellifence, 13: 7–39 (1986). [Google Scholar]
- E. Sandewall, An approach to the frame Problem and its implementation. Machine Intelligence, 7: 195–204 (1972). [Google Scholar]
- R. Reiter, A logic for default reasoning, Artificial Intelligence, 13: 81–132 (1980). [CrossRef] [MathSciNet] [Google Scholar]
- D. McDermott, J. Doyle, Non-monotonic logic. Artificial Intelligence, 13: 41–72 (1980). [CrossRef] [MathSciNet] [Google Scholar]
- C. Mihir, G. Suiata, Non-monotonic Logics and Algebras, Journal of Chongqing University of Posts and Telecommunications (Natural Science Edition), 20: 355–360 (2008). [Google Scholar]
- D.M. Gabbay, Heoretical foundations for nonmonotonic reasoning in expert systems. in: K. R. Apt (Ed.), Proceedings NATO Advanced Study Institute on Logics and Models of Concurrent Systems, Springer, Berlin, 439–457 (1985). [CrossRef] [Google Scholar]
- C.E. Alchourrón, D. Makinson, On the logic of theory change: Safe contraction, Symbolic Logic, 405–422 (1985). [Google Scholar]
- A. Darwiche, J. Pearl, On the logic of iterated belief revision, Artificial Intelligence, 1–29 (1997). [CrossRef] [MathSciNet] [Google Scholar]
- Y. Shang, A.S. Deng, X.D. Jiu, The Quantitative Correction Method of Inconsistent belief meet the AGM public discussion, Computer Engineering and Science, 26: 106–109 (2004). [Google Scholar]
- W.V. Quine, The problem of simplifying truth functions. American Mathematical Monthly, 521–531 (1952). [CrossRef] [MathSciNet] [Google Scholar]
- P. Tison, Generalization of consensus theory and application to the minimization of boolean functions. Electronic Computers, IEEE. [Google Scholar]
- J. Pais, P. Jackson, Partial monotonicity and a new version of the Ramsey test. Studia Logica, 51(1): 21–47 (1992). [CrossRef] [MathSciNet] [Google Scholar]
- M.A. Falappa, Explanations belief revision and defeasible reasoning. Artificial Intelligence, 141: 1–28 (2002). [CrossRef] [MathSciNet] [Google Scholar]
- J.X. Zhang, The research about inconsistent beliefs quantitative a modified hierarchical. Dalian, Dalian Maritime University (2013). [Google Scholar]
- P. Tison, Generalization of consensus theory and application to the minimization of boolean functions. Electronic Computers, 4: 446–456 (1967). [Google Scholar]
Current usage metrics show cumulative count of Article Views (full-text article views including HTML views, PDF and ePub downloads, according to the available data) and Abstracts Views on Vision4Press platform.
Data correspond to usage on the plateform after 2015. The current usage metrics is available 48-96 hours after online publication and is updated daily on week days.
Initial download of the metrics may take a while.