A Logic-Based Approach for Adaptive Information Filtering Agents.
Raymond LauArthur H. M. ter HofstedePeter BruzaPublished in: PRICAI Workshops (2000)
Keyphrases
- multi agent systems
- multi agent
- dynamic logic
- alternating time temporal logic
- epistemic logic
- multiagent systems
- logical framework
- cooperative
- software agents
- intelligent agents
- autonomous agents
- coalition logic
- artificial agents
- agent technology
- agent systems
- multiple agents
- dynamic environments
- normative systems
- decision making
- agent receives
- agent behavior
- logic programming
- agent programming
- reasoning process
- resource allocation
- agent architecture
- game theoretic
- distributed agents
- multi agent planning
- incomplete information
- bounded rationality
- classical logic
- mobile agents
- automated reasoning
- model checking
- propositional variables
- interacting agents
- temporal logic
- asynchronous circuits
- mobile robot
- modal logic
- learning agents
- agent based simulation
- predicate logic
- open systems
- probabilistic logic
- trust model
- coalition formation