1588 search results - page 62 / 318 » On the Logic of Constitutive Rules |
160
click to vote
AML
2007
15 years 6 months ago
2007
We investigate the computational complexity of deciding whether a given inference rule is admissible for some modal and superintuitionistic logics. We state a broad condition unde...
188
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Event-driven automation of reactive functionalities for complex event processing is an urgent need in today's distributed service-oriented architectures and Web-based event-d...
180
click to vote
ICCS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. In this paper, we explore the expressivity of default CG rules (a CGoriented subset of Reiter’s default logics) through two applications. In the first one, we show tha...
159
click to vote
IDEAL
2005
Springer
15 years 11 months ago
2005
Springer
Artificial neural networks play an important role for pattern recognition tasks. However, due to poor comprehensibility of the learned network, and the inability to represent expl...
166
click to vote
ESWS
2007
Springer
16 years 10 days ago
2007
Springer
WSML is an ontology language specifically tailored to annotate Web Services, and part of its semantics adheres to the rule-based knowledge representation paradigm of logic program...