5198 search results - page 77 / 1040 » A Logic of Agent Programs |
FUIN
2006
14 years 11 months ago
2006
Logics for expressing properties of Petri hypernets, a visual formalism for modelling mobile agents, are proposed. Two classes of properties are of interest--the temporal evolution...
ATAL
2006
Springer
15 years 3 months ago
2006
Springer
In this paper we present Mob, a service-oriented scripting language for programming mobile agents in distributed systems. The main feature of the language is the integration of th...
DAGSTUHL
2007
15 years 20 days ago
2007
Abstract. We explain the raison d’ˆetre and basic ideas of our gametheoretic approach to normative multiagent systems, sketching the central elements with pointers to other publ...
101
click to vote
FSS
2008
14 years 11 months ago
2008
In the last decade defeasible argumentation frameworks have evolved to become a sound setting to formalize commonsense, qualitative reasoning. The logic programming paradigm has s...
101
click to vote
FUZZIEEE
2007
IEEE
15 years 5 months ago
2007
IEEE
— The Semantic Web can be viewed as largely about “Knowledge meets the Web”. Thus its vision includes ontologies and rules. A key requirement for the architecture of the Sema...