Kirillovich, Alexander; Nevzorova, Olga; Falileeva, Marina; Lipachev, Evgeny; Shakirova, Liliana OntoMath\(^\mathit{Edu}\): a linguistically grounded educational mathematical ontology. (English) Zbl 1455.68265 Benzmüller, Christoph (ed.) et al., Intelligent computer mathematics. 13th international conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12236, 157-172 (2020). MSC: 68V30 68T30 68T50 97U70 PDFBibTeX XMLCite \textit{A. Kirillovich} et al., Lect. Notes Comput. Sci. 12236, 157--172 (2020; Zbl 1455.68265) Full Text: DOI
Quaresma, Pedro Towards an intelligent and dynamic geometry book. (English) Zbl 1425.97002 Math. Comput. Sci. 11, No. 3-4, 427-437 (2017). MSC: 97U50 68T05 68T15 68T30 97G10 PDFBibTeX XMLCite \textit{P. Quaresma}, Math. Comput. Sci. 11, No. 3--4, 427--437 (2017; Zbl 1425.97002) Full Text: DOI
Nilsson, Jørgen Fischer Diagrammatic reasoning with classes and relationships. (English) Zbl 1401.03029 Moktefi, Amirouche (ed.) et al., Visual reasoning with diagrams. Basel: Birkhäuser/Springer (ISBN 978-3-0348-0599-5/pbk; 978-3-0348-0600-8/ebook). Studies in Universal Logic, 83-100 (2013). MSC: 03B10 03B70 03B65 68T30 68T27 PDFBibTeX XMLCite \textit{J. F. Nilsson}, in: Visual reasoning with diagrams. Basel: Birkhäuser/Springer. 83--100 (2013; Zbl 1401.03029) Full Text: DOI
Ligozat, Gérard Qualitative spatial and temporal reasoning. (English) Zbl 1232.68004 Hoboken, NJ: John Wiley & Sons; London: ISTE (ISBN 978-1-84821-252-7/hbk). xv, 505 p. (2012). MSC: 68-02 68T27 68T30 68T35 68T37 PDFBibTeX XMLCite \textit{G. Ligozat}, Qualitative spatial and temporal reasoning. Hoboken, NJ: John Wiley \& Sons; London: ISTE (2012; Zbl 1232.68004)
Ligozat, Gérard Qualitative temporal and spatial reasoning. (Raisonnement qualitatif sur le temps et l’espace.) (French) Zbl 1230.68022 Collection Ingénierie des Langues. Paris: Hermes; Paris: Lavoisier (ISBN 978-2-7462-3117-7/pbk). 560 p. (2011). Reviewer: Siegfried J. Gottwald (Leipzig) MSC: 68-02 68T30 68T27 68T37 68T35 PDFBibTeX XMLCite \textit{G. Ligozat}, Raisonnement qualitatif sur le temps et l'espace. Paris: Hermes; Paris: Lavoisier (2011; Zbl 1230.68022)
Ali Babar, M. (ed.); Dingsøyr, T. (ed.); Lago, P. (ed.); van Vliet, H. (ed.) Software architecture knowledge management. Theory and practice. (English) Zbl 1183.68187 Berlin: Springer (ISBN 978-3-642-02373-6/hbk; 978-3-642-02374-3/ebook). xx, 279 p. (2009). MSC: 68N99 68-06 68T30 PDFBibTeX XMLCite \textit{M. Ali Babar} (ed.) et al., Software architecture knowledge management. Theory and practice. Berlin: Springer (2009; Zbl 1183.68187) Full Text: DOI
Libbrecht, Paul; Melis, Erica Methods to access and retrieve mathematical content in ActiveMath. (English) Zbl 1283.68319 Iglesias, Andrés (ed.) et al., Mathematical software – ICMS 2006. Second international congress on mathematical software, Castro Urdiales, Spain, September 1–3, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-38084-9/pbk). Lecture Notes in Computer Science 4151, 331-342 (2006). MSC: 68T30 68P20 97U70 PDFBibTeX XMLCite \textit{P. Libbrecht} and \textit{E. Melis}, Lect. Notes Comput. Sci. 4151, 331--342 (2006; Zbl 1283.68319) Full Text: DOI
Berardi, Daniela; Calvanese, Diego; De Giacomo, Giuseppe Reasoning on UML class diagrams. (English) Zbl 1132.68747 Artif. Intell. 168, No. 1-2, 70-118 (2005). MSC: 68T30 68T27 68N99 PDFBibTeX XMLCite \textit{D. Berardi} et al., Artif. Intell. 168, No. 1--2, 70--118 (2005; Zbl 1132.68747) Full Text: DOI
Kohlhase, Michael OMDOC: Towards an internet standard for the administration, distribution, and teaching of mathematical knowledge. (English) Zbl 1042.00511 Campbell, John A. (ed.) et al., Artificial intelligence and symbolic computation. International conference AISC 2000, Madrid, Spain, July 17–19, 2000. Revised papers. Berlin: Springer (ISBN 3-540-42071-1). Lect. Notes Comput. Sci. 1930, 32-52 (2001). MSC: 00A99 68T30 68W30 97U70 97U40 PDFBibTeX XMLCite \textit{M. Kohlhase}, Lect. Notes Comput. Sci. 1930, 32--52 (2001; Zbl 1042.00511) Full Text: Link
Nisheva-Pavlova, Maria M. KAM – a knowledge-based tool for developing computer algebra systems. (English) Zbl 1079.68628 God. Sofij. Univ., Fak. Mat. Inform. 90(1996), No. 2, 165-176 (1998). MSC: 68T35 68T30 68T05 68W30 PDFBibTeX XMLCite \textit{M. M. Nisheva-Pavlova}, God. Sofiĭ. Univ., Fak. Mat. Inform. 90, No. 2, 165--176 (1998; Zbl 1079.68628)
Vanthienen, J.; Mues, C.; Aerts, A. An illustration of verification and validation in the modelling phase of KBS development. (English) Zbl 0908.68104 Data Knowl. Eng. 27, No. 3, 337-352 (1998). MSC: 68Q60 68T30 PDFBibTeX XMLCite \textit{J. Vanthienen} et al., Data Knowl. Eng. 27, No. 3, 337--352 (1998; Zbl 0908.68104) Full Text: DOI
Kunz, Jürgen Inheritance for system developer. Foundations and applications. (Vererbung für Systementwickler. Grundlagen und Anwendungen.) (German) Zbl 0835.68112 Braunschweig: Vieweg. x, 261 p. (1995). Reviewer: E.Kostolansky MSC: 68T30 68N15 68P15 68-02 PDFBibTeX XMLCite \textit{J. Kunz}, Vererbung für Systementwickler. Grundlagen und Anwendungen. Braunschweig: Vieweg (1995; Zbl 0835.68112)
Behrens, Shirley J. Bibliographic control & information sources. 2nd ed. (English) Zbl 0844.68033 Pretoria: Unisa Press, Univ. of South Africa. 320 p. (1994). Reviewer: H.Kilov (Millington) MSC: 68P20 68T30 68-01 PDFBibTeX XMLCite \textit{S. J. Behrens}, Bibliographic control \& information sources. 2nd ed. Pretoria: Unisa Press, Univ. of South Africa (1994; Zbl 0844.68033)
Schwarz, A. F. Handbook of VLSI chip design and expert systems. (English) Zbl 0820.68093 London: Academic Press,. viii, 582 p. (1993). Reviewer: A.A.Adăscăliţei (Iaşi) MSC: 68R99 68T35 94C10 68-00 68U20 68T30 68U07 68M99 PDFBibTeX XMLCite \textit{A. F. Schwarz}, Handbook of VLSI chip design and expert systems. London: Academic Press (1993; Zbl 0820.68093)
Grabowski, Jan (ed.) Computers in science and higher education. Contributions to the conference BIT ’89, held in Berlin, GDR, June 19-23, 1989. (English) Zbl 0820.68008 Mathematical Research. 57. Berlin: Akademie-Verlag. 322 p. (1990). MSC: 68-06 68T30 68T15 68T20 68U15 PDFBibTeX XMLCite \textit{J. Grabowski} (ed.), Computers in science and higher education. Contributions to the conference BIT '89, held in Berlin, GDR, June 19-23, 1989. Berlin: Akademie-Verlag (1990; Zbl 0820.68008)
Martin, James; Oxman, Steven Building expert systems. A tutorial. (English) Zbl 0725.68103 Englewood Cliffs: Prentice Hall. XIII, 457 p. $ 78.65 (1988). Reviewer: S.Luchian (Bucureşti) MSC: 68T35 68-01 PDFBibTeX XMLCite \textit{J. Martin} and \textit{S. Oxman}, Building expert systems. A tutorial. Englewood Cliffs: Prentice Hall (1988; Zbl 0725.68103)
Boose, John H. (ed.); Gaines, Brian R. (ed.) Knowledge-based systems. Vol. 2: Knowledge acquisition tools for expert systems. (English) Zbl 0825.68119 London etc.: Academic Press, Inc. XVI, 343 p. (1988). MSC: 68-06 68T35 68T30 PDFBibTeX XMLCite \textit{J. H. Boose} (ed.) and \textit{B. R. Gaines} (ed.), Knowledge-based systems. Vol. 2: Knowledge acquisition tools for expert systems. London etc.: Academic Press, Inc. (1988; Zbl 0825.68119)