1486 search results - page 112 / 298 » A Logically Saturated Extension of |
198
click to vote
CONCUR
2011
Springer
14 years 5 months ago
2011
Springer
Abstract. In 2004, Berdine, Calcagno and O’Hearn introduced a fragment of separation logic that allows for reasoning about programs with pointers and linked lists. They showed th...
207
click to vote
SIGMOD
2006
ACM
16 years 6 months ago
2006
ACM
Fuzzy logic has been used yet for extending database models to deal with vagueness in the definitions of linguistic concepts as "tall" or "long". However, the ...
144
click to vote
ASP
2005
Springer
15 years 11 months ago
2005
Springer
In this paper we consider an extension of the answer set semantics allowing arbitrary use of strong negation. We prove that the strong negation extension of any intermediate logic ...
267
click to vote
ICLP
2009
Springer
16 years 6 months ago
2009
Springer
Multiagent planning deals with the problem of generating plans for multiple agents. It requires formalizing ways for the agents to interact and cooperate, in order to achieve their...
168
click to vote
ICFCA
2009
Springer
16 years 20 days ago
2009
Springer
Abstract. In a previous paper, we have introduced an approach for extending both the terminological and the assertional part of a Description Logic knowledge base by using informat...