4978 search results - page 64 / 996 » Logical models of argument |
102
Voted
EUSFLAT
2009
15 years 1 months ago
2009
111
Voted
EUSFLAT
2009
15 years 1 months ago
2009
128
Voted
ENTCS
2006
15 years 3 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...
139
click to vote
JANCL
2008
15 years 3 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...
141
Voted
LREC
2008
15 years 5 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...