393 search results - page 30 / 79 » Probabilistic Description Logic Programs |
TCS
2008
15 years 11 days ago
2008
Suppose we are given a set W of logical structures, or possible worlds, a set of logical formulas called possible data and a logical formula . We then consider the classification p...
107
Voted
JAR
2002
15 years 4 days ago
2002
Abstract. Can theorem proving in mathematical logic be addressed by classical mathematical techniques like the calculus of variations? The answer is surprisingly in the affirmative...
95
Voted
IJMSO
2006
15 years 14 days ago
2006
Recent expectations regarding the new generation of Web strongly depend on the success of Semantic Web technology. Resource Description Framework (RDF) is a basis for an explicit a...
91
Voted
ICTAC
2005
Springer
15 years 6 months ago
2005
Springer
Rewriting logic is a simple computational logic very well suited as a semantic framework within which many different models of computation, systems and languages can be naturally ...
123
Voted
ENTCS
2002
15 years 8 days ago
2002
In this work we provide a semantic description of functional logic languages covering notions like laziness, sharing, and non-determinism. Such a semantic description is essential...