Borja Macías, Verónica
141  results:
Search for persons X
?
3

Kripke-type Semantics for CG3′:

Borja Macías, Verónica ; Pérez-Gaspar, Miguel
Electronic Notes in Theoretical Computer Science.  328 (2016)  - p. 17-29 , 2016
 
?
5

Model-based belief merging without distance measures:

, In: Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems,
 
1-15