المؤلفون: Gower, Alexander, 1993

مصطلحات موضوعية: Machine learning, first-order logic, knowledge modelling, ontologies, abduction, metabolic modelling, systems biology, automated theorem provers

وصف الملف: electronic

URL الوصول: https://research.chalmers.se/publication/541259
https://research.chalmers.se/publication/541259/file/541259_Fulltext.pdf

المؤلفون: Cao, Feng, Xu, Yang, Chen, ShuWei, Ning, XinRan, Wu, GuanFeng

المصدر: 2019 IEEE 14th International Conference on Intelligent Systems and Knowledge Engineering (ISKE) Intelligent Systems and Knowledge Engineering (ISKE), 2019 IEEE 14th International Conference on. :69-73 Nov, 2019

Relation: 2019 IEEE 14th International Conference on Intelligent Systems and Knowledge Engineering (ISKE)

المؤلفون: Jakubův, Jan^Aff9, Kaliszyk, Cezary^Aff10

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Yung, Moti, Editorial Board Member^Aff6, Dubois, Catherine, editor^Aff7, Kerber, Manfred, editor^Aff8

المصدر: Intelligent Computer Mathematics : 16th International Conference, CICM 2023, Cambridge, UK, , September 5–8, 2023 Proceedings. 14101:303-308

المؤلفون: Kiiskinen, Sampsa^Aff4

المساهمون: Oñate, Eugenio, Series Editor^Aff1, Neittaanmäki, Pekka, editor^Aff2, Rantalainen, Marja-Leena, editor^Aff3

المصدر: Impact of Scientific Computing on Science and Society. 58:45-73

المؤلفون: Aréchiga, N., Kapinski, J., Deshmukh, J.V., Platzer, A., Krogh, B.

المصدر: 2015 International Conference on Embedded Software (EMSOFT) Embedded Software (EMSOFT), 2015 International Conference on. :227-236 Oct, 2015

Relation: 2015 International Conference on Embedded Software (EMSOFT)

المؤلفون: Tarau, Paul^Aff9

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Woeginger, Gerhard, Editorial Board Member^Aff6, Yung, Moti, Editorial Board Member^Aff7, Fernández, Maribel, editor^Aff8

المصدر: Logic-Based Program Synthesis and Transformation : 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020, Proceedings. 12561:329-344

المؤلفون: Rajagopalan, Arun Krishnakumar

المصدر: 2016 IEEE/ACM 38th International Conference on Software Engineering Companion (ICSE-C) ICSE-C Software Engineering Companion (ICSE-C), IEEE/ACM International Conference on. :677-679 May, 2016

Relation: 2016 IEEE/ACM 38th International Conference on Software Engineering Companion (ICSE-C)

المؤلفون: Vukmirović, Petar^{Aff1, IDs10009021006397_cor1}, Blanchette, Jasmin^{Aff1, Aff2, Aff3}, Cruanes, Simon, Schulz, Stephan

المصدر: International Journal on Software Tools for Technology Transfer. 24(1):67-87

المؤلفون: O’Regan, Gerard^Aff4

المساهمون: Gries, David, Series Editor^Aff1, Hazzan, Orit, Series Editor^Aff2, O'Regan, Gerard^Aff3

المصدر: Guide to Discrete Mathematics : An Accessible Introduction to the History, Theory, Logic and Applications. :269-285

المؤلفون: Koutsoukou-Argyraki, Angeliki^Aff12

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Woeginger, Gerhard, Editorial Board Member^Aff6, Yung, Moti, Editorial Board Member^Aff7, De Mol, Liesbeth, editor^Aff8, Weiermann, Andreas, editor^Aff9, Manea, Florin, editor^Aff10, Fernández-Duque, David, editor^Aff11

المصدر: Connecting with Computability : 17th Conference on Computability in Europe, CiE 2021, Virtual Event, Ghent, July 5–9, 2021, Proceedings. 12813:285-296