المؤلفون: Hengst, Bernhard, Pagnucco, Maurice, Rajaratnam, David, Sammut, Claude, Thielscher, Michael

مصطلحات موضوعية: Computer Science - Artificial Intelligence, Computer Science - Robotics

الوصول الحر: http://arxiv.org/abs/2310.12386Test

المؤلفون: Cunanan, Michael, Thielscher, Michael

مصطلحات موضوعية: Computer Science - Artificial Intelligence, I.2.8

الوصول الحر: http://arxiv.org/abs/2305.09111Test

المؤلفون: Baader, Franz, Drescher, Conrad, Liu, Hongkai, Guhlemann, Steffen, Petersohn, Uwe, Steinke, Peter, Thielscher, Michael

مصطلحات موضوعية: Boolean ABox, description logic, structural characterization, Boolean ABox, Beschreibungslogik, strukturelle Charakterisierung, info:eu-repo/classification/ddc/004, ddc:004

العلاقة: urn:nbn:de:bsz:14-qucosa2-785040; qucosa:78504

الإتاحة: https://tud.qucosa.de/id/qucosa%3A79511Test
https://tud.qucosa.de/api/qucosa%3A79511/attachment/ATT-0Test/

المؤلفون: Hengst, Bernhard, Pagnucco, Maurice, Rajaratnam, David, Sammut, Claude, Thielscher, Michael

مصطلحات موضوعية: Computer Science - Artificial Intelligence, Computer Science - Robotics

الوصول الحر: http://arxiv.org/abs/1801.02270Test

المؤلفون: Drescher, Conrad, Thielscher, Michael

المصدر: Theory and Practice of Logic Programming, 11(4-5), 451-468, 2011

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Artificial Intelligence

الوصول الحر: http://arxiv.org/abs/1107.5242Test

المؤلفون: Thielscher, Michael

مصطلحات موضوعية: Computer Science - Artificial Intelligence

الوصول الحر: http://arxiv.org/abs/cs/0408044Test

المؤلفون: Zhang, Dongmo, Thielscher, Michael

المصدر: Journal of Philosophical Logic, 2015 Apr 01. 44(2), 203-236.

الوصول الحر: http://www.jstor.org/stable/24564012Test

المؤلفون: Partridge, Zachary, Thielscher, Michael

المصدر: Lecture Notes in Computer Science ; PRICAI 2022: Trends in Artificial Intelligence ; page 161-172 ; ISSN 0302-9743 1611-3349 ; ISBN 9783031208676 9783031208683

الإتاحة: https://doi.org/10.1007/978-3-031-20868-3_12Test

المؤلفون: McEwan, Cameron, Thielscher, Michael

المصدر: Lecture Notes in Computer Science ; AI 2021: Advances in Artificial Intelligence ; page 53-66 ; ISSN 0302-9743 1611-3349 ; ISBN 9783030975456 9783030975463

الإتاحة: https://doi.org/10.1007/978-3-030-97546-3_5Test

المؤلفون: Ruan, Ji, Thielscher, Michael

المصدر: Studia Logica: An International Journal for Symbolic Logic, 2014 Apr 01. 102(2), 321-338.

الوصول الحر: https://www.jstor.org/stable/43651944Test