Full abstraction in the lazy lambda calculus
Information and Computation
Rules of encounter: designing conventions for automated negotiation among computers
Rules of encounter: designing conventions for automated negotiation among computers
The independent choice logic for modelling multiple agents under uncertainty
Artificial Intelligence - Special issue on economic principles of multi-agent systems
Disjunctive logic programs with inheritance
Proceedings of the 1999 international conference on Logic programming
Answer set programming and plan generation
Artificial Intelligence
Dynamic Decision-Making in Logic Programming and Game Theory
AI '02 Proceedings of the 15th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Smodels - An Implementation of the Stable Model and Well-Founded Semantics for Normal LP
LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
On properties of update sequences based on causal rejection
Theory and Practice of Logic Programming
Resource allocation as an evolving strategy
Evolutionary Computation
Well-founded semantics for extended logic programs with dynamic preferences
Journal of Artificial Intelligence Research
Solving abduction by computing joint explanations
Annals of Mathematics and Artificial Intelligence
Coordination in answer set programming
ACM Transactions on Computational Logic (TOCL)
Integrating Answer Set Modules into Agent Programs
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Hierarchical decision making in multi-agent systems using answer set programming
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
Answer set programming for representing and reasoning about virtual institutions
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
Automatic music composition using answer set programming
Theory and Practice of Logic Programming
ASTREA: answer sets for a trusted reasoning environment for agents
Logic programming, knowledge representation, and nonmonotonic reasoning
LAIMA: a multi-agent platform using ordered choice logic programming
DALT'05 Proceedings of the Third international conference on Declarative Agent Languages and Technologies
Combining answer sets of nonmonotonic logic programs
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
Specifying and analysing agent-based social institutions using answer set programming
AAMAS'05 Proceedings of the 2005 international conference on Agents, Norms and Institutions for Regulated Multi-Agent Systems
Answer set modules for logical agents
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Fuzzy Equilibrium Logic: Declarative Problem Solving in Continuous Domains
ACM Transactions on Computational Logic (TOCL)
| Hi-index | 0.00 |
We present systems of logic programming agents (LPAS) to model the interactions between decision-makers while evolving to a conclusion. Such a system consists of a number of agents connected by means of unidirectional communication channels. Agents communicate with each other by passing answer sets obtained by updating the information received from connected agents with their own private information. We introduce a credulous answer set semantics for logic programming agents. As an application, we show how extensive games with perfect information can be conveniently represented as logic programming agent systems, where each agent embodies the reasoning of a game player, such that the equilibria of the game correspond with the semantics agreed upon by the agents in the LPAS.