Sciweavers

5378 search results - page 60 / 1076
» Base Logics in Argumentation
Sort
View
IGPL
1998
127views more  IGPL 1998»
13 years 8 months ago
An Analysis of (Linear) Exponentials Based on Extended Sequents
We apply the 2-sequents approach to the analysis of several calculi derived from linear logic. We present a uniform formal system for Linear Logic, Elementary Linear Logic and Lig...
Stefano Guerrini, Simone Martini, Andrea Masini
EUSFLAT
2009
128views Fuzzy Logic» more  EUSFLAT 2009»
13 years 6 months ago
Differential Equations based on Fuzzy Rules
Marina R. B. Dias, Laécio C. Barros
COMMA
2008
13 years 10 months ago
Arguments from Experience: The PADUA Protocol
In this paper we describe PADUA, a protocol designed to enable agents to debate an issue drawing arguments not from a knowledge base of facts, rules and priorities but directly fro...
Maya Wardeh, Trevor J. M. Bench-Capon, Frans Coene...