5284 search results - page 623 / 1057 » Ontologizing Semantic Relations |
195
click to vote
ASP
2005
Springer
16 years 13 days ago
2005
Springer
The extended answer set semantics for simple logic programs, i.e. programs with only classical negation, allows for the defeat of rules to resolve contradictions. In addition, a pa...
186
click to vote
LPAR
2004
Springer
16 years 7 days ago
2004
Springer
The extended answer set semantics for simple logic programs, i.e. programs with only classical negation, allows for the defeat of rules to resolve contradictions. In addition, a pa...
191
click to vote
VLDB
1987
ACM
15 years 10 months ago
1987
ACM
is at least ae powerful as SQL. Two well known relational query languages that have a sound theoretical foundation are relational algebra and relational calculus. As SQL is more cl...
182
click to vote
IJAR
2008
15 years 6 months ago
2008
One of the key strengths of the region connection calculus (RCC) -- its generality -- is also one of its most important drawbacks for practical applications. The semantics of all ...
200
click to vote
MFCS
1998
Springer
15 years 11 months ago
1998
Springer
We develop a control flow analysis for the Imperative Object Calculus. We prove the correctness with respect to two Structural Operational Semantics that differ in minor technical ...