Search results for: Mehdi Dastani
Foundations of Computing and Decision Sciences > 2022 > Vol. 47, No. 2 > 127--150
Automated Software Engineering > 2019 > 26 > 3 > 513-557
Lecture Notes in Computer Science > Declarative Agent Languages and Technologies II > Reasoning > 1-18
Lecture Notes in Computer Science
Artificial Intelligence > 2016 > 239 > C > 97-142
Lecture Notes in Computer Science > EurAsia-ICT 2002: Information and Communication Technology > Intelligent Agents I > 677-684
Lecture Notes in Computer Science > Logic, Rationality, and Interaction > Contributed Papers > 198-211
Lecture Notes in Computer Science > Declarative Agent Languages and Technologies III > Agent Programming and Beliefs > 1-16
Lecture Notes in Computer Science > Languages, Methodologies and Development Tools for Multi-Agent Systems > Agent Reasoning and Semantics > 54-70
Lecture Notes in Computer Science > Declarative Agent Languages and Technologies III > Agent Programming and Beliefs > 17-32
Lecture Notes in Computer Science > Computational Logic in Multi-Agent Systems > Contest Papers > 266-283
Lecture Notes in Computer Science > Computational Logic in Multi-Agent Systems > The First CLIMA Contest > 373-384
Lecture Notes in Computer Science > Coordination, Organizations, Institutions, and Norms in Agent Systems II > MODELLING AND ANALYZING ORGANIZATIONS > 3-18
Lecture Notes in Computer Science > Programming Multi-Agent Systems > Analysis and Debugging > 151-169