Sciweavers

5378 search results - page 56 / 1076
» Base Logics in Argumentation
Sort
View
IJITDM
2008
33views more  IJITDM 2008»
13 years 8 months ago
Defeasible Reasoning in Web-Based Forms through Argumentation
Sergio Alejandro Gómez, Carlos Iván ...
SSIRI
2010
13 years 6 months ago
Model-Based Argument Analysis for Evolving Security Requirements
Thein Than Tun, Yijun Yu, Charles B. Haley, Bashar...
CLIMA
2004
13 years 10 months ago
A Computational Model for Conversation Policies for Agent Communication
In this paper we propose a formal specification of a persuasion protocol between autonomous agents using an approach based on social commitments and arguments. In order to be flexi...
Jamal Bentahar, Bernard Moulin, John-Jules Ch. Mey...
DALT
2008
Springer
13 years 9 months ago
A Complete STIT Logic for Knowledge and Action, and Some of Its Applications
Abstract. This paper presents a complete temporal STIT logic for reasoning about multi-agency. I discuss its application for reasoning about norms, knowledge, autonomy, and other m...
Jan Broersen