Zobrazeno 1 - 10
of 557
pro vyhledávání: '"RuleML"'
Publikováno v:
Paladyn, Vol 11, Iss 1, Pp 414-427 (2020)
Wearable robots are devices intended to improve the quality of users’ life by augmenting, assisting, or substituting human functions. Exoskeletons are one of the most widespread types of wearable robots, currently used extensively in medical applic
Externí odkaz:
https://doaj.org/article/8209d4052ab04adfbe70f8b305215215
Shifting legacy data held in stand-alone systems to be used in Web application systems can be expensive and time consuming. RuleML can be used to represent RDBMS data by storing database metadata in an external format for some design tools. Just as X
Externí odkaz:
http://hdl.handle.net/10454/10201
Autor:
Hans Weigand, Joost T. de Kruijff
Publikováno v:
APPLIED ONTOLOGY, 16(4), 395-420. IOS Press
Smart Contracts enable the automated execution of exchanges on the blockchain. From an ontological perspective, smart contracts create and automate the fulfillment of social commitments between actors. Whereas traditional deontic logic is used to mak
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7b9520736aad3731ab32f2d4da7b2ab6
https://doi.org/10.3233/AO-210253
https://doi.org/10.3233/AO-210253
Publikováno v:
Journal of Educational Technology & Society, 2012 Jan 01. 15(1), 298-312.
Externí odkaz:
https://www.jstor.org/stable/jeductechsoci.15.1.298
Publikováno v:
Interactive Technology and Smart Education, 2005, Vol. 2, Issue 3, pp. 179-188.
Externí odkaz:
http://www.emeraldinsight.com/doi/10.1108/17415650580000043
Autor:
Boley, Harold, Bhavsar, Virendrakumar C., Hirtle, David, Singh, Anurag, Sun, Zhongwei, Yang, Lu
Publikováno v:
Interactive Technology and Smart Education, 2005, Vol. 2, Issue 3, pp. 171-178.
Externí odkaz:
http://www.emeraldinsight.com/doi/10.1108/17415650580000042
Autor:
Grosof, Benjamin N., Poon, Terrence C.
Publikováno v:
International Journal of Electronic Commerce, 2004 Jul 01. 8(4), 61-97.
Externí odkaz:
https://www.jstor.org/stable/27751119
Publikováno v:
Theory and Practice of Logic Programming. 21:1-3
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b9effd4d742557993c4a605c10093846
https://doi.org/10.1017/s1471068420000113
https://doi.org/10.1017/s1471068420000113
Publikováno v:
ACM SIGLOG News. 7:16-18
The annual International Joint Conference on Rules and Reasoning (RuleML+RR) is an international conference on research, applications, languages and standards for rule technologies, rule-based programming and rule-based systems including production r
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a0277d53e3b8d05d040d4519dcf172d2
https://doi.org/10.1145/3397619.3397623
https://doi.org/10.1145/3397619.3397623
Publikováno v:
Rules and Reasoning ISBN: 9783030579760
RuleML+RR
RuleML+RR
The paper presents BiMetaTrans(Prolog, RuleML), an invertible bidirectional metalogical translator across subsets of ISO Prolog and RuleML/XML 1.02 on the level of Negation-as-failure Horn logic with Equality. BiMetaTrans, itself written in Prolog, i
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0b17205145aed02aa4400b38fab9a783
https://doi.org/10.1007/978-3-030-57977-7_8
https://doi.org/10.1007/978-3-030-57977-7_8