5378 search results - page 374 / 1076 » Base Logics in Argumentation |
209
click to vote
IJVR
2007
15 years 7 months ago
2007
—This paper describes a framework for animating and controlling articulated bodies in a fluid simulation. We illustrate this approach by simulating an autonomous fish in various ...
219
click to vote
TCS
2008
15 years 7 months ago
2008
Starting from the logical description of gene regulatory networks developed by R. Thomas, we introduce an enhanced modelling approach based on timed automata. We obtain a refined ...
181
click to vote
BSL
1999
15 years 7 months ago
1999
We consider a classical (propositional) version, CBI, of O'Hearn and Pym's logic of bunched implications (BI) from a model- and prooftheoretic perspective. We present a c...
209
Voted
JAPLL
2010
15 years 6 months ago
2010
The previously introduced algorithm SQEMA computes first-order frame equivalents for modal formulae and also proves their canonicity. Here we extend SQEMA with an additional rule...
196
click to vote
ECAI
2010
Springer
15 years 5 months ago
2010
Springer
We investigate the complexity of axiom pinpointing for different members of the DL-Lite family of Description Logics. More precisely, we consider the problem of enumerating all mi...