References in zbMATH (referenced in 96 articles )

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

1 2 3 4 5 next

  1. De Giacomo, Giuseppe; Gerevini, Alfonso Emilio; Patrizi, Fabio; Saetti, Alessandro; Sardina, Sebastian: Agent planning programs (2016)
  2. De Giacomo, Giuseppe; Lespérance, Yves; Patrizi, Fabio: Bounded situation calculus action theories (2016)
  3. Kouvaros, Panagiotis; Lomuscio, Alessio: Parameterised verification for multi-agent systems (2016)
  4. Kowalski, Robert; Sadri, Fariba: Reactive computing as model generation (2015)
  5. Boissier, Olivier; Bordini, Rafael H.; Hübner, Jomi F.; Ricci, Alessandro; Santi, Andrea: Multi-agent oriented programming with \mathsfJaCaMo (2013)
  6. Dovier, Agostino; Formisano, Andrea; Pontelli, Enrico: Autonomous agents coordination: action languages meet CLP($\Cal FD$) and Linda (2013)
  7. Blount, Justin; Gelfond, Michael: Reasoning about the intentions of agents (2012)
  8. Cugola, Gianpaolo; Ghezzi, Carlo; Pinto, Leandro Sales: DSOL: a declarative approach to self-adaptive service orchestrations (2012)
  9. Mao, W.; Gratch, J.: Modeling social causality and responsibility judgment in multi-agent interactions (2012)
  10. Alechina, Natasha; Dastani, Mehdi; Logan, Brian; Meyer, John-Jules Ch.: Reasoning about plan revision in BDI agent programs (2011)
  11. Blee, Jeff; Billington, David; Governatori, Guido; Sattar, Abdul: Levels of modality for BDI logic (2011)
  12. Dasgupta, Aniruddha; Ghose, Aditya K.: BDI agents with objectives and preferences (2011)
  13. Dix, Jürgen; Fisher, Michael: Where logic and agents meet (2011)
  14. Fisher, Michael: Agent deliberation in an executable temporal framework (2011)
  15. Gouveia, Gustavo Pacianotto; Pereira, Ricardo Hahn; Sichman, Jaime Simão: The USP farmers herding team (2011)
  16. Grimaldo, Francisco; Lozano, Miguel; Barber, Fernando: J-MADeM, a market-based model for complex decision problems (2011)
  17. Hölzgen, Daniel; Vengels, Thomas; Krümpelmann, Patrick; Thimm, Matthias; Kern-Isberner, Gabriele: Argonauts: a working system for motivated cooperative agents (2011)
  18. Kowalski, Robert; Sadri, Fariba: Abductive logic programming agents with destructive databases (2011)
  19. Lloyd, John W.; Ng, Kee Siong: Declarative programming for agent applications (2011)
  20. Mermet, Bruno; Simon, Gaële: Specifying recursive agents with gdts (2011)

1 2 3 4 5 next