Szczegóły publikacji

Opis bibliograficzny

Temporal preference models and their deduction-based analysis for pervasive applications / Radosław KLIMEK // W: PECCS 2013 : proceedings of the 3rd international conference on Pervasive Embedded Computing and Communication Systems : Barcelona, Spain 19–21 February, 2013 / ed. César Benavente-Peces, Joaquim Filipe. — [Barcelona] : SCITEPRESS, cop. 2013. — ISBN: 978-989-8565-43-3. — S. 131–134. — Bibliogr. s. 134, Abstr.

Autor

Słowa kluczowe

preference modellingtemporal logicsemantic tableauxcontext aware applicationspatternsdeduction

Dane bibliometryczne

ID BaDAP74961
Data dodania do BaDAP2013-08-06
Rok publikacji2013
Typ publikacjimateriały konferencyjne (aut.)
Otwarty dostęptak

Publikacje, które mogą Cię zainteresować

fragment książki
#78038Data dodania: 17.12.2013
Preference models and their elicitation and analysis for context-aware applications / Radosław KLIMEK // W: Man-machine interactions 3 : [ICMMI 2013 : 3rd International Conference on Man-Machine Interactions : Brenna, October 22nd–25th, 2013] / eds. Aleksandra Gruca, Tadeusz Czachórski, Stanisław Kozielski. — Switzerland : Springer International Publishing, cop. 2014. — (Advances in Intelligent Systems and Computing ; ISSN 2194-5357 ; vol. 242). — ISBN: 978-3-319-02308-3; e-ISBN: 978-3-319-02309-0. — S. 353–360. — Bibliogr. s. 360, Abstr.
SzczegółyLink
fragment książki
#78061Data dodania: 17.12.2013
A deduction-based system for formal verification of agent-ready Web services / Radosław KLIMEK // W: Advanced methods and technologies for agent and multi-agent systems : KES-AMSTA 2013 : [7th KES Conference on Agent and Multi-Agent Systems – Technologies and Applications : May 27–29, 2013, Hue, Vietnam] / eds. Dariusz Barbucha, [et al.]. — Amsterdam : IOS Press, cop. 2013. — (Frontiers in Artificial Intelligence and Applications ; ISSN 0922-6389 ; vol. 252). — ISBN: 978-1-61499-253-0; e-ISBN: 978-1-61499-254-7. — S. 203–212. — Bibliogr. s. 212, Abstr.
SzczegółyLink