4978 search results - page 63 / 996 » Logical models of argument |
APLAS
2009
ACM
14 years 2 months ago
2009
ACM
We study the resource calculus – the non-lazy version of Boudol’s λ-calculus with resources. In such a calculus arguments may be finitely available and mixed, giving rise to ...
AMAI
2008
Springer
13 years 10 months ago
2008
Springer
The paper studies the relationship between logic programs with the stable model semantics and difference logic recently considered in the Satisfiability Modulo Theories framework....
LREC
2008
13 years 11 months ago
2008
We present the machine learning framework that we are developing, in order to support explorative search for non-trivial linguistic configurations in low-density languages (langua...
RSCTC
2000
Springer
14 years 1 months ago
2000
Springer
EUSFLAT
2009
13 years 7 months ago
2009