Li, Xiaotao; You, Shujuan; Chen, Wei An algorithm of semantic similarity between words based on word single-meaning embedding model. (Chinese. English summary) Zbl 07294832 Acta Autom. Sin. 46, No. 8, 1654-1669 (2020). MSC: 68Q55 68T50 PDF BibTeX XML Cite \textit{X. Li} et al., Acta Autom. Sin. 46, No. 8, 1654--1669 (2020; Zbl 07294832) Full Text: DOI
Benzmüller, Christoph; Farjami, Ali; Parent, Xavier A dyadic deontic logic in HOL. (English) Zbl 1418.03069 Broersen, Jan (ed.) et al., Deontic logic and normative systems. 14th international conference, DEON 2018, Utrecht, Netherlands, July 3–6, 2018. Proceedings. London: College Publications. 33-49 (2018). MSC: 03B45 03B15 03B35 PDF BibTeX XML Cite \textit{C. Benzmüller} et al., in: Deontic logic and normative systems. 14th international conference, DEON 2018, Utrecht, Netherlands, July 3--6, 2018. Proceedings. London: College Publications. 33--49 (2018; Zbl 1418.03069)
Ivanko, E. E. Iterative equitable partition of graph as a model of constant structure discrete time closed semantic system. (English) Zbl 06966199 Vestn. Yuzhno-Ural. Gos. Univ., Ser. Mat. Model. Program. 10, No. 4, 26-34 (2017). MSC: 05C70 05C60 PDF BibTeX XML Cite \textit{E. E. Ivanko}, Vestn. Yuzhno-Ural. Gos. Univ., Ser. Mat. Model. Program. 10, No. 4, 26--34 (2017; Zbl 06966199) Full Text: DOI MNR
Benzmüller, Christoph Cut-elimination for quantified conditional logic. (English) Zbl 1417.03282 J. Philos. Log. 46, No. 3, 333-353 (2017). MSC: 03F05 03B15 03B60 PDF BibTeX XML Cite \textit{C. Benzmüller}, J. Philos. Log. 46, No. 3, 333--353 (2017; Zbl 1417.03282) Full Text: DOI
Steen, Alexander; Benzmüller, Christoph Sweet SIXTEEN: automation via embedding into classical higher-order logic. (English) Zbl 1373.03030 Log. Log. Philos. 25, No. 4, 535-554 (2016). Reviewer: Matteo Bianchi (Milano) MSC: 03B50 03B15 PDF BibTeX XML Cite \textit{A. Steen} and \textit{C. Benzmüller}, Log. Log. Philos. 25, No. 4, 535--554 (2016; Zbl 1373.03030) Full Text: DOI
Ma, Chenglong; Yan, Yonghong Short text classification based on probabilistic semantic distribution. (Chinese. English summary) Zbl 1374.68410 Acta Autom. Sin. 42, No. 11, 1711-1717 (2016). MSC: 68T05 68T50 PDF BibTeX XML Cite \textit{C. Ma} and \textit{Y. Yan}, Acta Autom. Sin. 42, No. 11, 1711--1717 (2016; Zbl 1374.68410) Full Text: DOI
Benzmüller, Christoph; Paulson, Lawrence C. Quantified multimodal logics in simple type theory. (English) Zbl 1334.03014 Log. Univers. 7, No. 1, 7-20 (2013). MSC: 03B45 03B15 PDF BibTeX XML Cite \textit{C. Benzmüller} and \textit{L. C. Paulson}, Log. Univers. 7, No. 1, 7--20 (2013; Zbl 1334.03014) Full Text: DOI
Benzmüller, Christoph; Gabbay, Dov; Genovese, Valerio; Rispoli, Daniele Embedding and automating conditional logics in classical higher-order logic. (English) Zbl 1272.03064 Ann. Math. Artif. Intell. 66, No. 1-4, 257-271 (2012). Reviewer: Nail Zamov (Kazan) MSC: 03B15 03B35 03B60 68T15 PDF BibTeX XML Cite \textit{C. Benzmüller} et al., Ann. Math. Artif. Intell. 66, No. 1--4, 257--271 (2012; Zbl 1272.03064) Full Text: DOI arXiv
Jiao, L. C.; Shang, Fanhua; Wang, Fei; Liu, Yuanyuan Fast semi-supervised clustering with enhanced spectral embedding. (English) Zbl 1248.68407 Pattern Recognition 45, No. 12, 4358-4369 (2012). MSC: 68T05 PDF BibTeX XML Cite \textit{L. C. Jiao} et al., Pattern Recognition 45, No. 12, 4358--4369 (2012; Zbl 1248.68407) Full Text: DOI
Zeyda, Frank; Cavalcanti, Ana Mechanical reasoning about families of UTP theories. (English) Zbl 1243.68270 Sci. Comput. Program. 77, No. 4, 444-479 (2012). MSC: 68T15 68N15 68Q60 PDF BibTeX XML Cite \textit{F. Zeyda} and \textit{A. Cavalcanti}, Sci. Comput. Program. 77, No. 4, 444--479 (2012; Zbl 1243.68270) Full Text: DOI
Ip, Horace H. S. Kernel and spectral methods for learning the semantics of images. (English) Zbl 1198.68290 Gelenbe, Erol (ed.) et al., Computer and information science. Proceedings of the 25th international symposium on computer and information sciences, London, UK, September 22–24, 2010. Dordrecht: Springer (ISBN 978-90-481-9793-4/hbk; 978-90-481-9794-1/ebook). Lecture Notes in Electrical Engineering 62, 315-320 (2010). MSC: 68U10 68T05 PDF BibTeX XML Cite \textit{H. H. S. Ip}, Lect. Notes Electr. Eng. 62, 315--320 (2010; Zbl 1198.68290) Full Text: DOI
Zeyda, Frank; Cavalcanti, Ana Mechanical reasoning about families of UTP theories. (English) Zbl 1347.68098 Machado, Patricia D. L. (ed.), Proceedings of the 11th Brazilian symposium on formal methods (SBMF 2008) Salvador, Brazil, August 26–29, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 240, 239-257 (2009). MSC: 68N30 68Q60 68T15 PDF BibTeX XML Cite \textit{F. Zeyda} and \textit{A. Cavalcanti}, Electron. Notes Theor. Comput. Sci. 240, 239--257 (2009; Zbl 1347.68098) Full Text: DOI
Ripon, Shamim H.; Butler, Michael J. PVS embedding of cCSP semantic models and their relationship. (English) Zbl 1335.68129 Miller, Alice (ed.) et al., Proceedings of the 8th international workshop on automated verification of critical systems (AVoCS 2008), Glasgow, UK, September 30 – October 1, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 250, No. 2, 103-118 (2009). MSC: 68Q55 68Q60 68Q85 PDF BibTeX XML Cite \textit{S. H. Ripon} and \textit{M. J. Butler}, Electron. Notes Theor. Comput. Sci. 250, No. 2, 103--118 (2009; Zbl 1335.68129) Full Text: DOI
Karacs, Kristóf; Prószéky, Gábor; Roska, Tamás Cellular wave computer algorithms with spatial semantic embedding for handwritten text recognition. (English) Zbl 1214.68319 Int. J. Circuit Theory Appl. 37, No. 10, 1019-1050 (2009). MSC: 68T10 PDF BibTeX XML Cite \textit{K. Karacs} et al., Int. J. Circuit Theory Appl. 37, No. 10, 1019--1050 (2009; Zbl 1214.68319) Full Text: DOI
Mendris, Robert; Zlatoš, Pavol Axiomatization and undecidability results for linear betweenness relations. (English) Zbl 0890.03003 Math. Slovaca 46, No. 4, 305-315 (1996). MSC: 03B25 03B30 52A01 PDF BibTeX XML Cite \textit{R. Mendris} and \textit{P. Zlatoš}, Math. Slovaca 46, No. 4, 305--315 (1996; Zbl 0890.03003) Full Text: EuDML
Pałasiński, Marek No non-trivial quasivariety of BCK-algebras has decidable first order theory. (English) Zbl 0639.03064 Stud. Log. 46, 343-345 (1987). Reviewer: M.Pałasiński MSC: 03G25 03B25 PDF BibTeX XML Cite \textit{M. Pałasiński}, Stud. Log. 46, 343--345 (1987; Zbl 0639.03064) Full Text: DOI
Gibert, Jacek; Shepherd, John From algebra to compiler: A combinator-based implementation of functional programming. (English) Zbl 0533.68003 Foundations of software technology and theoretical computer science, 3rd Conf., Bangalore/India 1983, 290-314 (1983). MSC: 68N01 68Q60 68N25 PDF BibTeX XML