2766 search results - page 244 / 554 » Hybridizing a Logical Framework |
144
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Open Answer Set Programming (OASP) is an attractive framework for integrating ontologies and rules. In general OASP is undecidable. In previous work we provided a tableau-based alg...
160
click to vote
IS
2006
15 years 6 months ago
2006
Abstract. Terms which are not explicitly mentioned in the text of a document receive often a minor role in current retrieval systems. In this work we connect the management of such...
185
click to vote
IJVR
2007
15 years 6 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 ...
185
click to vote
TCS
2008
15 years 6 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 ...
175
click to vote
JANCL
2007
15 years 6 months ago
2007
ABSTRACT. Statements not only update our current knowledge, but also have other dynamic effects. In particular, suggestions or commands ‘upgrade’ our preferences by changing th...