Search results for: Marek Sergot
Lecture Notes in Computer Science > Coordination, Organizations, Institutions, and Norms in Agent Systems II > NORMATIVE MODELS AND ISSUES > 212-226
Lecture Notes in Computer Science > Engineering Societies in the Agents World VIII > Electronic Institutions > 1-54
Lecture Notes in Computer Science > Security Protocols > 134-145
Lecture Notes in Computer Science > Agent-Oriented Software Engineering III > Modeling, Specification, and Validation > 1-15
IFIP — The International Federation for Information Processing > Formal Aspects in Security and Trust > 219-232
Lecture Notes in Computer Science > Logic Programming and Nonmonotonic Reasoning > Application Track > 389-393
Lecture Notes in Computer Science > Logic Programming and Nonmonotonic Reasoning > Actions and Causations > 198-210
Lecture Notes in Computer Science > Deontic Logic and Artificial Normative Systems > Contributed Papers > 222-237
Advances in Intelligent and Soft Computing > Monitoring, Security, and Rescue Techniques in Multiagent Systems > Foundations and Methods > 161-177
Lecture Notes in Computer Science > Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning > Foundations: ASP and Theories of LP, KR, and NMR > 164-180
Lecture Notes in Computer Science > Intelligent Agents VIII > Formal Speci.cation and Veri.cation of Agents > 86-99
Lecture Notes in Computer Science > Computational Logic: Logic Programming and Beyond > Bob Kowalski: A Portrait > 5-25
Lecture Notes in Computer Science > Security Protocols > 312-319