Communicating Answer Set Programs

@inproceedings{Bauters2010CommunicatingAS,
  title={Communicating Answer Set Programs},
  author={Kim Bauters and Jeroen Janssen and Steven Schockaert and Dirk Vermeir and Martine De Cock},
  booktitle={ICLP},
  year={2010}
}
Answer set programming is a form of declarative programming that has proven very successful in succinctly formulating and solving complex problems. Although mechanisms for representing and reasoning with the combined answer set programs of multiple agents have already been proposed, the actual gain in expressivity when adding communication has not been… CONTINUE READING