2500 search results - page 147 / 500 » Logical Semantics of Modularisation |
176
click to vote
JASIS
2000
15 years 6 months ago
2000
In the logical approach to information retrieval (IR), retrieval is considered as uncertain inference. Whereas classical IR models are based on propositional logic, we combine Dat...
193
click to vote
NGC
2007
Springer
15 years 5 months ago
2007
Springer
Several constructive description logics,12) in which classical negation was replaced by strong negation as a component to treat negative atomic information have been proposed as in...
203
click to vote
RULEML
2010
Springer
15 years 4 months ago
2010
Springer
Rule bases are common in many business rule applications, clinical decision support programs, and other types of intelligent systems. As the size of the rule bases grows and the in...
173
click to vote
LPNMR
2009
Springer
16 years 29 days ago
2009
Springer
Abstract. We consider the problem of whether a given preferred answer set program can be reduced to a propositional formula. Research on this topic is of both theoretical and pract...
186
click to vote
FMCO
2007
Springer
16 years 17 days ago
2007
Springer
This article considers the coordination language Reo, a Petri net variant called zero-safe nets, and intuitionistic temporal linear logic (ITLL). The first part examines the seman...