912 search results - page 93 / 183 » Abstract Saturation-Based Inference |
132
click to vote
DAGSTUHL
2007
15 years 4 months ago
2007
Abstract. This paper makes a foundational contribution to the discussions on the very nature of belief change operations. Belief revision and pdate are investigated within an abstr...
124
click to vote
IJCAI
2007
15 years 4 months ago
2007
argumentation frameworks have played a major role as a way of understanding argumentbased inference, resulting in different argumentbased semantics. In order to make such semantic...
133
click to vote
CCR
2008
15 years 2 months ago
2008
y be more complex than the course modeling abstraction we adopted in [2]. Real AS relationships may depend on a peering point, prefix, and even time [2]. For example, ISPs that dom...
126
click to vote
MICS
2010
15 years 1 months ago
2010
Abstract. There is something of a discontinuity at the heart of popular tactical theorem provers. Low-level, fully-checked mechanical proofs are large trees consisting of primitive...
171
click to vote
ICDE
2011
IEEE
14 years 6 months ago
2011
IEEE
—There is a growing interest in methods for analyzing data describing networks of all types, including information, biological, physical, and social networks. Typically the data ...