Search Results for author:
Found 14 papers, 1 papers with code
Proceedings 39th International Conference on Logic Programming
This volume contains the Technical Communications presented at the 39th International Conference on Logic Programming (ICLP 2023), held at Imperial College London, UK from July 9 to July 15, 2023.
Answer Set Planning: A Survey
Answer Set Planning refers to the use of Answer Set Programming (ASP) to compute plans, i. e., solutions to planning problems, that transform a given state of the world to another state.
Parallel Logic Programming: A Sequel
Since its inception, logic programming has been recognized as a programming paradigm with great potential for automated exploitation of parallelism.
Generating explanations for answer set programming applications
We present an explanation system for applications that leverage Answer Set Programming (ASP).
Modelling Multi-Agent Epistemic Planning in ASP. Theory and Practice of Logic Programming
In these scenarios, epistemic reasoning, i. e., reasoning about agents' beliefs about themselves and about other agents' beliefs, is essential to design winning strategies.
Natural Language Generation for Non-Expert Users
It assumes that there exist some natural language sentences in the application domain and uses this repository for the natural language description.
Phylotastic: An Experiment in Creating, Manipulating, and Evolving Phylogenetic Biology Workflows Using Logic Programming
The Phylotastic project was launched two years ago as a collaboration between evolutionary biologists and computer scientists, with the goal of developing an open architecture to facilitate the creation of such analysis workflows.
Solving Distributed Constraint Optimization Problems Using Logic Programming
Under consideration in Theory and Practice of Logic Programming (TPLP).
A Realistic Dataset for the Smart Home Device Scheduling Problem for DCOPs
The field of Distributed Constraint Optimization has gained momentum in recent years thanks to its ability to address various applications related to multi-agent cooperation.
Solving DCOPs with Distributed Large Neighborhood Search
The field of Distributed Constraint Optimization has gained momentum in recent years, thanks to its ability to address various applications related to multi-agent cooperation.
Accelerating Exact and Approximate Inference for (Distributed) Discrete Optimization with GPUs
Discrete optimization is a central problem in artificial intelligence.
Distributed Constraint Optimization Problems and Applications: A Survey
The field of Multi-Agent System (MAS) is an active area of research within Artificial Intelligence, with an increasingly important impact in industrial and other real-world applications.
An Action Language for Multi-Agent Domains: Foundations
It also allows the specification of agents' dynamic awareness of action occurrences which has future implications on what agents' know about the world and other agents' knowledge about the world.
Logic and Constraint Logic Programming for Distributed Constraint Optimization
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.
