paper-with-me

Papers

Logic and Constraint Logic Programming for Distributed Constraint Optimization

2014-05-07 · Tiep Le, Enrico Pontelli, Tran Cao Son, William Yeoh

The field of Distributed Constraint Optimization Problems (DCOPs) has gained momentum, thanks to its suitability in capturing complex problems (e.g., multi-agent coordination and resource allocation problems) that are naturally distributed and cannot be realistically addressed in a centralized manner. The state of the art in solving DCOPs relies on the use of ad-hoc infrastructures and ad-hoc constraint solving procedures. This paper investigates an infrastructure for solving DCOPs that is completely built on logic programming technologies. In particular, the paper explores the use of a general constraint solver (a constraint logic programming system in this context) to handle the agent-level constraint solving. The preliminary experiments show that logic programming provides benefits over a state-of-the-art DCOP system, in terms of performance and scalability, opening the doors to the use of more advanced technology (e.g., search strategies and complex constraints) for solving DCOPs.

📄 PDF Abstract BibTeX arXiv:1405.1734

Code (0)

등록된 구현이 없습니다.

Similar Papers 제목 키워드 기반

Solving Distributed Constraint Optimization Problems Using Logic Programming

2017-05-10 · Tiep Le, Tran Cao Son, Enrico Pontelli, William Yeoh

This paper explores the use of Answer Set Programming (ASP) in solving Distributed Constraint Optimization Problems (DCOPs). The paper provides the following novel contributions: (1) It shows how one can formulate DCOPs …

Proceedings 38th International Conference on Logic Programming

2022-08-04 · Yuliya Lierler, Jose F. Morales, Carmine Dodaro, Veronica Dahl 외

ICLP is the premier international event for presenting research in logic programming. Contributions to ICLP 2022 were sought in all areas of logic programming, including but not limited to: Foundations: Semantics, Formal…

Automated Theorem ProvingData IntegrationManagementProbabilistic Programming

Proceedings 37th International Conference on Logic Programming (Technical Communications)

2021-09-15 · Andrea Formisano, Yanhong Annie Liu, Bart Bogaerts, Alex Brik 외

ICLP is the premier international event for presenting research in logic programming. Contributions to ICLP 2021 were sought in all areas of logic programming, including but not limited to: Foundations: Semantics, Formal…

Automated Theorem ProvingData IntegrationManagementProbabilistic Programming

Proceedings 35th International Conference on Logic Programming (Technical Communications)

2019-09-17 · Bart Bogaerts, Esra Erdem, Paul Fodor, Andrea Formisano 외

Since the first conference held in Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming. Contributions are sought in all areas of logic programming, including but …

Automated Theorem ProvingData IntegrationInductive logic programmingManagement

Knowledge of Uncertain Worlds: Programming with Logical Constraints

2019-10-23 · Yanhong A. Liu, Scott D. Stoller

Programming with logic for sophisticated applications must deal with recursion and negation, which together have created significant challenges in logic, leading to many different, conflicting semantics of rules. This pa…

Negation