334 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- Pontifícia Universidade Católica de São PauloBR10 papers
- Istituto Nazionale di Fisica Nucleare, Sezione di GenovaIT8 papers
- Universidade Federal do Rio Grande do SulBR7 papers
- Universidade SalvadorBR6 papers
- University of OuluFI5 papers
- Blekinge Institute of TechnologySE4 papers
- Hanyang UniversityKR4 papers
- Jožef Stefan InstituteSI4 papers
- Max Planck Institute for Extraterrestrial PhysicsDE4 papers
- Technical University of MunichDE4 papers
- Universidade Federal da BahiaBR4 papers
- Universität InnsbruckAT4 papers
Showing 2019 · cs.MAShow all
2 papers · 2 filters
cs.MA2019
Tractable reasoning about Agent Programming in Dynamic Preference Logic
Marlo Souza, Álvaro Moreira, Renata Vieira
While several BDI logics have been proposed in the area of Agent Programming, it is not clear how these logics are connected to the agent programs they are supposed to specify. Mor…
cs.MA2019★ 1 cited
A Dynamic Preference Logic for reasoning about Agent Programming
Marlo Souza, Álvaro Moreira, Renata Vieira +1
In this work, we investigate the use of Dynamic Preference Logic to encode BDI mental attitudes. Further, exploring this codification and the representation of preferences over pos…