Search results for: Yves Lespérance
Service Oriented Computing and Applications > 2017 > 11 > 4 > 367-392
Artificial Intelligence > 2016 > 237 > C > 172-203
Lecture Notes in Computer Science > Intelligent Agents VII Agent Theories Architectures and Languages > Agent Languages > 244-259
Lecture Notes in Computer Science > Conceptual Modeling: Foundations and Applications > Implementations > 483-503
Lecture Notes in Computer Science > Computational Logic in Multi-Agent Systems > Regular Papers > 151-170
Lecture Notes in Computer Science > Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications > 1-14
Lecture Notes in Computer Science > Declarative Agent Languages and Technologies VII > Contributed Papers > 119-136
Lecture Notes in Computer Science > Agent Communication II > Section I: Semantics of Agent Communication > 45-60
Lecture Notes in Computer Science > Intelligent Agents II Agent Theories, Architectures, and Languages > 331-346
Lecture Notes in Computer Science > Agent-Oriented Software Engineering VII > Formal Reasoning About Designs > 104-121
Lecture Notes in Computer Science > Intelligent Agents VI. Agent Theories, Architectures, and Languages > Section III: Agent Languages > 173-187
Lecture Notes in Computer Science > Intelligent Agents VIII > Formal Speci.cation and Veri.cation of Agents > 69-85
Lecture Notes in Computer Science > Intelligent Agent Systems Theoretical and Practical Issues > 27-43
Lecture Notes in Computer Science > Advanced Information Systems Engineering > Agent Orientation > 480-494
Lecture Notes in Computer Science
Lecture Notes in Computer Science
Multi-Agent Programming: > Part I Languages > 31-72
Studia Logica > 2016 > 104 > 4 > 705-739