2722 search results - page 25 / 545 » The Model Evolution Calculus |
92
Voted
JIIS
2010
15 years 25 days ago
2010
124
Voted
EMNLP
2011
14 years 2 months ago
2011
WOLLIC
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We introduce a tree-sequent calculus for inquisitive logic (Groenendijk 2008) as a special form of labelled deductive system (Gabbay 1996). In particular, we establish th...
115
click to vote
ENTCS
2007
15 years 2 months ago
2007
The use of process calculi to represent biological systems has led to the design of different formalisms such as brane calculi and κ-calculus. Both have proved to be useful to m...
128
Voted
LOGCOM
2007
15 years 2 months ago
2007
Structural causal models offer a popular framework for exploring causal concepts. However, due to their limited expressiveness, structural models have difficulties coping with su...