Zobrazeno 1 - 10
of 65
pro vyhledávání: '"Rule based languages"'
Publikováno v:
Annals of Mathematics and Artificial Intelligence
Generalization, also called anti-unification, is the dual of unification. A generalizer of two terms t and $t^{\prime }$ is a term $t^{\prime \prime }$ of which t and $t^{\prime }$ are substitution instances. The dual of most general equational unifi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::651acc9cdc53e4717040f28535c4e425
https://doi.org/10.1007/s10472-021-09771-1
https://doi.org/10.1007/s10472-021-09771-1
Autor:
Patrick Doherty, Andrzej Szałas
Reasoning about uncertainty is one of the main cornerstones of Knowledge Representation. More recently, combining logic with probability has been of major interest. Rough set methods have been proposed for modeling incompleteness and imprecision base
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e8d7e3d2bbf2dc1c619311a98a28fdfe
http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-186842
http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-186842
Autor:
Ulliana, Federico
Publikováno v:
Computer Science [cs]. Montpellier University, 2021
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::90385bc88c20cb864eba98c63ee85701
https://hal-lirmm.ccsd.cnrs.fr/tel-03514093/file/hdr_HAL.pdf
https://hal-lirmm.ccsd.cnrs.fr/tel-03514093/file/hdr_HAL.pdf
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
IEEE/ACM Transactions on Computational Biology and Bioinformatics
The integration of genomic metadata is, at the same time, an important, difficult, and well-recognized challenge. It is important because a wealth of public data repositories is available to drive biological and clinical research; combining informati
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d41ef826445d9fdf9195a52b6a2bada3
https://pubmed.ncbi.nlm.nih.gov/32750853
https://pubmed.ncbi.nlm.nih.gov/32750853
Autor:
Kasalica, Vedran, Knorr, Matthias, Leite, João, Lopes, Carlos, Sub Softw.Techn. for Learning and Teach.
Publikováno v:
Künstliche Intelligenz, 1. Springer
STARTPAGE=1;ISSN=0933-1875;TITLE=Künstliche Intelligenz
STARTPAGE=1;ISSN=0933-1875;TITLE=Künstliche Intelligenz
Description logic ontologies, such as ontologies written in OWL, and non-monotonic rules, as known in Logic Programming, are two major approaches in Knowledge Representation and Reasoning. Even though their integration is challenging due to their inh
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=narcis______::10ad61c9ffc0604acbc212b0fa3400c3
https://dspace.library.uu.nl/handle/1874/395156
https://dspace.library.uu.nl/handle/1874/395156
Publikováno v:
Künstliche Intelligenz. :1
Description logic ontologies, such as ontologies written in OWL, and non-monotonic rules, as known in Logic Programming, are two major approaches in Knowledge Representation and Reasoning. Even though their integration is challenging due to their inh
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dris___00893::d86f9738abc27901bb312ecf4f8b856f
https://doi.org/10.1007/s13218-020-00650-1
https://doi.org/10.1007/s13218-020-00650-1
Publikováno v:
Gottlob, G, Pieris, A & Simkus, M 2018, ' The Impact of Active Domain Predicates on Guarded Existential Rules ', Fundamenta Informaticae, vol. 159, no. 1-2, pp. 123-146 . https://doi.org/10.3233/FI-2018-1660
It is realistic to assume that a database management system provides access to the active domain via built-in relations. Therefore, databases that include designated predicates that hold the active domain, which we call product databases, form a natu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::01755f2b2cf383dfef8781481a328465
http://ora.ox.ac.uk/objects/uuid:
http://ora.ox.ac.uk/objects/uuid:
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.