725 search results - page 57 / 145 » Complexity of Computing with Extended Propositional Logic Pr... |
157
click to vote
AAAI
2007
15 years 8 months ago
2007
The use of ontologies in various application domains, such as Data Integration, the Semantic Web, or ontology-based data management, where ontologies provide the access to large a...
179
click to vote
EUROPAR
2004
Springer
15 years 11 months ago
2004
Springer
Tabling is an implementation technique that improves the declarativeness and expressiveness of Prolog by reusing answers to subgoals. The declarative nature of tabled logic program...
158
click to vote
CMSB
2004
Springer
15 years 11 months ago
2004
Springer
In this paper we present a methodology to estimate rates of enzymatic reactions in metabolic pathways. Our methodology is based on applying stochastic logic learning in ensemble le...
133
click to vote
SGAI
2007
Springer
16 years 2 days ago
2007
Springer
Computer scientists are often faced with the challenge of having to model the world and its associated uncertainties. One area in particular where modelling uncertainty is importa...
286
click to vote
AIML
2008
15 years 7 months ago
2008
This paper presents a survey of topological spatial logics, taking as its point of departure the interpretation of the modal logic S4 due to McKinsey and Tarski. We consider the ef...