4217 search results - page 48 / 844 » Computational indistinguishability logic |
IANDC
2010
14 years 4 months ago
2010
EMNLP
2011
13 years 9 months ago
2011
COMMA
2010
14 years 4 months ago
2010
There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing conflicting arg...
BIRTHDAY
2010
Springer
14 years 7 months ago
2010
Springer
Pioneers of logic, among them J.R. B
PPDP
2007
Springer
15 years 4 months ago
2007
Springer
We propose a new definition and use of a primitive getAllValues, for computing all the values of a non-deterministic expression in a functional logic program. Our proposal restri...