FD
Title | Published in | Access level | OA Policy | Year | Views | Downloads | |
---|---|---|---|---|---|---|---|
Paraconsistent Rule-based Reasoning with Graded Truth Values | Journal of Applied Logic | 2018 | 246 | 0 | |||
SmartContent—Self-Protected Context-Aware Active Documents for Mobile Environments | Electronics | 2017 | 217 | 70 | |||
A Logic-Based Coordination Middleware for Self-Organising Systems: Distributed reasoning based on many-valued logics | 2017 | 275 | 1 | ||||
Foundation of Paraconsistent Rule-Based Reasoning with Graded Truth Values | 2017 | 426 | 85 | ||||
Logic fragments: coordinating entities with logic programs | Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques | 2016 | 507 | 1 | |||
Visualisation de la dynamique et des enjeux toponymiques: Prototype pour la ville suisse de Carouge | Concours de Géomatique, Festival international de Géographie, | 2016 | 517 | 85 | |||
Towards a logic and chemical based coordination model | 2015 | 817 | 185 | ||||
A logic language for run time assessment of spatial properties in self-organizing systems | Ninth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops | 2015 | 587 | 308 | |||
Towards a spatial language for run-time assessments in self-organizing systems | Ninth IEEE International Conference on Self-Adaptive and Self-Organizing Systems | 2015 | 497 | 286 | |||
Self-composition of services with chemical reactions | 2013 | 859 | 475 |