Zobrazeno 1 - 10
of 93
pro vyhledávání: '"Reichgelt, H."'
This paper is concerned with the application of the resolution theorem proving method to reified logics. The logical systems treated include the branching temporal logics and logics of belief based on K and its extensions. Two important problems conc
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______348::8676feb15fdbc797f80f2717ff662e0c
https://eprints.soton.ac.uk/252303/
https://eprints.soton.ac.uk/252303/
Publikováno v:
Third International Conference on Information Technology: New Generations (ITNG'06); 2006, p6-10, 5p
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.
Autor:
Hatzilygeroudis, I., Reichgelt, H.
Publikováno v:
Proceedings Sixth International Conference on Tools with Artificial Intelligence TAI 94; 1994, p724-727, 4p
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.
Autor:
Hatzilygeroudis, I., Reichgelt, H.
Publikováno v:
Data & Knowledge Engineering; 1997, Vol. 21 Issue: 3 p253-280, 28p
Autor:
Vila, L., Reichgelt, H.
Publikováno v:
Artificial Intelligence; 1996, Vol. 83 Issue: 1 p59-74, 16p
Kniha
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.
Kniha
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.