Zobrazeno 1 - 10
of 128
pro vyhledávání: '"Michael Kifer"'
Publikováno v:
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings.
Knowledge representation and reasoning (KRR) systems represent knowledge as collections of facts and rules. Like databases, KRR systems contain information about domains of human activities like industrial enterprises, science, and business. KRRs can
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::61b8956c8ce6c927654d0ba80bfe4c1f
Autor:
Michael Kifer, Dumitru Roman
Publikováno v:
Semantic Web. 9:257-290
The inherent difficulty of knowledge specification and the lack of trained specialists are some of the key obstacles on the way to making intelligent systems based on the knowledge representation and reasoning (KRR) paradigm commonplace. Knowledge an
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5757d87d22473b89cd814b08a296120b
http://arxiv.org/abs/1907.08176
http://arxiv.org/abs/1907.08176
Publikováno v:
The Journal of Object Technology. 19:3:1
Publikováno v:
Declarative Logic Programming
This chapter is a survey of the history and the main concepts of Datalog.We begin with an introduction to the language and its use for database definition and querying. We then look back at the threads from logic languages, databases, artificial inte
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5c98df5c79c93e1c581234d15b836fbc
https://doi.org/10.1145/3191315.3191317
https://doi.org/10.1145/3191315.3191317
Autor:
Michael Kifer, Yanhong A. Liu
The idea of this book grew out of a symposium that was held at Stony Brook in September 2012 in celebration of David S. Warren's fundamental contributions to Computer Science and the area of Logic Programming in particular. Logic Programming (LP) is
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2caee3558b2adf3ddf3f2bb35f9226d0
https://doi.org/10.1145/3191315.3191316
https://doi.org/10.1145/3191315.3191316
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030026707
OTM Conferences (2)
OTM Conferences (2)
Modern knowledge bases have matured to the extent of being capable of complex reasoning at scale. Unfortunately, wide deployment of this technology is still hindered by the fact that specifying the requisite knowledge requires skills that most domain
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1262ab33cafb305f9ae6df2258fe7634
https://doi.org/10.1007/978-3-030-02671-4_28
https://doi.org/10.1007/978-3-030-02671-4_28
Autor:
Michael Kifer, Yanhong Annie Liu
The idea of this book grew out of a symposium that was held at Stony Brook in September 2012 in celebration of David S.Warren's fundamental contributions to Computer Science and the area of Logic Programming in particular. Logic Programming (LP) is a
Publikováno v:
Semantic Web. 6:81-98
Defeasible reasoning has been studied extensively in the last two decades and many different and dissimilar approaches are currently on the table. This multitude of ideas has made the field hard to navigate and the different techniques hard to compar