Constraint satisfaction as a tool for modeling and checking feasibility of multiagent commitments
- 23 March 2013
- journal article
- research article
- Published by Springer Nature in Applied Intelligence
- Vol. 39 (3) , 489-509
Abstract
No abstract availableKeywords
This publication has 32 references indexed in Scilit:
- An intelligent agent model with awareness of workflow progressApplied Intelligence, 2011
- AmoebaACM Transactions on Software Engineering and Methodology, 2009
- CLAN: A Tool for Contract Analysis and Conflict Discovery2009
- Verifiable agent interaction in abductive logic programmingACM Transactions on Computational Logic, 2008
- Engineering Foreign Exchange Processes via Commitment Protocols2007
- A Mixed Closure-CSP Method for Solving Scheduling ProblemsApplied Intelligence, 2004
- Principles of Constraint Programming2003
- The Ponder Policy Specification Language2001
- Constraint satisfaction problems: Algorithms and applicationsEuropean Journal of Operational Research, 1999
- EFFICIENT TEMPORAL REASONING IN THE CACHED EVENT CALCULUSComputational Intelligence, 1996