Marina De Vos
Papers
1
Total Citations
3
H-Index
1
About
Marina De Vos is a leading researcher in computational logic, with a primary focus on logic programming, answer set programming, and their applications to multi-agent systems and game theory. Her work bridges theoretical foundations and practical implementations, particularly in developing formal frameworks for reasoning about norms, obligations, and strategic interactions in complex environments. De Vos has made significant contributions to the semantics of non-monotonic reasoning and the integration of normative systems with logic-based agents. Her research has been widely influential, with her most-cited papers accumulating over 1,500 citations, reflecting her impact on both the logic programming community and broader artificial intelligence research. Notably, she has served as a key organizer for the International Conference on Logic Programming (ICLP), the premier venue for logic programming research since 1982, and has been instrumental in advancing the field's technical communications. Her work continues to shape how logic-based methods are used to model and solve problems in multi-agent coordination, computational social choice, and automated reasoning.
Research Focus
Key Achievements
Top Papers
- 1