Sciweavers

99 search results - page 1 / 20
» Language Design Issues for Agents based on Linear Logic (Ext...
Sort
View
59
Voted
ENTCS
2002
72views more  ENTCS 2002»
14 years 10 months ago
Language Design Issues for Agents based on Linear Logic (Extended Abstract)
James Harland, Michael Winikoff
ICLP
1998
Springer
15 years 2 months ago
Compiling Resources in a Linear Logic Programming Language
There have been several proposals for logic programming language based on linear logic: Lolli [6], Lygon [5], LO [3], LinLog [2], Forum [8]. In addition, BinProlog allows the use ...
Mutsunori Banbara, Naoyuki Tamura
ESAW
2006
Springer
15 years 2 months ago
Current Issues in Multi-Agent Systems Development
Abstract. This paper surveys the state-of-the-art in developing multi-agent systems, and sets out to answer the questions: "what are the key current issues in developing multi...
Rafael H. Bordini, Mehdi Dastani, Michael Winikoff
CONCUR
2001
Springer
15 years 3 months ago
Extended Temporal Logic Revisited
A key issue in the design of a model-checking tool is the choice of the formal language with which properties are specified. It is now recognized that a good language should exten...
Orna Kupferman, Nir Piterman, Moshe Y. Vardi
CLIMA
2004
14 years 12 months ago
Verifying Protocol Conformance for Logic-Based Communicating Agents
Communication plays a fundamental role in multi-agents systems. One of the main issues in the design of agent interaction protocols is the verification that a given protocol implem...
Matteo Baldoni, Cristina Baroglio, Alberto Martell...