Resource allocation with answer-set programming

Authors:
João Leite;José Alferes;Belopeta Mito
Affiliations:
Universidade Nova de Lisboa, Portugal;Universidade Nova de Lisboa, Portugal;Universidade Nova de Lisboa, Portugal
Venue:
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Year:
2009

Citing 9
Cited 2

Resource allocation problems: algorithmic approaches

Resource allocation problems: algorithmic approaches
Disjunctive datalog

ACM Transactions on Database Systems (TODS)
Distributed rational decision making

Multiagent systems
Knowledge Representation, Reasoning, and Declarative Problem Solving

Knowledge Representation, Reasoning, and Declarative Problem Solving
Logical Preference Representation and Combinatorial Vote

Annals of Mathematics and Artificial Intelligence
On the Communication Complexity of Multilateral Trading: Extended Report

Autonomous Agents and Multi-Agent Systems
Towards automated integration of guess and check programs in answer set programming: a meta-interpreter and applications

Theory and Practice of Logic Programming
The DLV system for knowledge representation and reasoning

ACM Transactions on Computational Logic (TOCL)
Aggregate functions in disjunctive logic programming: semantics, complexity, and implementation in DLV

IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence

Modelling Multilateral Negotiation in Linear Logic

Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Playing with rules

DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies

Quantified Score

Hi-index	0.00

Visualization

Abstract

Multi-agent resource allocation is a growing area of research at the frontier between Economics and Computer Science. Despite the extensive theoretical work and raising number of practical applications, many fundamental problems in multi-agent resource allocation still require adequate attention to its computational aspects. This paper addresses computational aspects of multi-agent resource allocation through the use of a fully declarative and highly expressive logic programming paradigm -- Answer Set Programming -- to provide uniform, general and flexible solutions to many multi-agent resource allocation problems in a compact and declarative manner.