Zobrazeno 1 - 10 of 22 pro vyhledávání: '"Kaminka GA"'
1
Complexity results for probabilistic datalog±
Autor: Ceylan, II, Lukasiewicz, T, Peñaloza, R, Fox, MS, Kaminka, GA
Publikováno v: 22nd European Conference on Artificial Intelligence‚ ECAI 2016.
We study the query evaluation problem in probabilistic databases in the presence of probabilistic existential rules. Our focus is on the Datalog± family of languages for which we define the probabilistic counterpart using a flexible and compact enco
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______1064::5356546c6319ac9dca5131b95673b383
http://ora.ox.ac.uk/objects/uuid:c45f4302-904f-40ca-ac89-04cf4fd62a08
Zobrazit plný text záznamu
2
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.
3
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.
4
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.
5
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.
6
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.
7
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.
10
Abstraction-based verification of infinite-state reactive modules
Autor: Belardinelli, F, Lomuscio, A
Publikováno v: 22nd European Conference on Artificial Intelligence (ECAI)
We introduce the formalism of infinite-state reactive modules to reason about the strategic behaviour of autonomous agents in a setting where data are explicitly exhibited in the systems description and in the specification language. Technically, we
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______1032::e89dba207b70b3aea815f9ac1e4b6d5c
http://hdl.handle.net/10044/1/50041
Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje