- A logical characterisation of qualitative coalitional games.Paul E. Dunne, Wiebe van der Hoek & Michael Wooldridge - 2007 - Journal of Applied Non-Classical Logics 17 (4):477-509.details
|
|
Temporal agent programs.Jürgen Dix, Sarit Kraus & V. S. Subrahmanian - 2001 - Artificial Intelligence 127 (1):87-135.details
|
|
Common-sense reasoning as proto-scientific agent activity.Pierangelo Dell'Acqua & Luís Moniz Pereira - 2004 - Journal of Applied Logic 2 (4):385-407.details
|
|
On complexity of verification of interacting agents' behavior.Michael Dekhtyar, Alexander Dikovsky & Mars Valiev - 2006 - Annals of Pure and Applied Logic 141 (3):336-362.details
|
|
ConGolog, a concurrent programming language based on the situation calculus.Giuseppe De Giacomo, Yves Lespérance & Hector J. Levesque - 2000 - Artificial Intelligence 121 (1-2):109-169.details
|
|
A verification framework for agent programming with declarative goals.F. S. de Boer, K. V. Hindriks, W. van der Hoek & J. -J. Ch Meyer - 2007 - Journal of Applied Logic 5 (2):277-302.details
|
|
An Agent View on Law.Heesen Constantijn, Homburg Vincent & Offereins Margriet - 1997 - Artificial Intelligence and Law 5 (4):323-340.details
|
|
The role of beliefs in goal dynamics: prolegomena to a constructive theory of intentions.Cristiano Castelfranchi & Fabio Paglieri - 2007 - Synthese 155 (2):237-263.details
|
|
“Super-intelligent” machine: technological exuberance or the road to subjection.Peter Brödner - 2018 - AI and Society 33 (3):335-346.details
|
|
Modeling agents as qualitative decision makers.Ronen I. Brafman & Moshe Tennenholtz - 1997 - Artificial Intelligence 94 (1-2):217-268.details
|
|
Law-abiding and integrity on the internet: A case for agents. [REVIEW]Frances Brazier, Anja Oskamp, Corien Prins, Maurice Schellekens & Niek Wijngaards - 2004 - Artificial Intelligence and Law 12 (1-2):5-37.details
|
|
Towards A Framework To Deal With Ethical Conflicts In Autonomous Agents And Multi - Agent Systems.Aline Belloni, Alain Berger, Vincent Besson, Olivier Boissier, Grégory Bonnet, Gauvain Bourgne, Pierre Antoine Chardel, Jean-Pierre Cotton, Nicolas Evreux, Jean-Gabriel Ganascia, Philippe Jaillon, Bruno Mermet, Gauthier Picard, Bernard Reber, Gaële Simon, Thibault De Swarte, Catherine Tessier, François Vexler, Robert Voyer & Antoine Zimmermann - unknowndetails
|
|
Dealing With Ethical Conflicts In Autonomous Agents And Multi-Agent Systems.Aline Belloni, Alain Berger, Olivier Boissier, Grégory Bonnet, Gauvain Bourgne, Pierre Antoine Chardel, Jean-Pierre Cotton, Nicolas Evreux, Jean-Gabriel Ganascia, Philippe Jaillon, Bruno Mermet, Gauthier Picard, Bernard Rever, Gaële Simon, Thibault De Swarte, Catherine Tessier, François Vexler, Robert Voyer & Antoine Zimmermann - unknowndetails
|
|
Argumentation, R. Pavilionis's meaning continuum and The Kitchen debate.Elena Lisanyuk - 2015 - Problemos 88:95.details
|
|
Is Collective Agency a Coherent Idea? Considerations from the Enactive Theory of Agency.Mog Stapleton & Tom Froese - 1st ed. 2015 - In Catrin Misselhorn (ed.), Collective Agency and Cooperation in Natural and Artificial Systems. Springer Verlag. pp. 219-236.details
|
|
(1 other version)Speech acts.Mitchell S. Green - 2010 - Stanford Encyclopedia of Philosophy.details
|
|
Qualitative approximate behavior composition.Nitin Yadav & Sebastian Sardina - 2012 - In Luis Farinas del Cerro, Andreas Herzig & Jerome Mengin (eds.), Logics in Artificial Intelligence. Springer. pp. 450--462.details
|
|
Heterogeneous active agents, III: Polynomially implementable agents.Thomas Eiter, V. S. Subrahmanian & T. J. Rogers - 2000 - Artificial Intelligence 117 (1):107-167.details
|
|
Controlling cooperative problem solving in industrial multi-agent systems using joint intentions.N. R. Jennings - 1995 - Artificial Intelligence 75 (2):195-240.details
|
|
Developing creativity: Artificial barriers in artificial intelligence. [REVIEW]Kyle E. Jennings - 2010 - Minds and Machines 20 (4):489-501.details
|
|
Reasoning about information change.Jelle Gerbrandy & Willem Groeneveld - 1997 - Journal of Logic, Language and Information 6 (2):147-169.details
|
|
What Can We Know of Computational Information? Measuring, Quantity, and Quality at Work in Programmable Artifacts.Federico Gobbo & Marco Benini - 2016 - Topoi 35 (1):203-212.details
|
|
Artificial intelligence as a discursive practice: the case of embodied software agent systems. [REVIEW]Sean Zdenek - 2003 - AI and Society 17 (3-4):340-363.details
|
|
A Computational Learning Semantics for Inductive Empirical Knowledge.Kevin T. Kelly - 2014 - In Alexandru Baltag & Sonja Smets (eds.), Johan van Benthem on Logic and Information Dynamics. Cham, Switzerland: Springer International Publishing. pp. 289-337.details
|
|
Temporal belief logics for modelling distributed artificial intelligence systems.Michael Wooldridge - 1996 - In N. Jennings & G. O'Hare (eds.), Foundations of Distributed Artificial Intelligence. Wiley. pp. 269--286.details
|
|
A logic of intention and attempt.Emiliano Lorini & Andreas Herzig - 2008 - Synthese 163 (1):45 - 77.details
|
|
Hohfeld in cyberspace and other applications of normative reasoning in agent technology.Christen Krogh & Henning Herrestad - 1999 - Artificial Intelligence and Law 7 (1):81-96.details
|
|
Belief, information acquisition, and trust in multi-agent systems—A modal logic formulation.Churn-Jung Liau - 2003 - Artificial Intelligence 149 (1):31-60.details
|
|
Dynamic reasoning with qualified syllogisms.Daniel G. Schwartz - 1997 - Artificial Intelligence 93 (1-2):103-167.details
|
|
The independent choice logic for modelling multiple agents under uncertainty.David Poole - 1997 - Artificial Intelligence 94 (1-2):7-56.details
|
|
On social laws for artificial agent societies: off-line design.Yoav Shoham & Moshe Tennenholtz - 1995 - Artificial Intelligence 73 (1-2):231-252.details
|
|
Smart office robot collaboration based on multi-agent programming.F. Mizoguchi, H. Nishiyama, H. Ohwada & H. Hiraishi - 1999 - Artificial Intelligence 114 (1-2):57-94.details
|
|
Seeing is believing.B. van Linder, W. van der Hoek & J.-J. Ch Meyer - 1997 - Journal of Logic, Language and Information 6 (1):33-61.details
|
|
Agent deliberation in an executable temporal framework.Michael Fisher - 2011 - Journal of Applied Logic 9 (4):223-238.details
|
|
A logical analysis of the relationship between commitment and obligation.Churn-Jung Liau - 2001 - Journal of Logic, Language and Information 10 (2):237-261.details
|
|
Concurrency and knowledge-level communication in agent languages.Mauro Gaspari - 1998 - Artificial Intelligence 105 (1-2):1-45.details
|
|
Reaching agreements through argumentation: a logical model and implementation.Sarit Kraus, Katia Sycara & Amir Evenchik - 1998 - Artificial Intelligence 104 (1-2):1-69.details
|
|
Towards a Logic of Rational Agency.Wiebe van der Hoek & Michael Wooldridge - 2003 - Logic Journal of the IGPL 11 (2):135-159.details
|
|
Social embeddedness and agent development.Bruce Edmonds - unknowndetails
|
|
Collaborative plans for complex group action.Barbara J. Grosz & Sarit Kraus - 1996 - Artificial Intelligence 86 (2):269-357.details
|
|
Agent-oriented epistemic reasoning: Subjective conditions of knowledge and belief.Daniel G. Schwartz - 2003 - Artificial Intelligence 148 (1-2):177-195.details
|
|
Logical Theories of Intention and the Database Perspective.Yoav Shoham - 2009 - Journal of Philosophical Logic 38 (6):633-647.details
|
|