SyLAR—The System for Logic and Automated Reasoning for Situation Management Decision Support Systems

1. Bibel, W.: On matrices with connections. J. Assoc. Comput. Mach. 28(4), 633–645 (1981)

   Google Scholar 

2. Birkhoff, G., von Neumann, J.: The logic of quantum mechanics. Ann. Math. 37, 823–842 (1936)

   Article  Google Scholar 

3. Browne, P.: JBoss Drools Business Rules. Packt Publishing, Birmingham (2009)

   Google Scholar 

4. Buss, S.R.: An Introduction to Proof Theory. Elsevier Science, Amsterdam (1998)

   Google Scholar 

5. Church, A.: Introduction to Mathematical Logic, vol. I. Princeton University Press, Princeton, New Jersey (1956)

   Google Scholar 

6. Cohn, P.M.: Universal Algebra. Harper and Row, Evanston (1965)

   MATH  Google Scholar 

7. Cook, S.A.: The complexity of theorem-proving procedures. In: STOC ’71 Proceedings of the third annual ACM symposium on Theory of computing, pp. 151–158. ACM, New York, NY, USA (1971)

   Google Scholar 

8. d’Aquin, M., Motta, E.: Watson, more than a Semantic Web search engine. Semantic Web IOS Press (2010). (http://www.semantic-web-journal.net/sites/default/files/swj96_1.pdf)

9. Een, N., Mishchenko, A., Sörensson, N.: Applying Logic Synthesis for Speeding Up SAT, SAT (2007)

   Google Scholar 

10. Gentzen, G.: Die Widerspruchsfreiheit der reinen Zahlentheorie. Math. Ann. 112, 493–565 (1936)

    Article  MathSciNet  Google Scholar 

11. Gentzen, G.: Investigations into logical deduction. Szabo 1969, 68–131 (1935)

    Google Scholar 

12. Goodstein, R.L.: Mathematical Logic. Leicester, England (1957)

    MATH  Google Scholar 

13. Grätzer, G.: Universal Algebra, 2nd Edn. Springer, New York (2008)

    Google Scholar 

14. Lorents, P.: Knowledge and information. In: Proceedings of the 2010 International Conference on Artificial Intelligence, pp. 209–215. CSREA Press (2010)

    Google Scholar 

15. Lorents, P.: Formalization of data and knowledge based on the fundamental notation-denotation relation. In: International Conference on Artificial Intelligence, Proceedings, vol. III, pp. 1297–1301. CSREA Press, Las Vegas USA (2001)

    Google Scholar 

16. Lorents, P.: Denotations, knowledge and lies. In: Proceedings of the International Conference on Artificial Intelligence, IC-AI’ 2007, vol. II, pp. 324–329. CSREA Press, Las Vegas, USA, June 14–17 2007

    Google Scholar 

17. Lorents, P.: Knowledge and taxonomy of intellect. In: Proceedings of the International Conference on Artificial Intelligence, IC-AI’ 2008, vol. II, pp. 484–489. CSREA Press, Las Vegas, USA, 25–28 July 2008

    Google Scholar 

18. Lorents, P.: Knowledge and logic. In: Proceedings of the International Conference on Artificial Intelligence, IC-AI’ 2009: International Conference on Artificial Intelligence, IC-AI’ 2009, pp. 568–570. CSREA Press, Las-Vegas (2009)

    Google Scholar 

19. Lorents, P., Matsak, E.: Applying time-dependent algebraic systems for describing situations. In: 2011 IEEE Conference on Cognitive Methods in Situation Awareness and Decision Support (CogSIMA 2011), pp. 25–31. I.E.E.E. Press, Miami Beach, FL. (IEEE Catalog Number: CFP11COH-CDR) (2011)

    Google Scholar 

20. Maltsev, A.I.: (Maльцeв A. И.) Aлгeбpaичecкиe cиcтeмы (Algebraic systems). Moscow: Hayкa (1970)

    Google Scholar 

21. Matheus, C., Dionne, B., Parent, D., Baclawski, K., Kokar, M.: BaseVISor: A forward-chaining inference engine optimized for RDF/OWL triples. In: Digital Proceedings of the 5th International Semantic Web Conference, ISWC 2006, Athens, GA (2006)

    Google Scholar 

22. Matsak, E., Lorents, P.: Knowledge in digital decision support system. In: Universal Access in Human-Computer Interaction. Applications and Services: HCI International 2011, Lecture Notes in Computer Science, pp. 263–271. Springer, Orlando, Florida, USA (2011)

    Google Scholar 

23. Matsak, E., Lorents, P.: Decision-support systems for situation management and communication through the language of algebraic systems. In: 2012 IEEE International Multi-Disciplinary Conference on Cognitive Methods in Situation Awareness and Decision Support (CogSIMA 2012): CogSima 2012, pp. 301–307. I.E.E.E. Press (2012)

    Google Scholar 

24. Matuszek, C., Cabral, J., Witbrock, M., Deoliveira, J.: An introduction to the syntax and content of Cyc. In: Proceedings of the 2006 AAAI Spring Symposium on Formalizing and Compiling Background Knowledge and its Applications to Knowledge Representation and Question Answering (2006)

    Google Scholar 

25. Prawitz, D.: Natural Deduction: A Proof Theoretical Study. Almqvist and Wiksell, Stockholm (1965)

    MATH  Google Scholar 

26. Robinson, J.A.: A machine-oriented logic based on the resolution principle. J. ACM 12(1), 23–41 (1965). doi:10.1145/321250.321253

    Article  MATH  Google Scholar 

27. Suchanek, F.M., Kasneci, G., Weikum, G.: Yago—A core of semantic knowledge. In: 16th international World Wide Web conference (2007)

    Google Scholar 

28. Takeuti, G.: Proof Theory. North-Holland Publishing Company, Amstardam (1975)

    Google Scholar 

29. Tomsovica, K., Liu, C.-C.: Bounding the computation time of forward-chaining rule-based systems, Data and Knowledge Engineering. Elsevier (1993)

    Google Scholar 

30. Tilotma S., Navneet T., Deepali K.: Study of difference between forward and backward reasoning. Int. J. Emerg. Technol. Adv. Eng. 2(10), ISSN: 2250–2459 (2012)

    Google Scholar 

31. Tetali P.: Artificial intelligence and decision support systems. Int. J. Adv. Res. IT Eng. 2(4), ISSN: 2278–6244 (2013)

    Google Scholar 

32. Matheus, C.J., Kokar, M.M., Baclawski, K., Letkowski, J.A., Call C.: SAWA: An assistant for higher-level fusion and situation awareness. In: Proceedings of SPIE 5813, Multisensor, Multisource Information Fusion: Architectures, Algorithms, and Applications 2005, vol. 75 (05 April 2005). doi:10.1117/12.604120

Download references