4978 search results - page 56 / 996 » Logical models of argument |
IACR
2011
12 years 9 months ago
2011
Abstract. In Asiacrypt 2010, Groth constructed the only previously known sublinearcommunication NIZK argument for circuit satisfiability in the common reference string model. We p...
AI
2002
Springer
13 years 9 months ago
2002
Springer
Systems provide a rich abstraction within which divers concepts of reasoning, acceptability and defeasibility of arguments, etc., may be studied using a unified framework. Two imp...
NHM
2010
13 years 4 months ago
2010
A quasistatic evolution problem for a phase transition model with nonconvex energy density is considered in terms of Young measures. We focus on the particular case of a finite num...
CICLING
2006
Springer
13 years 12 months ago
2006
Springer
Abstract. This paper argues that wordnets, being concept-based computational lexica, should include information on event and argument structures. This general approach is relevant ...
ATAL
2004
Springer
14 years 3 months ago
2004
Springer
This paper describes our work constructing a generalized framework for modeling multi agent interactions in education-related applications. Historically, interactive learning syst...