Sciweavers

5198 search results - page 140 / 1040
» A Logic of Agent Programs
Sort
View
ICLP
2009
Springer
16 years 7 days ago
Qualified Computations in Functional Logic Programming
Abstract. Qualification has been recently introduced as a generalization of uncertainty in the field of Logic Programming. In this paper we investigate a more expressive language f...
Rafael Caballero, Mario Rodríguez-Artalejo,...
CLIMA
2006
15 years 1 months ago
A New Logical Semantics for Agent Communication
Jamal Bentahar, Bernard Moulin, John-Jules Ch. Mey...
DLOG
2006
15 years 1 months ago
Static Knowledge Representation of Multi-Agent System's Specification by Description Logic
Modularity and rigor are two key elements for multi-agent technology. Hong Zhu's multi-agent system (MAS) development method provides proper language facilities supporting mo...
Haiyan Che, Jigui Sun