Introduction

Authors:
Jürgen Dix;Michael Fisher;Hector Levesque;Leon Sterling
Affiliations:
TU Clausthal, Germany;University of Liverpool, UK;University of Toronto, Canada;University of Melbourne, Australia
Venue:
Annals of Mathematics and Artificial Intelligence
Year:
2004

Citing 0
Cited 4

Multi-agent Logics with Interacting Agents Based on Linear Temporal Logic: Deciding Algorithms

ICAISC '08 Proceedings of the 9th international conference on Artificial Intelligence and Soft Computing
Inference rules in multi-agents' temporal logics

Transactions on computational collective intelligence IV
Where logic and agents meet

Annals of Mathematics and Artificial Intelligence
Algorithm for Decision Procedure in Temporal Logic Treating Uncertainty, Plausibility, Knowledge and Interacting Agents

International Journal of Intelligent Information Technologies

Quantified Score

Hi-index	0.00

Visualization

Abstract