( en | de | ru )

 

Disambiguation of "Delgado, Carla A. D. M."

Author of the publication

copydeleteadd this publication to your clipboard
Proving Epistemic and Temporal Properties from Knowledge Based Programs.

, , and . SBIA, volume 5249 of Lecture Notes in Computer Science, page 134-144. Springer, (2008)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

D A Nowak

A M Otto

Sabine Carland

Elfadil M A Bashir

Dominique M -A Meyer

 

Other publications of authors with the same name

Proving Epistemic and Temporal Properties from Knowledge Based Programs., , and . SBIA, volume 5249 of Lecture Notes in Computer Science, page 134-144. Springer, (2008)A Trust and Reputation Framework for Game Agents: Providing a Social Bias to Computer Players., , and . BRACIS, page 193-198. IEEE Computer Society, (2016)On vague notions and modalities: a modular approach., , , , , and . Log. J. IGPL, 18 (3): 381-402 (2010)A Hybrid Multiobjective Solution for the Short-term Hydro-power Dispatch Problem: a Swarm Evolutionary Approach., , , , , and . CEC, page 193-200. IEEE, (2021)Reasoning about Events and Knowledge in Distributed Systems., and . IC-AI, page 1213-1219. CSREA Press, (2002)A Compositional Automata-based Approach for Model Checking Multi-Agent Systems., , , , and . SBMF, volume 195 of Electronic Notes in Theoretical Computer Science, page 133-149. Elsevier, (2006)An Efficient Multi-objective Evolutionary Approach for Solving the Operation of Multi-Reservoir System Scheduling in Hydro-Power Plants., , , , , , and . CoRR, (2021)Technology adoption through games at Rio de Janeiro State: improving students' digital aptitude., , , , , , , , , and . J. Interact. Syst., 13 (1): 400-409 (December 2022)Verification of Epistemic Properties in Probabilistic Multi-Agent Systems., and . MATES, volume 5774 of Lecture Notes in Computer Science, page 16-28. Springer, (2009)On Modalities for Vague Notions., , , , and . SBIA, volume 3171 of Lecture Notes in Computer Science, page 1-10. Springer, (2004)