Jamal Bentahar, Ph.D., P.Eng.
1515 Ste-Catherine Street West,
Montreal, Quebec, H3G 2W1, Canada.
Phone: (514) 848-2424 ext: 5382
Fax: (514) 848-3171
Before joining Concordia University, I was a postdoctoral researcher at Laval University, Department of Computer Science and Software Engineering. Also, I spent two months in the School of Computing at Simon Fraser University as NSERC Postdoctoral Fellow. I have a Ph.D. in computer science from Laval University. The title of my dissertation is: A Pragmatic and Semantic Unified Framework for Agent Communication. The main contributions of this thesis are:
1- A formal pragmatic approach based on social commitments and arguments.
2- A new agent communication formalism called Commitment and Argument Network.
3- A logical model defining the semantics of the elements used in the pragmatic approach.
4- A tableau-based model checking technique for the verification of a kind of flexible protocols called dialogue game protocols.
5- A new persuasion dialogue game protocol.
I am involved in the following events:
- The Second International Workshop on Intelligent Systems Techniques for Wireless Sensor Networks (IST-WSN'07 )
- The First IEEE International Workshop on Cooperative Distributed Systems (CDS'07)
- The International AAMAS Workshop on Argumentation in Multi-Agent Systems (ArgMAS 2007)
- The International AAMAS Workshop on Service-Oriented Computing: Agents, Semantics and Engineering (SOCASE 2007)
- Workshop on Agents and Multi-agent Systems, from Theory to Application (AMTA 2006)
- Workshop on Argumentation in MAS (ArgMas 2006)
- Workshop on Agent Communication (AC 2006)
- Workshop on Argumentation in MAS (ArgMAS 2005)
I have organized a seminar on Multi-Agent Systems at the Department of Computer Science (Laval University) involving Frank Dignum (Utrecht University, The Netherlands) and Yves Lespérance (York University, Canada).
I was invited by the "Institute of Information & Computing Sciences, Intelligent Systems Group, Utrecht University, The Netherlands". Talk: A Unified Framework for the Pragmatics and Semantics of Agent Communication. October 2004.
Last modified: September 2016