Mejía-Gutiérrez, Ricardo; Fischer, Xavier A multi-agent platform to support knowledge based modelling in engineering design. (English) Zbl 1436.90170 Bennis, Fouad (ed.) et al., Nature-inspired methods for metaheuristics optimization. Algorithms and applications in science and engineering. Cham: Springer. Model. Optim. Sci. Technol. 16, 245-263 (2020). MSC: 90C59 PDF BibTeX XML Cite \textit{R. Mejía-Gutiérrez} and \textit{X. Fischer}, Model. Optim. Sci. Technol. 16, 245--263 (2020; Zbl 1436.90170) Full Text: DOI
van Engelenburg, Sélinde; Janssen, Marijn; Klievink, Bram Designing context-aware systems: a method for understanding and analysing context in practice. (English) Zbl 1423.68495 J. Log. Algebr. Methods Program. 103, 79-104 (2019). Reviewer: Neli Zlatareva (New Britain, CT) MSC: 68T35 68N17 68T30 PDF BibTeX XML Cite \textit{S. van Engelenburg} et al., J. Log. Algebr. Methods Program. 103, 79--104 (2019; Zbl 1423.68495) Full Text: DOI
Berrar, Daniel; Lopes, Philippe; Dubitzky, Werner Incorporating domain knowledge in machine learning for soccer outcome prediction. (English) Zbl 07024629 Mach. Learn. 108, No. 1, 97-126 (2019). MSC: 68T05 PDF BibTeX XML Cite \textit{D. Berrar} et al., Mach. Learn. 108, No. 1, 97--126 (2019; Zbl 07024629) Full Text: DOI
Inzunza, Sergio; Juárez-Ramírez, Reyes; Jiménez, Samantha; Licea, Guillermo GUMCARS: general user model for context-aware recommender systems. (English) Zbl 07299745 Comput. Inform. 37, No. 5, 1149-1183 (2018). MSC: 68N01 68N30 68T30 PDF BibTeX XML Cite \textit{S. Inzunza} et al., Comput. Inform. 37, No. 5, 1149--1183 (2018; Zbl 07299745) Full Text: DOI
Xie, Xilin Calculus teaching supported by the studies on math-physical knowledge systems with dissemination methods. (Chinese. English summary) Zbl 1424.97001 J. Fudan Univ., Nat. Sci. 57, No. 2, 250-270 (2018). MSC: 97I40 97I50 97D40 PDF BibTeX XML Cite \textit{X. Xie}, J. Fudan Univ., Nat. Sci. 57, No. 2, 250--270 (2018; Zbl 1424.97001)
Pota, Marco; Esposito, Massimo; De Pietro, Giuseppe Likelihood-fuzzy analysis: from data, through statistics, to interpretable fuzzy classifiers. (English) Zbl 1452.68155 Int. J. Approx. Reasoning 93, 88-102 (2018). MSC: 68T05 62H30 62H86 PDF BibTeX XML Cite \textit{M. Pota} et al., Int. J. Approx. Reasoning 93, 88--102 (2018; Zbl 1452.68155) Full Text: DOI
Lv, Zhao; Chen, Shuming; Wang, Yaohua Simulation-based hardware verification with a graph-based specification. (English) Zbl 1427.68018 Math. Probl. Eng. 2018, Article ID 6398616, 10 p. (2018). MSC: 68M07 68N30 68Q60 68T30 PDF BibTeX XML Cite \textit{Z. Lv} et al., Math. Probl. Eng. 2018, Article ID 6398616, 10 p. (2018; Zbl 1427.68018) Full Text: DOI
Le, Nguyen-Thinh (ed.); van Do, Tien (ed.); Nguyen, Ngoc Thanh (ed.); Thi, Hoai An Le (ed.) Advanced computational methods for knowledge engineering. Proceedings of the 5th international conference on computer science, applied mathematics and applications, ICCSAMA 2017, Berlin, Germany, June 30 – July 1, 2017. (English) Zbl 1385.68009 Advances in Intelligent Systems and Computing 629. Cham: Springer (ISBN 978-3-319-61910-1/pbk; 978-3-319-61911-8/ebook). xvi, 228 p. (2018). MSC: 68-06 68Txx 90Cxx 00B25 PDF BibTeX XML Cite \textit{N.-T. Le} (ed.) et al., Advanced computational methods for knowledge engineering. Proceedings of the 5th international conference on computer science, applied mathematics and applications, ICCSAMA 2017, Berlin, Germany, June 30 -- July 1, 2017. Cham: Springer (2018; Zbl 1385.68009) Full Text: DOI
Wang, Yingxu On the cognitive and theoretical foundations of big data science and engineering. (English) Zbl 1377.68217 New Math. Nat. Comput. 13, No. 2, 101-117 (2017). MSC: 68T05 68T10 68T30 PDF BibTeX XML Cite \textit{Y. Wang}, New Math. Nat. Comput. 13, No. 2, 101--117 (2017; Zbl 1377.68217) Full Text: DOI
Sikos, Leslie F. Description logics in multimedia reasoning. (English) Zbl 1373.68013 Cham: Springer (ISBN 978-3-319-54065-8/hbk; 978-3-319-54066-5/ebook). xiii, 205 p. (2017). MSC: 68-02 68Q55 68T27 68T30 68T45 PDF BibTeX XML Cite \textit{L. F. Sikos}, Description logics in multimedia reasoning. Cham: Springer (2017; Zbl 1373.68013) Full Text: DOI
Nguyen, Ngoc-Thanh (ed.); Núñez, Manuel (ed.); Trawiński, Bogdan (ed.) Guest editorial: Collective intelligent information and database systems. (English) Zbl 1366.00066 J. Intell. Fuzzy Syst. 32, No. 2, 1157-1160 (2017). MSC: 00B15 00B25 68-06 68T30 68T37 PDF BibTeX XML Cite \textit{N.-T. Nguyen} (ed.) et al., J. Intell. Fuzzy Syst. 32, No. 2, 1157--1160 (2017; Zbl 1366.00066) Full Text: DOI
Buchmann, Johannes Introduction to cryptography. 6th revised edition. (Einführung in die Kryptographie.) (German) Zbl 1336.94002 Springer-Lehrbuch. Heidelberg: Springer Spektrum (ISBN 978-3-642-39774-5/pbk; 978-3-0642-39775-2/ebook). xxvi, 330 p. (2016). MSC: 94-01 94A60 94A62 00A06 11T71 14G50 68P25 11Y05 11Y11 PDF BibTeX XML Cite \textit{J. Buchmann}, Einführung in die Kryptographie. Heidelberg: Springer Spektrum (2016; Zbl 1336.94002) Full Text: DOI
Sarrión-Morillo, Enrique LCC-program transformers through Brzozowski’s equations. (English) Zbl 1409.68075 Bull. Eur. Assoc. Theor. Comput. Sci. EATCS 116, 220-229 (2015). MSC: 68N30 03B42 03B70 PDF BibTeX XML Cite \textit{E. Sarrión-Morillo}, Bull. Eur. Assoc. Theor. Comput. Sci. EATCS 116, 220--229 (2015; Zbl 1409.68075) Full Text: Link
Bellamine, Fethi; Almansoori, A.; Elkamel, A. Modeling of complex dynamic systems using differential neural networks with the incorporation of a priori knowledge. (English) Zbl 1411.93024 Appl. Math. Comput. 266, 515-526 (2015). MSC: 93A30 68T05 93C15 93C20 93C40 93C83 PDF BibTeX XML Cite \textit{F. Bellamine} et al., Appl. Math. Comput. 266, 515--526 (2015; Zbl 1411.93024) Full Text: DOI
Zhu, Yada; He, Jingrui; Lawrence, Richard D. A general framework for predictive tensor modeling with domain knowledge. (English) Zbl 1405.62088 Data Min. Knowl. Discov. 29, No. 6, 1709-1732 (2015). MSC: 62H30 62P30 68T05 68T30 PDF BibTeX XML Cite \textit{Y. Zhu} et al., Data Min. Knowl. Discov. 29, No. 6, 1709--1732 (2015; Zbl 1405.62088) Full Text: DOI
Liu, Jian; Xu, Hongbo; Yi, Mianzhu; Cheng, Xueqi Multi-dimensional semantic ontology construction oriented to knowledge-level application. (Chinese. English summary) Zbl 1349.68246 J. Shandong Univ., Nat. Sci. 50, No. 9, 13-20 (2015). MSC: 68T30 PDF BibTeX XML Cite \textit{J. Liu} et al., J. Shandong Univ., Nat. Sci. 50, No. 9, 13--20 (2015; Zbl 1349.68246) Full Text: DOI
Gañán, David; Caballé, Santi; Conesa, Jordi; Xhafa, Fatos An application framework to systematically develop complex learning resources based on collaborative knowledge engineering. (English) Zbl 1322.91045 Int. J. Appl. Math. Comput. Sci. 25, No. 2, 361-375 (2015). MSC: 91D30 68U35 PDF BibTeX XML Cite \textit{D. Gañán} et al., Int. J. Appl. Math. Comput. Sci. 25, No. 2, 361--375 (2015; Zbl 1322.91045) Full Text: DOI
Sankararaman, Shankar; Mahadevan, Sankaran Bayesian methodology for uncertainty quantification in complex engineering systems. (English) Zbl 1333.62310 Kadry, Seifedine (ed.) et al., Numerical methods for reliability and safety assessment. Multiscale and multiphysics systems. Cham: Springer (ISBN 978-3-319-07166-4/hbk; 978-3-319-07167-1/ebook). 117-146 (2015). MSC: 62P30 62F15 68T35 65C05 PDF BibTeX XML Cite \textit{S. Sankararaman} and \textit{S. Mahadevan}, in: Numerical methods for reliability and safety assessment. Multiscale and multiphysics systems. Cham: Springer. 117--146 (2015; Zbl 1333.62310) Full Text: DOI
Anureev, I. S. Domain-specific transition systems and their application to a formal definition of a model programming language. (English) Zbl 1374.68111 Jt. Bull. NCC IIS, Ser. Comput. Sci. 37, 23-39 (2014). MSC: 68N30 68Q55 68Q85 68T30 PDF BibTeX XML Cite \textit{I. S. Anureev}, Jt. Bull. NCC IIS, Ser. Comput. Sci. 37, 23--39 (2014; Zbl 1374.68111) Full Text: Link
Sampath, Prahladavaradan An elementary theory of product-line variations. (English) Zbl 1342.68099 Formal Asp. Comput. 26, No. 4, 695-727 (2014). MSC: 68N30 68T30 PDF BibTeX XML Cite \textit{P. Sampath}, Formal Asp. Comput. 26, No. 4, 695--727 (2014; Zbl 1342.68099) Full Text: DOI
Cho, Taejun; Kim, Seong-Soo; Kim, Tae-Soo A quadratic hierarchical Bayesian dynamic prediction model for infrastructure maintenance. (English) Zbl 1319.62229 Nonlinear Dyn. 76, No. 1, 609-626 (2014). MSC: 62P20 62F15 62H99 68T35 62P30 90B25 PDF BibTeX XML Cite \textit{T. Cho} et al., Nonlinear Dyn. 76, No. 1, 609--626 (2014; Zbl 1319.62229) Full Text: DOI
Elizarov, A. M.; Kirillovich, A. V.; Lipachev, E. K.; Nevzorova, O. A.; Solovyev, V. D.; Zhiltsov, N. G. Mathematical knowledge representation: semantic models and formalisms. (English) Zbl 1323.68472 Lobachevskii J. Math. 35, No. 4, 348-354 (2014). MSC: 68T30 68P20 PDF BibTeX XML Cite \textit{A. M. Elizarov} et al., Lobachevskii J. Math. 35, No. 4, 348--354 (2014; Zbl 1323.68472) Full Text: DOI
Dang, Han-Hing; Glück, Roland; Möller, Bernhard; Roocks, Patrick; Zelend, Andreas Exploring modal worlds. (English) Zbl 1434.03146 J. Log. Algebr. Methods Program. 83, No. 2, 135-153 (2014). MSC: 03G25 68N30 68P15 68T30 PDF BibTeX XML Cite \textit{H.-H. Dang} et al., J. Log. Algebr. Methods Program. 83, No. 2, 135--153 (2014; Zbl 1434.03146) Full Text: DOI
Straub, Daniel Engineering risk assessment. (English) Zbl 1297.90026 Klüppelberg, Claudia (ed.) et al., Risk. A multidisciplinary introduction. Cham: Springer (ISBN 978-3-319-04485-9/hbk; 978-3-319-04486-6/ebook). 333-362 (2014). MSC: 90B25 60K10 62C10 62P30 68T35 PDF BibTeX XML Cite \textit{D. Straub}, in: Risk. A multidisciplinary introduction. Cham: Springer. 333--362 (2014; Zbl 1297.90026) Full Text: DOI
Letelier, Andrés; Pérez, Jorge; Pichler, Reinhard; Skritek, Sebastian Static analysis and optimization of semantic web queries. (English) Zbl 1321.68129 ACM Trans. Database Syst. 38, No. 4, Article No. 25, 45 p. (2013). MSC: 68N15 68M11 68N30 68P15 68P20 68T30 PDF BibTeX XML Cite \textit{A. Letelier} et al., ACM Trans. Database Syst. 38, No. 4, Article No. 25, 45 p. (2013; Zbl 1321.68129) Full Text: DOI
Losemann, Katja; Martens, Wim The complexity of regular expressions and property paths in SPARQL. (English) Zbl 1321.68130 ACM Trans. Database Syst. 38, No. 4, Article No. 24, 39 p. (2013). MSC: 68N15 68N30 68P15 68P20 68Q25 68Q45 68R10 68T30 PDF BibTeX XML Cite \textit{K. Losemann} and \textit{W. Martens}, ACM Trans. Database Syst. 38, No. 4, Article No. 24, 39 p. (2013; Zbl 1321.68130) Full Text: DOI
Narboni, Guy A. On rule systems whose consistency can be locally maintained. (English) Zbl 1293.68257 AI Commun. 26, No. 1, 67-77 (2013). MSC: 68T27 68T30 68T35 PDF BibTeX XML Cite \textit{G. A. Narboni}, AI Commun. 26, No. 1, 67--77 (2013; Zbl 1293.68257) Full Text: DOI
Bitansky, Nir; Paneth, Omer On the impossibility of approximate obfuscation and applications to resettable cryptography. (English) Zbl 1293.94055 Proceedings of the 45th annual ACM symposium on theory of computing, STOC ’13. Palo Alto, CA, USA, June 1–4, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2029-0). 241-250 (2013). MSC: 94A60 68N30 PDF BibTeX XML Cite \textit{N. Bitansky} and \textit{O. Paneth}, in: Proceedings of the 45th annual ACM symposium on theory of computing, STOC '13. Palo Alto, CA, USA, June 1--4, 2013. New York, NY: Association for Computing Machinery (ACM). 241--250 (2013; Zbl 1293.94055) Full Text: DOI
Dąbrowski, Robert; Timoszuk, Grzegorz; Stencel, Krzysztof One graph to rule them all. Software measurement and management. (English) Zbl 1285.68038 Fundam. Inform. 128, No. 1-2, 47-63 (2013). MSC: 68N30 68R10 68P15 PDF BibTeX XML Cite \textit{R. Dąbrowski} et al., Fundam. Inform. 128, No. 1--2, 47--63 (2013; Zbl 1285.68038) Full Text: DOI
Czaja, Ludwik (ed.) Concurrency, specification and programming. Preface. (English) Zbl 1298.00267 Fundam. Inform. 128, No. 1-2, v (2013). MSC: 00B25 68-06 68N30 68Q60 68Q85 68T30 68T37 PDF BibTeX XML Cite \textit{L. Czaja} (ed.), Fundam. Inform. 128, No. 1--2, v (2013; Zbl 1298.00267) Full Text: DOI
Scott, Damon Well-structured mathematical logic. (English) Zbl 1283.03004 Durham, NC: Carolina Academic Press (ISBN 978-1-61163-368-9/hbk). xix, 269 p. (2013). Reviewer: Siegfried J. Gottwald (Leipzig) MSC: 03-02 03A05 00A35 68T30 03B65 68N30 03B99 PDF BibTeX XML Cite \textit{D. Scott}, Well-structured mathematical logic. Durham, NC: Carolina Academic Press (2013; Zbl 1283.03004)
Pan, Jeff Z. (ed.); Staab, Steffen (ed.); Aßmann, Uwe (ed.); Ebert, Jürgen (ed.); Zhao, Yuting (ed.) Ontology-driven software development. (English) Zbl 06080445 Berlin: Springer (ISBN 978-3-642-31225-0/hbk; 978-3-642-42895-1/pbk; 978-3-642-31226-7/ebook). xviii, 337 p. (2013). MSC: 68-06 68T30 68N30 PDF BibTeX XML Cite \textit{J. Z. Pan} (ed.) et al., Ontology-driven software development. Berlin: Springer (2013; Zbl 06080445) Full Text: DOI
Anureev, I. S. Program specific transition systems. (English) Zbl 1374.68110 Jt. Bull. NCC IIS, Ser. Comput. Sci. 34, 1-21 (2012). MSC: 68N30 68Q55 68Q85 68T30 PDF BibTeX XML Cite \textit{I. S. Anureev}, Jt. Bull. NCC IIS, Ser. Comput. Sci. 34, 1--21 (2012; Zbl 1374.68110) Full Text: Link
Nevzorova, Ol’ga Avenirovna; Zhil’tsov, Nikita Gennad’evich; Zaikin, Danila Aleksandrovna; Zhibrik, Ol’ga Nikolaevna; Kirillovich, Aleksandr Vital’evich; Nevzorov, Vladimir Nikolaevich; Biryal’tsev, Evgeniĭ Vasil’evich A software platform prototype for publishing semantic data from scientific collections in mathematics to the LOD cloud. (Russian. English summary) Zbl 1353.68288 Uch. Zap. Kazan. Univ., Ser. Fiz.-Mat. Nauki 154, No. 3, 216-232 (2012). MSC: 68U35 68P20 68T30 PDF BibTeX XML Cite \textit{O. A. Nevzorova} et al., Uch. Zap. Kazan. Univ., Ser. Fiz.-Mat. Nauki 154, No. 3, 216--232 (2012; Zbl 1353.68288) Full Text: DOI
Hur, Chung-Kil; Dreyer, Derek; Neis, Georg; Vafeiadis, Viktor The marriage of bisimulations and Kripke logical relations. (English) Zbl 1321.68198 Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’12, Philadelphia, PA, USA, January 22–28, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1083-3). 59-72 (2012). MSC: 68N30 03B70 68N15 68N18 68Q85 PDF BibTeX XML Cite \textit{C.-K. Hur} et al., in: Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '12, Philadelphia, PA, USA, January 22--28, 2012. New York, NY: Association for Computing Machinery (ACM). 59--72 (2012; Zbl 1321.68198) Full Text: DOI
Novelli, Viviana; De Vos, Marina; Padget, Julian; D’Ayala, Dina LOG-IDEAH: ASP for architectonic asset preservation. (English) Zbl 1281.68069 Dovier, Agostino (ed.) et al., Technical communications of the 28th international conference on logic programming (ICLP 2012), September 4–8, 2012, Budapest, Hungary. Papers based on the presentations at the conference. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-43-9). LIPIcs – Leibniz International Proceedings in Informatics 17, 393-403, electronic only (2012). MSC: 68N17 68T27 68T30 PDF BibTeX XML Cite \textit{V. Novelli} et al., LIPIcs -- Leibniz Int. Proc. Inform. 17, 393--403 (2012; Zbl 1281.68069) Full Text: DOI
Katanosov, Artem Ontology-driven software engineering: beyond model checking and transformations. (English) Zbl 1250.68091 Int. J. Semant. Comput. 6, No. 2, 205-242 (2012). MSC: 68N30 68T30 68Q60 PDF BibTeX XML Cite \textit{A. Katanosov}, Int. J. Semant. Comput. 6, No. 2, 205--242 (2012; Zbl 1250.68091) Full Text: DOI
Schodl, Peter; Neumaier, Arnold; Kofler, Kevin; Domes, Ferenc; Schichl, Hermann Towards a self-reflective, context-aware semantic representation of mathematical specifications. (English) Zbl 1247.68282 Kallrath, Josef (ed.), Algebraic modeling systems. Modeling and solving real world optimization problems. Berlin: Springer (ISBN 978-3-642-23591-7/hbk; 978-3-642-23592-4/ebook). Applied Optimization 104, 11-32 (2012). MSC: 68T30 68N30 68Q55 PDF BibTeX XML Cite \textit{P. Schodl} et al., Appl. Optim. 104, 11--32 (2012; Zbl 1247.68282) Full Text: DOI
Henderson-Sellers, Brian On the mathematics of modelling, metamodelling, ontologies and modelling languages. (English) Zbl 1254.68007 SpringerBriefs in Computer Science. Berlin: Springer (ISBN 978-3-642-29824-0/pbk; 978-3-642-29825-7/ebook). ix, 106 p. (2012). Reviewer: Christian Posthoff (St. Augustine) MSC: 68-02 68R01 68N30 68T30 PDF BibTeX XML Cite \textit{B. Henderson-Sellers}, On the mathematics of modelling, metamodelling, ontologies and modelling languages. Berlin: Springer (2012; Zbl 1254.68007) Full Text: DOI
Zhao, Jing; Prasanna, Viktor K.; Gomadam, Karthik A semantic-based approach for handling incomplete and inaccurate provenance in reservoir engineering. (English) Zbl 1250.68255 Int. J. Semant. Comput. 5, No. 4, 383-406 (2011). MSC: 68T30 68P20 PDF BibTeX XML Cite \textit{J. Zhao} et al., Int. J. Semant. Comput. 5, No. 4, 383--406 (2011; Zbl 1250.68255) Full Text: DOI
Solé, Marc; Carmona, Josep Light region-based techniques for process discovery. (English) Zbl 1234.68309 Fundam. Inform. 113, No. 3-4, 343-376 (2011). MSC: 68Q85 68T05 PDF BibTeX XML Cite \textit{M. Solé} and \textit{J. Carmona}, Fundam. Inform. 113, No. 3--4, 343--376 (2011; Zbl 1234.68309) Full Text: Link
Tadjouddine, Emmanuel M. Computational complexity of some intelligent computing systems. (English) Zbl 1233.91030 Int. J. Intell. Comput. Cybern. 4, No. 2, 144-159 (2011). MSC: 91A18 91-08 68T42 68Q17 PDF BibTeX XML Cite \textit{E. M. Tadjouddine}, Int. J. Intell. Comput. Cybern. 4, No. 2, 144--159 (2011; Zbl 1233.91030) Full Text: DOI
Martín, J. A.; Pimentel, E. Contracts for security adaptation. (English) Zbl 1213.68615 J. Log. Algebr. Program. 80, No. 3-5, 154-179 (2011). MSC: 68T35 68N30 68Q60 PDF BibTeX XML Cite \textit{J. A. Martín} and \textit{E. Pimentel}, J. Log. Algebr. Program. 80, No. 3--5, 154--179 (2011; Zbl 1213.68615) Full Text: DOI
Bickford, Mark; Constable, Robert; Halpern, Joseph; Petride, Sabina Knowledge-based synthesis of distributed systems using event structures. (English) Zbl 1213.68202 Log. Methods Comput. Sci. 7, No. 2, Paper No. 14, 36 p. (2011). MSC: 68N30 03B42 68Q45 68T15 PDF BibTeX XML Cite \textit{M. Bickford} et al., Log. Methods Comput. Sci. 7, No. 2, Paper No. 14, 36 p. (2011; Zbl 1213.68202) Full Text: DOI
Pace, Gordon (ed.); Schneider, Gerardo (ed.) Special issue: Formal languages and analysis of contract-oriented software (FLACOS 09). Selected papers based on the presentations at the 3rd workshop, Toledo, Spain, September 24–25, 2009. (English) Zbl 1218.68026 J. Log. Algebr. Program. 80, No. 3-5, 137-218 (2011). MSC: 68-06 00B25 68N30 68Q60 68T35 68U35 PDF BibTeX XML Cite \textit{G. Pace} (ed.) and \textit{G. Schneider} (ed.), J. Log. Algebr. Program. 80, No. 3--5, 137--218 (2011; Zbl 1218.68026)
Lemieux, Victoria; Limonad, Lior What ‘good’ looks like: understanding records ontologically in the context of the global financial crisis. (English) Zbl 1231.68110 J. Inf. Sci. 37, No. 1, 29-39 (2011). Reviewer: Haim Kilov (Millington) MSC: 68N30 68T30 00A71 91G99 91B02 PDF BibTeX XML Cite \textit{V. Lemieux} and \textit{L. Limonad}, J. Inf. Sci. 37, No. 1, 29--39 (2011; Zbl 1231.68110) Full Text: DOI
Bach, Irena; Bocewicz, Grzegorz; Banaszak, Zbigniew A.; Muszyński, Wojciech Knowledge based and CP-driven approach applied to multi product small-size production flow. (English) Zbl 1302.90064 Control Cybern. 39, No. 1, 69-95 (2010). MSC: 90B30 90B35 90C27 PDF BibTeX XML Cite \textit{I. Bach} et al., Control Cybern. 39, No. 1, 69--95 (2010; Zbl 1302.90064) Full Text: Link
Polach, Petr; Valenta, Jan; Jirsik, Vaclav Hybrid expert system shell. (English) Zbl 1231.68112 Grigoriu, Mircea (ed.) et al., European computing conference. Proceedings of the 4th European computing conference (ECC’10), Bucarest, Romania, April 20–22, 2010. Athens: World Scientific and Engineering Academy and Society (WSEAS) (ISBN 978-960-474-183-0/CD-ROM; 978-960-474-178-6/hbk). Electrical and Computer Engineering Series. A Series of Reference Books and Textbooks., 148-153 (2010). MSC: 68N30 PDF BibTeX XML Cite \textit{P. Polach} et al., in: European computing conference. Proceedings of the 4th European computing conference (ECC'10), Bucarest, Romania, April 20--22, 2010. Athens: World Scientific and Engineering Academy and Society (WSEAS). 148--153 (2010; Zbl 1231.68112)
Benevides, Alessander Botti; Guizzardi, Giancarlo; Braga, Bernardo Ferreira Bastos; Almeida, Joao Paulo Andrade Validating modal aspects of OntoUML conceptual models using automatically generated visual world structures. (English) Zbl 1216.68280 J. UCS 16, No. 20, 2904-2933 (2010). MSC: 68T30 68N30 PDF BibTeX XML Cite \textit{A. B. Benevides} et al., J. UCS 16, No. 20, 2904--2933 (2010; Zbl 1216.68280) Full Text: Link
Simonyi, András; Szöts, Miklós An ontology segmentation tool. (English) Zbl 1224.68092 Acta Cybern. 19, No. 3, 591-605 (2010). MSC: 68T05 68T30 68U35 PDF BibTeX XML Cite \textit{A. Simonyi} and \textit{M. Szöts}, Acta Cybern. 19, No. 3, 591--605 (2010; Zbl 1224.68092)
Foeken, M. J.; Voskuijl, M. Knowledge-based simulation model generation for control law design applied to a quadrotor UAV. (English) Zbl 1206.93008 Math. Comput. Model. Dyn. Syst. 16, No. 3, 241-256 (2010). MSC: 93A30 93C95 93B51 PDF BibTeX XML Cite \textit{M. J. Foeken} and \textit{M. Voskuijl}, Math. Comput. Model. Dyn. Syst. 16, No. 3, 241--256 (2010; Zbl 1206.93008) Full Text: DOI
Panov, Panče; Džeroski, Sašo; Soldatova, Larisa N. Representing entities in the OntoDM data mining ontology. (English) Zbl 1211.68165 Džeroski, Sašo (ed.) et al., Inductive databases and constraint-based data mining. New York, NY: Springer (ISBN 978-1-4419-7737-3/hbk; 978-1-4419-7738-0/ebook). 27-58 (2010). MSC: 68P15 68T30 68T05 PDF BibTeX XML Cite \textit{P. Panov} et al., in: Inductive databases and constraint-based data mining. New York, NY: Springer. 27--58 (2010; Zbl 1211.68165) Full Text: DOI
Pearson, Siani Addressing complexity in a privacy expert system. (English) Zbl 1202.68417 Hüllermeier, Eyke (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. Applications. 13th international conference, IPMU 2010, Dortmund, Germany, June 28–July 2, 2010. Proceedings. Part II. Berlin: Springer (ISBN 978-3-642-14057-0/pbk; 978-3-642-14058-7/ebook). Communications in Computer and Information Science 81, 612-621 (2010). MSC: 68T35 68T20 PDF BibTeX XML Cite \textit{S. Pearson}, Commun. Comput. Inf. Sci. 81, 612--621 (2010; Zbl 1202.68417) Full Text: DOI
Koulouriotis, D. E.; Xanthopoulos, A. S.; Tourassis, V. D. Simulation optimisation of pull control policies for serial manufacturing lines and assembly manufacturing systems using genetic algorithms. (English) Zbl 1197.90215 Int. J. Prod. Res. 48, No. 10, 2887-2912 (2010). MSC: 90B35 68T05 PDF BibTeX XML Cite \textit{D. E. Koulouriotis} et al., Int. J. Prod. Res. 48, No. 10, 2887--2912 (2010; Zbl 1197.90215) Full Text: DOI
Papadopoulos, Harris (ed.); Andreou, Andreas S. (ed.); Bramer, Max (ed.) Artificial intelligence applications and innovations. 6th IFIP WG 12.5 international conference, AIAI 2010, Larnaca, Cyprus, October 6–7, 2010. Proceedings. (English) Zbl 1202.68319 IFIP Advances in Information and Communication Technology 339. Berlin: Springer (ISBN 978-3-642-16238-1/hbk; 978-3-642-16239-8/ebook). xvi, 404 p. (2010). MSC: 68T05 68-06 68T50 68T20 68U99 68T30 00B25 PDF BibTeX XML Cite \textit{H. Papadopoulos} (ed.) et al., Artificial intelligence applications and innovations. 6th IFIP WG 12.5 international conference, AIAI 2010, Larnaca, Cyprus, October 6--7, 2010. Proceedings. Berlin: Springer (2010; Zbl 1202.68319) Full Text: DOI
Ortiz Bas, Ángel (ed.); Franco, Rubén Dario (ed.); Gómez Gasquet, Pedro (ed.) Balanced automation systems for future manufacturing networks. 9th IFIP WG 5.5 international conference, BASYS 2010, Valencia, Spain, July 21–23, 2010. Proceedings. (English) Zbl 1202.68043 IFIP Advances in Information and Communication Technology 322. Berlin: Springer (ISBN 978-3-642-14340-3/hbk; 978-3-642-14341-0/ebook). xiv, 310 p. (2010). MSC: 68M10 68-06 68U99 68T35 68U20 68M11 00B25 PDF BibTeX XML Cite \textit{Á. Ortiz Bas} (ed.) et al., Balanced automation systems for future manufacturing networks. 9th IFIP WG 5.5 international conference, BASYS 2010, Valencia, Spain, July 21--23, 2010. Proceedings. Berlin: Springer (2010; Zbl 1202.68043) Full Text: DOI
Jaoude, Abdo Abou; El-Tawil, Khaled; Kadry, Seifedine Prediction in complex dimension using Kolmogorov’s set of axioms. (English) Zbl 1205.60007 J. Math. Stat. 6, No. 2, 116-124 (2010). Reviewer: Roman Frič (Košice) MSC: 60A05 62P30 PDF BibTeX XML Cite \textit{A. A. Jaoude} et al., J. Math. Stat. 6, No. 2, 116--124 (2010; Zbl 1205.60007) Full Text: DOI Link
Galton, Antony (ed.); Mizoguchi, Riichiro (ed.) Formal ontology in formation systems. Proceedings of the 6th international conference (FOIS 2010), Toronto, Canada, May 11–14, 2010. (English) Zbl 1198.68188 Frontiers in Artificial Intelligence and Applications 209. Amsterdam: IOS Press (ISBN 978-1-60750-534-1/hbk; 978-1-60750-535-8/ebook). xi, 431 p. (2010). MSC: 68T05 68-06 68U35 00B25 PDF BibTeX XML Cite \textit{A. Galton} (ed.) and \textit{R. Mizoguchi} (ed.), Formal ontology in formation systems. Proceedings of the 6th international conference (FOIS 2010), Toronto, Canada, May 11--14, 2010. Amsterdam: IOS Press (2010; Zbl 1198.68188)
Welzer Družovec, Tatjana (ed.); Jaakola, Hannu (ed.); Kiyoki, Yashushi (ed.); Tokuda, T. (ed.); Yoshida, N. (ed.) Information modelling and knowledge bases XXI. Selected papers based on the presentations at the 19th European-Japanese conference on information modelling and knowledge bases (EJC 2009), Maribor, Slovenia, June 1–5, 2009. (English) Zbl 1214.68389 Frontiers in Artificial Intelligence and Applications 206. Amsterdam: IOS Press (ISBN 978-1-60750-089-6/hbk). xi, 441 p. (2010). MSC: 68T30 68-06 68P15 68P20 PDF BibTeX XML Cite \textit{T. Welzer Družovec} (ed.) et al., Information modelling and knowledge bases XXI. Selected papers based on the presentations at the 19th European-Japanese conference on information modelling and knowledge bases (EJC 2009), Maribor, Slovenia, June 1--5, 2009. Amsterdam: IOS Press (2010; Zbl 1214.68389)
Estruch, Vicent; Ferri, César; Hernández-Orallo, José; Ramírez-Quintana, M. José An integrated distance for atoms. (English) Zbl 1284.03205 Blume, Matthias (ed.) et al., Functional and logic programming. 10th international symposium, FLOPS 2010, Sendai, Japan, April 19–21, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-12250-7/pbk). Lecture Notes in Computer Science 6009, 150-164 (2010). MSC: 03B70 68N30 68T30 PDF BibTeX XML Cite \textit{V. Estruch} et al., Lect. Notes Comput. Sci. 6009, 150--164 (2010; Zbl 1284.03205) Full Text: DOI
El Kharraz, Amal; Valtchev, Petko; Mili, Hafedh Concept analysis as a framework for mining functional features from legacy code. (English) Zbl 1274.68069 Kwuida, Léonard (ed.) et al., Formal concept analysis. 8th international conference, ICFCA 2010, Agadir, Morocco, March 15–18, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-11927-9/pbk). Lecture Notes in Computer Science 5986. Lecture Notes in Artificial Intelligence, 267-282 (2010). MSC: 68N30 68T30 PDF BibTeX XML Cite \textit{A. El Kharraz} et al., Lect. Notes Comput. Sci. 5986, 267--282 (2010; Zbl 1274.68069) Full Text: DOI
Mühle, Henri; Wende, Christian Describing role models in terms of formal concept analysis. (English) Zbl 1274.68080 Kwuida, Léonard (ed.) et al., Formal concept analysis. 8th international conference, ICFCA 2010, Agadir, Morocco, March 15–18, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-11927-9/pbk). Lecture Notes in Computer Science 5986. Lecture Notes in Artificial Intelligence, 241-254 (2010). MSC: 68N30 68T30 PDF BibTeX XML Cite \textit{H. Mühle} and \textit{C. Wende}, Lect. Notes Comput. Sci. 5986, 241--254 (2010; Zbl 1274.68080) Full Text: DOI
Cao, L.; Yu, P. S.; Zhang, Chengqi; Zhao, Y. Domain driven data mining. (English) Zbl 1194.68187 Berlin: Springer (ISBN 978-1-4419-5736-8/hbk; 978-1-4419-5737-5/ebook). xvi, 248 p. (2010). MSC: 68T05 68U35 68-02 PDF BibTeX XML Cite \textit{L. Cao} et al., Domain driven data mining. Berlin: Springer (2010; Zbl 1194.68187) Full Text: DOI
De Virgilio, Roberto (ed.); Giunchiglia, Fausto (ed.); Tanca, Letizia (ed.) Semantic web information management. A model-based perspective. (English) Zbl 1183.68072 Berlin: Springer (ISBN 978-3-642-04328-4/hbk; 978-3-642-04329-1/ebook). xx, 549 p. (2010). MSC: 68M11 68-06 68P15 68T30 68T05 PDF BibTeX XML Cite \textit{R. De Virgilio} (ed.) et al., Semantic web information management. A model-based perspective. Berlin: Springer (2010; Zbl 1183.68072) Full Text: DOI
Bocewicz, Grzegorz; Bach, Irena; Wójcik, Robert Production flow prototyping subject to imprecise activity specification. (English) Zbl 1325.90033 Kybernetes 38, No. 7-8, 1298-1316 (2009). MSC: 90B30 90B36 90B50 PDF BibTeX XML Cite \textit{G. Bocewicz} et al., Kybernetes 38, No. 7--8, 1298--1316 (2009; Zbl 1325.90033) Full Text: DOI
Martín, José Antonio; Pimentel, Ernesto Automatic generation of adaptation contracts. (English) Zbl 1347.68090 Canal, Carlos (ed.) et al., Proceedings of the 7th international workshop on the foundations of coordination languages and software architectures (FOCLASA 2008), Reykjavik, Iceland, July 13, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 229, No. 2, 115-131 (2009). MSC: 68N30 68M14 68Q60 68Q85 68T35 68W32 PDF BibTeX XML Cite \textit{J. A. Martín} and \textit{E. Pimentel}, Electron. Notes Theor. Comput. Sci. 229, No. 2, 115--131 (2009; Zbl 1347.68090) Full Text: DOI
Bocewicz, Grzegorz; Banaszak, Zbigniew; Bach, Irena Multi-robot systems scheduling under certainty constraints. (English) Zbl 1301.90047 Syst. Sci. 35, No. 3, 31-47 (2009). MSC: 90B36 68T40 93C42 PDF BibTeX XML Cite \textit{G. Bocewicz} et al., Syst. Sci. 35, No. 3, 31--47 (2009; Zbl 1301.90047)
Kumar, Sameer; Wellbrock, James Improved new product development through enhanced design architecture for engineer-to-order companies. (English) Zbl 1198.90135 Int. J. Prod. Res. 47, No. 15, 4235-4254 (2009). MSC: 90B30 PDF BibTeX XML Cite \textit{S. Kumar} and \textit{J. Wellbrock}, Int. J. Prod. Res. 47, No. 15, 4235--4254 (2009; Zbl 1198.90135) Full Text: DOI
Alaiz Moretón, Héctor; Calvo Rolle, José Luis; Alfonso, Javier; Alonso Alvarez, Ángel; Ferreiro, Ramón Knowledge based expert system for PID controller tuning under hazardous operating conditions. (English) Zbl 1192.68679 Herrero, Álvaro (ed.) et al., Computational intelligence in security for information systems. CISIS’09, 2nd international workshop, Burgos, Spain, September 23–26, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04090-0/pbk; 978-3-642-04091-7/ebook). Advances in Intelligent and Soft Computing 63, 203-210 (2009). MSC: 68T35 PDF BibTeX XML Cite \textit{H. Alaiz Moretón} et al., Adv. Intell. Soft Comput. 63, 203--210 (2009; Zbl 1192.68679) Full Text: DOI
Cordeiro, José (ed.); Shishkov, Boris (ed.); Ranchordas, AlpeshKumar (ed.); Helfert, Markus (ed.) Software and data technologies. Third international conference, ICSOFT 2008, Porto, Portugal, July 22–24, 2008. Revised selected papers. (English) Zbl 1192.68152 Communications in Computer and Information Science 47. Berlin: Springer (ISBN 978-3-642-05200-2/pbk; 978-3-642-05201-9/ebook). xii, 231 p. (2009). MSC: 68N99 68-06 68N15 68M14 00B25 68U35 68T35 PDF BibTeX XML Cite \textit{J. Cordeiro} (ed.) et al., Software and data technologies. Third international conference, ICSOFT 2008, Porto, Portugal, July 22--24, 2008. Revised selected papers. Berlin: Springer (2009; Zbl 1192.68152) Full Text: DOI
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 PDF BibTeX XML Cite \textit{M. Ali Babar} (ed.) et al., Software architecture knowledge management. Theory and practice. Berlin: Springer (2009; Zbl 1183.68187) Full Text: DOI
Wang, Jiang-ping; Bao, Ze-fu; Meng, Xiang-qin Application of neural network-based expert system in drilling fault diagnosis. (Chinese. English summary) Zbl 1170.68608 J. Comput. Appl. 29, No. 1, 277-280 (2009). MSC: 68T35 68T05 PDF BibTeX XML Cite \textit{J.-p. Wang} et al., J. Comput. Appl. 29, No. 1, 277--280 (2009; Zbl 1170.68608) Full Text: DOI
Wang, Yingxu Toward a formal knowledge system theory and its cognitive informatics foundations. (English) Zbl 1246.68225 Gavrilova, Marina L. (ed.) et al., Transactions on Computational Science V. Special issue on cognitive knowledge representation. Berlin: Springer (ISBN 978-3-642-02096-4/pbk). Lecture Notes in Computer Science 5540. Journal Subline, 1-19 (2009). MSC: 68T30 68T35 PDF BibTeX XML Cite \textit{Y. Wang}, Lect. Notes Comput. Sci. 5540, 1--19 (2009; Zbl 1246.68225) Full Text: DOI
Kiyoki, Yasushi (ed.); Tokuda, Takahiro (ed.); Jaakkola, Hannu (ed.); Chen, Xing (ed.); Yoshida, Naofumi (ed.) Information modelling and knowledge bases XX. Selected papers based on the presentations at the 18th EJC conference, Tsukuba, Japan, June 2–6, 2008. (English) Zbl 1184.68492 Frontiers in Artificial Intelligence and Applications 190. Amsterdam: IOS Press (ISBN 978-1-58603-957-8/hbk). xi, 449 p. (2009). MSC: 68T35 68-06 00B25 68U35 PDF BibTeX XML Cite \textit{Y. Kiyoki} (ed.) et al., Information modelling and knowledge bases XX. Selected papers based on the presentations at the 18th EJC conference, Tsukuba, Japan, June 2--6, 2008. Amsterdam: IOS Press (2009; Zbl 1184.68492) Full Text: Link
Pal’chunov, D. E. Definability of sentences in the language of Boolean algebras with distinguished ideals. (Russian. English summary) Zbl 1249.03078 Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform. 8, No. 2, 91-104 (2008). MSC: 03C98 03C65 06E25 68T30 PDF BibTeX XML Cite \textit{D. E. Pal'chunov}, Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform. 8, No. 2, 91--104 (2008; Zbl 1249.03078)
Li, Jinkun Knowledge work process representation method research. (Chinese. English summary) Zbl 1199.68379 J. Univ. Electron. Sci. Technol. China 37, No. 5, 769-772 (2008). MSC: 68T30 PDF BibTeX XML Cite \textit{J. Li}, J. Univ. Electron. Sci. Technol. China 37, No. 5, 769--772 (2008; Zbl 1199.68379)
Lu, Qiang; Wang, Zhi-guang; Chen, Ming Track methodology model for ontology building. (Chinese. English summary) Zbl 1173.68620 J. Comput. Appl. 28, No. 5, 1183-1185 (2008). MSC: 68T01 68T30 PDF BibTeX XML Cite \textit{Q. Lu} et al., J. Comput. Appl. 28, No. 5, 1183--1185 (2008; Zbl 1173.68620) Full Text: DOI Link
Ekpenyong, Moses E. A real-time IKBS for students results computation. (English) Zbl 1178.90227 Ultra Sci. Phys. Sci. 20, No. 3 (M), 627-632 (2008). MSC: 90B90 PDF BibTeX XML Cite \textit{M. E. Ekpenyong}, Ultra Sci. Phys. Sci. 20, No. 3(M), 627--632 (2008; Zbl 1178.90227)
Guo, Shuhang; Lan Yuqing; Jin, Maozhong; Gao, Jing; Li, Hongjuan A new method of requirements engineering process design. (English) Zbl 1157.68353 Sahni, S. (ed.), Advances in computer science and technology. Proceedings of the 4th IASTED international conference (ACST 2008), Langkawi, Malaysia, April 2–4, 2008. Calgary: International Association of Science and Technology for Development (IASTED); Anaheim, CA: Acta Press (ISBN 978-0-88986-730-7/CD-ROM). 85-90 (2008). MSC: 68N99 PDF BibTeX XML Cite \textit{S. Guo} et al., in: Advances in computer science and technology. Proceedings of the 4th IASTED international conference (ACST 2008), Langkawi, Malaysia, April 2--4, 2008. Calgary: International Association of Science and Technology for Development (IASTED); Anaheim, CA: Acta Press. 85--90 (2008; Zbl 1157.68353)
Janowicz, Krzysztof; Maué, Patrick; Wilkes, Marc; Schade, Sven; Scherer, Franca; Braun, Matthias; Dupke, Sören; Kuhn, Werner Similarity as a quality indicator in ontology engineering. (English) Zbl 1171.68756 Eschenbach, Carola (ed.) et al., Formal ontology in information systems. Proceedings of the fifth international conference (FOIS 2008), Saarbrücken, Germany, October 31 – November 3, 2008. Amsterdam: IOP Press (ISBN 978-1-58603-923-3/hbk). Frontiers in Artificial Intelligence and Applications 183, 92-105 (2008). MSC: 68T35 68T05 68T30 PDF BibTeX XML Cite \textit{K. Janowicz} et al., Front. Artif. Intell. Appl. 183, 92--105 (2008; Zbl 1171.68756)
Uschold, Michael Ontology-driven information systems: past, present and future. (English) Zbl 1171.68835 Eschenbach, Carola (ed.) et al., Formal ontology in information systems. Proceedings of the fifth international conference (FOIS 2008), Saarbrücken, Germany, October 31 – November 3, 2008. Amsterdam: IOP Press (ISBN 978-1-58603-923-3/hbk). Frontiers in Artificial Intelligence and Applications 183, 3-18 (2008). MSC: 68U35 68T35 PDF BibTeX XML Cite \textit{M. Uschold}, Front. Artif. Intell. Appl. 183, 3--18 (2008; Zbl 1171.68835)
Lando, Pascal; Lapujade, Anne; Kassel, Gilles; Fürst, Frédéric An ontological investigation in the field of computer programs. (English) Zbl 1162.68389 Filipe, Joaquim (ed.) et al., Software and data technologies. Second international conference, ICSOFT/ENASE 2007, Barcelona, Spain, July 22–25, 2007. Revised selected papers. Berlin: Springer (ISBN 978-3-540-88654-9/pbk). Communications in Computer and Information Science 22, 371-383 (2008). MSC: 68N01 68T05 PDF BibTeX XML Cite \textit{P. Lando} et al., Commun. Comput. Inf. Sci. 22, 371--383 (2008; Zbl 1162.68389) Full Text: DOI
Wang, Yingxu On contemporary denotational mathematics for computational intelligence. (English) Zbl 1154.68458 Gavrilova, Marina L. (ed.) et al., Transactions on Computational Science II. Berlin: Springer (ISBN 978-3-540-87562-8/pbk). Lecture Notes in Computer Science 5150. Journal Subline, 6-29 (2008). MSC: 68T01 PDF BibTeX XML Cite \textit{Y. Wang}, Lect. Notes Comput. Sci. 5150, 6--29 (2008; Zbl 1154.68458) Full Text: DOI
Wang, Yingxu; Yao, Yiyu; Wang, Guoyin Perspectives on denotational mathematics: New means of thought. (English) Zbl 1154.68459 Gavrilova, Marina L. (ed.) et al., Transactions on Computational Science II. Berlin: Springer (ISBN 978-3-540-87562-8/pbk). Lecture Notes in Computer Science 5150. Journal Subline, 1-5 (2008). MSC: 68T01 PDF BibTeX XML Cite \textit{Y. Wang} et al., Lect. Notes Comput. Sci. 5150, 1--5 (2008; Zbl 1154.68459) Full Text: DOI
Lu, Ruqian; Jin, Zhi From knowledge based software engineering to knowware based software engineering. (English) Zbl 1154.68367 Sci. China, Ser. F. 51, No. 6, 638-660 (2008). MSC: 68N99 68N01 PDF BibTeX XML Cite \textit{R. Lu} and \textit{Z. Jin}, Sci. China, Ser. F 51, No. 6, 638--660 (2008; Zbl 1154.68367) Full Text: DOI
Lavrishcheva, E. M. Software engineering as a scientific and engineering discipline. (English. Russian original) Zbl 1181.68103 Cybern. Syst. Anal. 44, No. 3, 324-332 (2008); translation from Kibern. Sist. Anal. 2008, No. 3, 19-28 (2008). MSC: 68N99 PDF BibTeX XML Cite \textit{E. M. Lavrishcheva}, Cybern. Syst. Anal. 44, No. 3, 324--332 (2008; Zbl 1181.68103); translation from Kibern. Sist. Anal. 2008, No. 3, 19--28 (2008) Full Text: DOI
Nalepa, Grzegorz J. Methodologies and technologies for rule-based systems design and implementation. Towards hybrid knowledge engineering. (English) Zbl 1161.68801 Cotta, Carlos C. (ed.) et al., Knowledge-driven computing. Knowledge engineering and intelligent computations. Berlin: Springer (ISBN 978-3-540-77474-7/hbk). Studies in Computational Intelligence 102, 183-198 (2008). MSC: 68T35 68T30 PDF BibTeX XML Cite \textit{G. J. Nalepa}, Stud. Comput. Intell. 102, 183--198 (2008; Zbl 1161.68801)
Mendikoa, I.; Sorli, M.; Barbero, J. I.; Carrillo, A.; Gorostiza, A. Collaborative product design and manufacturing with inventive approaches. (English) Zbl 1160.90424 Int. J. Prod. Res. 46, No. 9, 2333-2344 (2008). MSC: 90B30 PDF BibTeX XML Cite \textit{I. Mendikoa} et al., Int. J. Prod. Res. 46, No. 9, 2333--2344 (2008; Zbl 1160.90424) Full Text: DOI
Zeng, Xianyi; Ruan, Da; Koehl, Ludovic Intelligent sensory evaluation: Concepts, implementations, and applications. (English) Zbl 1137.62418 Math. Comput. Simul. 77, No. 5-6, 443-452 (2008). MSC: 62P30 68T35 62H30 PDF BibTeX XML Cite \textit{X. Zeng} et al., Math. Comput. Simul. 77, No. 5--6, 443--452 (2008; Zbl 1137.62418) Full Text: DOI
Bocewicz, Grzegorz; Bach, Irena; Banaszak, Zbigniew Fuzziness and constraints programming for AGVs system control. (English) Zbl 1179.93021 Syst. Sci. 33, No. 1, 27-38 (2007). MSC: 93A13 93C85 93C41 93C42 PDF BibTeX XML Cite \textit{G. Bocewicz} et al., Syst. Sci. 33, No. 1, 27--38 (2007; Zbl 1179.93021)
Håkansson, Anne; Hartung, Ronald Using reengineering for knowledge-based systems. (English) Zbl 1179.68159 Cybern. Syst. 38, No. 8, 799-824 (2007). MSC: 68T35 68T30 PDF BibTeX XML Cite \textit{A. Håkansson} and \textit{R. Hartung}, Cybern. Syst. 38, No. 8, 799--824 (2007; Zbl 1179.68159) Full Text: DOI
Eir, Asger Relating domain concepts intensionally by ordering connections. (English) Zbl 1151.68662 Jones, Cliff B. (ed.) et al., Formal methods and hybrid real-time systems. Essays in honour of Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays. Berlin: Springer (ISBN 978-3-540-75220-2/pbk). Lecture Notes in Computer Science 4700, 188-216 (2007). MSC: 68T30 68Q60 90B99 PDF BibTeX XML Cite \textit{A. Eir}, Lect. Notes Comput. Sci. 4700, 188--216 (2007; Zbl 1151.68662) Full Text: DOI
De Leenheer, Pieter; de Moor, Aldo; Meersman, Robert Context dependency management in ontology engineering: A formal approach. (English) Zbl 1126.68595 Spaccapietra, S. (ed.) et al., Journal on Data Semantics VIII. Berlin: Springer (ISBN 978-3-540-70663-2/pbk). Lecture Notes in Computer Science 4380. Journal Subline, 26-56 (2007). MSC: 68T30 PDF BibTeX XML Cite \textit{P. De Leenheer} et al., Lect. Notes Comput. Sci. 4380, 26--56 (2007; Zbl 1126.68595) Full Text: DOI
Duží, M. (ed.); Jaakkola, H. (ed.); Kiyoki, Y. (ed.); Kangassalo, H. (ed.) Information modelling and knowledge bases XVIII. 16th European-Japanese conference on information modelling and knowledge bases (EJC 2006), Trojanovice, Czech Republic, May 29 – June 2, 2006. (English) Zbl 1113.68105 Frontiers in Artificial Intelligence and Applications 154. Amsterdam: IOS Press (ISBN 978-1-58603-710-9/hbk). x, 321 p. (2007). MSC: 68T35 68-06 68P15 68P20 68T30 PDF BibTeX XML Cite \textit{M. Duží} (ed.) et al., Information modelling and knowledge bases XVIII. 16th European-Japanese conference on information modelling and knowledge bases (EJC 2006), Trojanovice, Czech Republic, May 29 -- June 2, 2006. Amsterdam: IOS Press (2007; Zbl 1113.68105)
Vasantha Kandasamy, W. B.; Smarandache, Florentin; Ilanthenral, K. Elementary fuzzy matrix theory and fuzzy models for social scientists. (English) Zbl 1129.15001 Los Angeles, CA: Automaton (ISBN 978-1-59973-005-9/pbk). 351 p. (2007). Reviewer: Józef Drewniak (Rzeszów) MSC: 15-01 00A06 68T30 08A72 05C50 91C05 PDF BibTeX XML Cite \textit{W. B. Vasantha Kandasamy} et al., Elementary fuzzy matrix theory and fuzzy models for social scientists. Los Angeles, CA: Automaton (2007; Zbl 1129.15001) Full Text: arXiv
Hoffmann, Tim; Schmies, Markus jReality, jtem, and Oorange – a way to do math with computers. (English) Zbl 1283.68407 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, 74-85 (2006). MSC: 68W30 68N30 68T30 PDF BibTeX XML Cite \textit{T. Hoffmann} and \textit{M. Schmies}, Lect. Notes Comput. Sci. 4151, 74--85 (2006; Zbl 1283.68407) Full Text: DOI
Ünlü, Fevzi A remote programming technology on a remote VDM clustering in \(\lambda\)-calculus. (English) Zbl 1146.68354 Int. Math. Forum 1, No. 13-16, 671-685 (2006). MSC: 68N30 68N18 PDF BibTeX XML Cite \textit{F. Ünlü}, Int. Math. Forum 1, No. 13--16, 671--685 (2006; Zbl 1146.68354)
Nishino, Tatsuo; Nagamachi, Mitsuo; Tanaka, Hideo Variable precision Bayesian rough set model and its application to Kansei engineering. (English) Zbl 1136.68498 Peters, James F. (ed.) et al., Transactions on Rough Sets V. Berlin: Springer (ISBN 978-3-540-39382-5/pbk). Lecture Notes in Computer Science 4100. Journal Subline, 190-206 (2006). MSC: 68T05 68T30 68T37 PDF BibTeX XML Cite \textit{T. Nishino} et al., Lect. Notes Comput. Sci. 4100, 190--206 (2006; Zbl 1136.68498) Full Text: DOI
Kingston, Greer B.; Maier, Holger R.; Lambert, Martin F. A probabilistic method for assisting knowledge extraction from artificial neural networks used for hydrological prediction. (English) Zbl 1134.68518 Math. Comput. Modelling 44, No. 5-6, 499-512 (2006). MSC: 68T35 62P30 62P12 68T05 68U20 PDF BibTeX XML Cite \textit{G. B. Kingston} et al., Math. Comput. Modelling 44, No. 5--6, 499--512 (2006; Zbl 1134.68518) Full Text: DOI
Gibbs, M. S.; Morgan, N.; Maier, H. R.; Dandy, G. C.; Nixon, J. B.; Holmes, M. Investigation into the relationship between chlorine decay and water distribution parameters using data driven methods. (English) Zbl 1132.68762 Math. Comput. Modelling 44, No. 5-6, 485-498 (2006). MSC: 68T35 62P12 62P30 PDF BibTeX XML Cite \textit{M. S. Gibbs} et al., Math. Comput. Modelling 44, No. 5--6, 485--498 (2006; Zbl 1132.68762) Full Text: DOI