Logical Foundations of Agent-Based Computing

Authors:
Wiebe van der Hoek
Affiliations:
-
Venue:
EASSS '01 Selected Tutorial Papers from the 9th ECCAI Advanced Course ACAI 2001 and Agent Link's 3rd European Agent Systems Summer School on Multi-Agent Systems and Applications
Year:
2001

Citing 9
Cited 2

Communicating sequential processes

Communicating sequential processes
Intention is choice with commitment

Artificial Intelligence
Agent-oriented programming

Artificial Intelligence
Reasoning about knowledge

Reasoning about knowledge
AgentSpeak(L): BDI agents speak out in a logical computable language

MAAMAW '96 Proceedings of the 7th European workshop on Modelling autonomous agents in a multi-agent world : agents breaking away: agents breaking away
ConGolog, a concurrent programming language based on the situation calculus

Artificial Intelligence
Epistemic Logic for AI and Computer Science

Epistemic Logic for AI and Computer Science
Agent Programming in 3APL

Autonomous Agents and Multi-Agent Systems
Agent Programming with Declarative Goals

ATAL '00 Proceedings of the 7th International Workshop on Intelligent Agents VII. Agent Theories Architectures and Languages

Toward Inductive Logic Programming for Collaborative Problem Solving

IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
CILIOS: Connectionist inductive learning and inter-ontology similarities for recommending information agents

Information Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Logics for agents are useful when specifying, implementing and verifying agent programs.W e show that modal logic provides a nice tool to define informational, motivational and dynamic aspects of agents. We conclude by showing how an agent programming language can also benefit from this modal approach.