Search Sciweavers | Sciweavers

22

LOGCOM
2006

82views more LOGCOM 2006»

Embedding Alternating-time Temporal Logic in Strategic STIT Logic of Agency

13 years 7 months ago

Seeing To It That (STIT) logic is a logic of agency, proposed in the 1990s in the domain of philosophy of action. It is the logic of constructions of the form `agent a sees to it ...

Jan Broersen, Andreas Herzig, Nicolas Troquard

claim paper

Read More »

30

click to vote

ARGMAS
2006
Springer

172views Intelligent Agents» more ARGMAS 2006»

Specification and Complexity of Strategic-Based Reasoning Using Argumentation

13 years 11 months ago

Download users.encs.concordia.ca

Abstract. In this paper, we propose a new strategic and tactic reasoning for agent communication. This reasoning framework is specified using argumentation theory combined to a rel...

Mohamed Mbarki, Jamal Bentahar, Bernard Moulin

claim paper

Read More »

24

click to vote

CE
2007

111views more CE 2007»

Developing strategic and reasoning abilities with computer games at primary school level

13 years 7 months ago

Download www.tlu.ee

The paper reports a small-scale, long-term pilot project designed to foster strategic and reasoning abilities in young primary school pupils by engaging them in a number of comput...

Rosa Maria Bottino, Lucia Ferlino, Michela Ott, Ma...

claim paper

Read More »

28

click to vote

ARGMAS
2005
Springer

118views Intelligent Agents» more ARGMAS 2005»

Practical Strategic Reasoning and Adaptation in Rational Argument-Based Negotiation

14 years 1 months ago

Download www.mit.edu

Recent years have seen an increasing interest of multiagent system research in employing the theory of argumentation for the development of communication protocols. While signiﬁc...

Michael Rovatsos, Iyad Rahwan, Felix A. Fischer, G...

claim paper

Read More »

15

click to vote

IEAAIE
2005
Springer

93views Artificial Intelligence» more IEAAIE 2005»

A Meta-level Architecture for Strategic Reasoning in Naval Planning

14 years 1 months ago