{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T06:16:59Z","timestamp":1729664219402,"version":"3.28.0"},"reference-count":37,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,3]]},"DOI":"10.1109\/cogsima.2012.6188400","type":"proceedings-article","created":{"date-parts":[[2012,4,25]],"date-time":"2012-04-25T20:52:20Z","timestamp":1335387140000},"page":"301-307","source":"Crossref","is-referenced-by-count":4,"title":["Decision-support systems for situation management and communication through the language of algebraic systems"],"prefix":"10.1109","author":[{"given":"Erika","family":"Matsak","sequence":"first","affiliation":[]},{"given":"Peeter","family":"Lorents","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21657-2_28"},{"key":"35","doi-asserted-by":"publisher","DOI":"10.3115\/980491.980573"},{"journal-title":"Discovering Logical Constructs from Estonian Children Language","year":"2010","author":"matsak","key":"17"},{"key":"36","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-50011-1_35"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/ICDIM.2010.5664735"},{"key":"33","doi-asserted-by":"publisher","DOI":"10.1007\/BF00849064"},{"journal-title":"Hayka","year":"1970","author":"maltsev","key":"15"},{"key":"34","first-page":"13","article-title":"Building Intelligent Legal Information Systems: Representation and reasoning in law","author":"zeleznikow","year":"1994","journal-title":"Kluwer Computer\/Law Series"},{"key":"16","first-page":"332","article-title":"Improved version of the natural language dialog system DST and its application for discovery of logical constructions in children's speech","author":"matsak","year":"2008","journal-title":"The 2008 International Conference on Artificial Intelligence ICAI 2008 Las Vegas Nevada USA (June 14-17 2008)"},{"key":"13","first-page":"209","article-title":"Knowledge and Informatsion","volume":"1","author":"lorents","year":"2010","journal-title":"Proceedings of the International Conference on Artificial Intelligence IC-AI' 2008 Las Vegas US July 12-15"},{"key":"14","first-page":"129","article-title":"Knowledge Based Framework for Cyber Weapons and Conflict","author":"lorents","year":"2010","journal-title":"Conference on Cyber Conflict Proceedings June 16th - 18 2010 Tallinn Estonia"},{"key":"37","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21605-3_44"},{"key":"11","article-title":"Frege, contextuality and compositionality","volume":"10","author":"jansse","year":"2001","journal-title":"Journal of Logic Language and Information Archive"},{"key":"12","first-page":"484","article-title":"Knowledge and Taxonomy of Intellect","volume":"2","author":"lorents","year":"2008","journal-title":"Proceedings of the International Conference on Artificial Intelligence IC-AI' 2008 Las Vegas US July 25-28"},{"journal-title":"The mathematics of metamathematics","year":"1963","author":"rasiowa","key":"21"},{"journal-title":"Theory of Deductive Systems and Its Applications","year":"1987","author":"maslov","key":"20"},{"journal-title":"Introduction to Model Theory and to the Metamatemathics of Algebra","year":"1963","author":"robinson","key":"22"},{"journal-title":"Mathematical Logic","year":"1967","author":"schoenfield","key":"23"},{"journal-title":"Proof Theory","year":"1975","author":"takeuti","key":"24"},{"journal-title":"Knowledge-based programming","year":"1988","author":"tyugu","key":"25"},{"key":"26","article-title":"Cyberspace: Definition and Implications","author":"ottis","year":"2010","journal-title":"Proceedings of the 5th International Conference on Information Warfare and Security ICIW 2010 Dayton US 8-9 April"},{"journal-title":"Proof Theory","year":"1975","author":"takeuti","key":"27"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.3166\/ria.22.647-667"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1016\/j.jrp.2005.09.007"},{"key":"3","doi-asserted-by":"crossref","DOI":"10.1007\/978-0-387-38319-4","author":"berner","year":"2007","journal-title":"Clinical Decision Support Systems Theory and Practice"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1007\/s11168-010-9070-1"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/COGSIMA.2011.5753753"},{"key":"1","article-title":"The Situation in Logic","volume":"17","author":"barwise","year":"1989","journal-title":"CSLI Lecture Notes"},{"key":"30","article-title":"The Semantic Atlas: An interactive model of lexical representation","author":"ploux","year":"2010","journal-title":"Proceedings of the Seventh Conference of International Language Resources Ans Evaluation"},{"key":"7","article-title":"Grundgesetze der Arithmetik","volume":"1","author":"frege","year":"1893","journal-title":"Partial Translation As the Basic Laws of Arithmetic"},{"journal-title":"Model Theory","year":"1973","author":"chang","key":"6"},{"key":"32","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.1973.5408575"},{"key":"5","article-title":"Standardizing Battle Management Language -A Vital Move Towards the Army Transformation","author":"carey","year":"2001","journal-title":"2001 Fall Simulation Interoperability Workshop Orlando FL"},{"key":"31","doi-asserted-by":"publisher","DOI":"10.1162\/089120103322145298"},{"journal-title":"Standardizing Battle Management Language - FacilitatingCoalition Interoperability","year":"2003","author":"carey","key":"4"},{"key":"9","article-title":"Untersuchungen u?ber das logische Schlie\ufffden. I, II","volume":"39","author":"gentzen","year":"1936","journal-title":"Mathematische Zeitrschrift"},{"journal-title":"Natural Language Processing in Prolog An Introduction to Computational Linguistics","year":"1989","author":"gazdar","key":"8"}],"event":{"name":"2012 IEEE International Multi-Disciplinary Conference on Cognitive Methods in Situation Awareness and Decision Support (CogSIMA 2012)","start":{"date-parts":[[2012,3,6]]},"location":"New Orleans, LA, USA","end":{"date-parts":[[2012,3,8]]}},"container-title":["2012 IEEE International Multi-Disciplinary Conference on Cognitive Methods in Situation Awareness and Decision Support"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6182940\/6188356\/06188400.pdf?arnumber=6188400","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T17:52:34Z","timestamp":1497981154000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6188400\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,3]]},"references-count":37,"URL":"https:\/\/doi.org\/10.1109\/cogsima.2012.6188400","relation":{},"subject":[],"published":{"date-parts":[[2012,3]]}}}