المؤلفون: RAFAEL KIESEL, PIETRO TOTIS, ANGELIKA KIMMIG

المصدر: Theory and Practice of Logic Programming. 22:505-522

مصطلحات موضوعية: FOS: Computer and information sciences, Technology, Computer Science - Logic in Computer Science, Science & Technology, Logic, Computer Science - Artificial Intelligence, design, Computer Science, Software Engineering, Logic in Computer Science (cs.LO), Theoretical Computer Science, Artificial Intelligence (cs.AI), analysis and implementation of languages, Computational Theory and Mathematics, Computer Science, Theory & Methods, Artificial Intelligence, Hardware and Architecture, Computer Science, Science & Technology - Other Topics, logic programming methodology and applications, INFERENCE, Software

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8530985b855b696afa6043bf5fbb0eab
https://doi.org/10.1017/s147106842200014x

المؤلفون: Rafael Kiesel, André Schidler

المصدر: 2023 Proceedings of the Symposium on Algorithm Engineering and Experiments (ALENEX) ISBN: 9781611977561

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::48c9e3c6ef3ce1a43981464fd6aec684
https://doi.org/10.1137/1.9781611977561.ch4

المؤلفون: Thomas Eiter, Rafael Kiesel

المصدر: Proceedings of the AAAI Conference on Artificial Intelligence. 35:6304-6311

مصطلحات موضوعية: General Medicine

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::a8aa3ef59c6cd5fc51737ffce23776a0
https://doi.org/10.1609/aaai.v35i7.16783

المؤلفون: Markus Hecher, Rafael Kiesel, Thomas Eiter

المصدر: KR

مصطلحات موضوعية: Set (abstract data type), Discrete mathematics, Treewidth, Computer science, Algebraic number

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::47e3d42daeef58ffb49a76b3dbb280fc
https://doi.org/10.24963/kr.2021/26

المؤلفون: Rafael Kiesel

مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Theoretical computer science, Computer Science - Artificial Intelligence, Computer science, 010102 general mathematics, 0102 computer and information sciences, Extension (predicate logic), Computational Complexity (cs.CC), 01 natural sciences, Domain (software engineering), Logic in Computer Science (cs.LO), Computer Science - Computational Complexity, Answer set programming, Artificial Intelligence (cs.AI), 010201 computation theory & mathematics, 0101 mathematics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::259df30d6af39b08aeea6f889f9c4533

المؤلفون: David M. Cerna, Rafael Kiesel, Alexandra Dzhiganskaya

مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer science, Process (engineering), business.industry, Programming language, Interface (Java), Extension (predicate logic), Mathematical proof, computer.software_genre, Expression (mathematics), Logic in Computer Science (cs.LO), K.3.2, Set (abstract data type), Software, Android (operating system), business, computer

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cd5e963f49a764c0c620b3bd53157fa4

المؤلفون: Rafael Kiesel, Thomas Eiter

مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Theoretical computer science, Computer science, Semantics (computer science), Computer Science - Artificial Intelligence, Symbolic computation, Theoretical Computer Science, Undecidable problem, Datalog, Semiring, Logic in Computer Science (cs.LO), Answer set programming, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Artificial Intelligence (cs.AI), Computational Theory and Mathematics, Artificial Intelligence, Hardware and Architecture, ComputingMethodologies_DOCUMENTANDTEXTPROCESSING, Algebraic number, computer, Software, Logic programming, computer.programming_language

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::10f1d540c66924f5df5b9d2a56c5fb91

المؤلفون: Milan Jelisavcic, Kyrre Glette, Agoston E. Eiben, Rafael Kiesel, Evert Haasdijk

المساهمون: Artificial intelligence, Computational Intelligence, Network Institute

المصدر: Proceedings of the European Conference on Artificial Life 2017, ECAL 2017, 14, 214-221
ECAL
Jelisavcic, M, Kiesel, R, Glette, K, Haasdijk, E & Eiben, A E 2017, Analysis of Lamarckian Evolution in Morphologically Evolving Robots . in Proceedings of the European Conference on Artificial Life 2017, ECAL 2017 . vol. 14, MIT Press, pp. 214-221, ECAL, Lyon, France, 4/09/17 . https://doi.org/10.7551/ecal_a_038

مصطلحات موضوعية: Scheme (programming language), 0209 industrial biotechnology, Evolutionary robotics, 02 engineering and technology, Biology, Machine learning, computer.software_genre, 020901 industrial engineering & automation, Gait (human), Control theory, Artificial life, Encoding (memory), 0202 electrical engineering, electronic engineering, information engineering, Adaptation (computer science), computer.programming_language, business.industry, Online algorithms, Indirect encoding, Robot, 020201 artificial intelligence & image processing, Artificial intelligence, business, computer

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c04cb82cdab757c61b5604b0d2d691d3
https://research.vu.nl/en/publications/c73d2657-8132-4f01-8ec4-fb6f4c08da5c

المؤلفون: Rafael Kiesel, Agoston E. Eiben, Kyrre Glette, Milan Jelisavcic, Evert Haasdijk

المصدر: GECCO (Companion)

مصطلحات موضوعية: 0301 basic medicine, Self-reconfiguring modular robot, Scheme (programming language), business.industry, Computer science, Evolutionary robotics, 02 engineering and technology, Machine learning, computer.software_genre, 03 medical and health sciences, 030104 developmental biology, Gait (human), Control theory, 0202 electrical engineering, electronic engineering, information engineering, Robot, 020201 artificial intelligence & image processing, Artificial intelligence, business, computer, computer.programming_language

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::0b2d4203539aa077a363690d25ae0969
https://doi.org/10.1145/3067695.3076046

المؤلفون: Rafael Kiesel, Erman Acar, Stefan Schlobach

المساهمون: Ortiz, Magdalena, Schneider, Thomas

المصدر: Vrije Universiteit Amsterdam
Kiesel, R, Acar, E & Schlobach, S 2018, Preferential default reasoning on the semantic web . in M Ortiz & T Schneider (eds), Description Logics DL 2018 : Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018) Tempe, Arizona, US, October 27thto 29th, 2018 . CEUR Workshop Proceedings, vol. 2211, pp. 1-12, 31st International Workshop on Description Logics, DL 2018, Tempe, United States, 27/10/18 . < http://ceur-ws.org/Vol-2211/paper-20.pdf >

مصطلحات موضوعية: LOD Laundromat, Default Reasoning, Inconsistency

URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::ee255b9f88c1ada52e623fafccbf2b66
https://research.vu.nl/en/publications/ab495dce-03a2-4b03-837c-00dead182219