Sciweavers

619 search results - page 8 / 124
» A logical formalism for the subjective approach in a multi-a...
Sort
View
EUSFLAT
2007
140views Fuzzy Logic» more  EUSFLAT 2007»
13 years 8 months ago
A Fuzzy Formal Logic for Interval-valued Residuated Lattices
Fuzzy formal logics were introduced in order to handle graded truth values instead of only ‘true’ and ‘false’. A wide range of such logics were introduced successfully, li...
Bart Van Gasse, Chris Cornelis, Glad Deschrijver, ...
RULEML
2005
Springer
14 years 5 days ago
ContractLog: An Approach to Rule Based Monitoring and Execution of Service Level Agreements
In this paper we evolve a rule based approach to SLA representation and management which allows separating the contractual business logic from the application logic and enables aut...
Adrian Paschke, Martin Bichler, Jens Dietrich
WOA
2003
13 years 8 months ago
A Design Tool to Develop Agent-Based Workflow Management Systems
— This paper describes a methodology to design a workflow management system where a set of intelligent software agents composes an interactive scenario. The Workflow Management C...
Marco Repetto, Massimo Paolucci 0002, Antonio Bocc...
MAGS
2008
149views more  MAGS 2008»
13 years 6 months ago
Agent-Grid Integration Language
The GRID and MAS (Multi-Agent Systems) communities believe in the potential of GRID and MAS to enhance each other as these models have developed significant complementarities. Thu...
Clement Jonquet, Pascal Dugenie, Stefano A. Cerri
EUROCAST
2007
Springer
133views Hardware» more  EUROCAST 2007»
13 years 10 months ago
Temporal Equilibrium Logic: A First Approach
In this paper we introduce an extension of Equilibrium Logic (a logical characterisation of the Answer Set Semantics for logic programs) consisting in the inclusion of modal tempor...
Pedro Cabalar, Gilberto Pérez Vega