References in zbMATH (referenced in 102 articles )

Showing results 1 to 20 of 102.
Sorted by year (citations)

1 2 3 4 5 6 next

  1. De Nicola, Rocco; Ferrari, Gianluigi; Pugliese, Rosario; Tiezzi, Francesco: A formal approach to the engineering of domain-specific distributed systems (2020)
  2. de Silva, Lavindra; Padgham, Lin; Sardina, Sebastian: HTN-like solutions for classical planning problems: an application to BDI agent systems (2019)
  3. Sarkadi, Ştefan; Panisson, Alison R.; Bordini, Rafael H.; McBurney, Peter; Parsons, Simon; Chapman, Martin: Modelling deception using theory of mind in multi-agent systems (2019)
  4. Dennis, Louise A.; Fisher, Michael; Webster, Matt: Two-stage agent program verification (2018)
  5. Núñez, Rafael C.; Murthi, Manohar N.; Premaratne, Kamal; Scheutz, Matthias; Bueno, Otávio: Uncertain logic processing: logic-based inference and reasoning using Dempster-Shafer models (2018)
  6. De Giacomo, Giuseppe; Gerevini, Alfonso Emilio; Patrizi, Fabio; Saetti, Alessandro; Sardina, Sebastian: Agent planning programs (2016)
  7. De Giacomo, Giuseppe; Lespérance, Yves; Patrizi, Fabio: Bounded situation calculus action theories (2016)
  8. Kouvaros, Panagiotis; Lomuscio, Alessio: Parameterised verification for multi-agent systems (2016)
  9. Kowalski, Robert; Sadri, Fariba: Reactive computing as model generation (2015)
  10. Balke, Tina; Cranefield, Stephen; Di Tosto, Gennaro; Mahmoud, Samhar; Paolucci, Mario; Savarimuthu, Bastin Tony Roy; Verhagen, Harko: Simulation and NorMAS (2013)
  11. Boissier, Olivier; Bordini, Rafael H.; Hübner, Jomi F.; Ricci, Alessandro; Santi, Andrea: Multi-agent oriented programming with (\mathsfJaCaMo) (2013) ioport
  12. Dovier, Agostino; Formisano, Andrea; Pontelli, Enrico: Autonomous agents coordination: action languages meet CLP((\mathcalFD)) and Linda (2013)
  13. Blount, Justin; Gelfond, Michael: Reasoning about the intentions of agents (2012)
  14. Cugola, Gianpaolo; Ghezzi, Carlo; Pinto, Leandro Sales: DSOL: a declarative approach to self-adaptive service orchestrations (2012)
  15. Mao, W.; Gratch, J.: Modeling social causality and responsibility judgment in multi-agent interactions (2012)
  16. Alechina, Natasha; Dastani, Mehdi; Logan, Brian; Meyer, John-Jules Ch.: Reasoning about plan revision in BDI agent programs (2011)
  17. Blee, Jeff; Billington, David; Governatori, Guido; Sattar, Abdul: Levels of modality for BDI logic (2011)
  18. Dasgupta, Aniruddha; Ghose, Aditya K.: BDI agents with objectives and preferences (2011)
  19. Dix, Jürgen; Fisher, Michael: Where logic and agents meet (2011)
  20. Fisher, Michael: Agent deliberation in an executable temporal framework (2011)

1 2 3 4 5 6 next