4978 search results - page 64 / 996 » Logical models of argument |
EUSFLAT
2009
13 years 7 months ago
2009
EUSFLAT
2009
13 years 7 months ago
2009
ENTCS
2006
13 years 10 months ago
2006
We build a realizability model for linear logic using a name-passing process calculus. The construction is based on testing semantics for processes, drawing ideas from spatial and...
JANCL
2008
13 years 10 months ago
2008
This paper employs epistemic logic to investigate the philosophical foundations of Bayesian updating in belief revision. By Bayesian updating, we understand the tenet that an agen...
LREC
2008
13 years 11 months ago
2008
In the field of ontology mapping, multilingual ontology mapping is an issue that is not well explored. This paper proposes a framework for mapping of multilingual Description Logi...