3053 search results - page 286 / 611 » A Logic of Abstract Argumentation |
151
click to vote
IJCINI
2007
15 years 6 months ago
2007
Language is primarily a physical, and more particularly a biological phenomenon. To say that it is primarily so is to say that that is how, in the first instance, it presents itse...
191
click to vote
ENTCS
2000
15 years 6 months ago
2000
Substitution plays an important role in Hoare Logic, as it is used in interpreting assignments. When writing a computer-based realization of Hoare Logic, it is therefore important...
226
Voted
DLOG
2009
15 years 4 months ago
2009
Abstract. Model-based most specific concepts are a non-standard reasoning service in Description Logics. They have turned out to be useful in knowledge base completion for ontologi...
182
click to vote
LATIN
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. We present a probability logic (essentially a first order language extended with quantifiers that count the fraction of elements in a model that satisfy a first order ...
184
click to vote
SAS
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. In this paper we investigate the existence of a deductive veri cation method based on a logic that describes pointer aliasing. The main idea of such a method is that the ...