Sciweavers

4708 search results - page 33 / 942
» Generating the Structure of Argument
Sort
View
LANMR
2007
15 years 5 months ago
Teaching natural deduction to improve text argumentation analysis in engineering students
Teaching engineering students courses such as computer science theory, automata theory and discrete mathematics took us to realize that introducing basic notions of logic, especial...
Rogelio Dávila, Sara C. Hernández, J...
IAT
2007
IEEE
15 years 10 months ago
Formalizing Practical Reasoning Under Uncertainty: An Argumentation-Based Approach
Practical reasoning (PR), as advocated by philosophers is concerned by reasoning about what agents should do. It follows mainly two steps. A deliberation one for identifying the g...
Leila Amgoud, Henri Prade
SBMF
2009
Springer
15 years 10 months ago
Corecursive Algebras: A Study of General Structured Corecursion
Motivated by issues in designing practical total functional programming languages, we are interested in structured recursive equations that uniquely describe a function not because...
Venanzio Capretta, Tarmo Uustalu, Varmo Vene
CIA
2007
Springer
15 years 10 months ago
A Generic Framework for Argumentation-Based Negotiation
Past years have witnessed a growing interest in automated negotiation as a coordination mechanism for interacting agents. This paper presents a generic, problem- and domain-indepen...
Markus M. Geipel, Gerhard Weiss
NETCOOP
2009
Springer
15 years 10 months ago
Competition and Cooperation between Nodes in Delay Tolerant Networks with Two Hop Routing
This paper revisits the two-hop forwarding policy in delay tolerant networks (DTNs) using simple probabilistic arguments. Closed form expressions are derived for the main performan...
Eitan Altman