2308 search results - page 237 / 462 » Representing Symbolic Reasoning |
143
click to vote
CCS
2005
ACM
16 years 3 days ago
2005
ACM
The Framework of Selective Interleaving Functions and the Modular Assembly Kit for Security Properties both provide a basis for the uniform representation and formal analysis of n...
162
click to vote
ICLP
2005
Springer
16 years 2 days ago
2005
Springer
Abduction is usually carried out on partially-defined predicates. In this paper we investigate abduction applied to fully-defined predicates, specifically linear arithmetic cons...
170
click to vote
DIAGRAMS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. This paper shows by a constructive method the existence of a diagrammatic representation called extended Euler diagrams for any collection of sets X1, ..., Xn , n < 9....
155
click to vote
MKM
2004
Springer
15 years 12 months ago
2004
Springer
A major obstacle for bridging the gap between textbook mathematics and formalising it on a computer is the problem how to adequately capture the intuition inherent in the mathemati...
136
click to vote
ICLP
2003
Springer
15 years 11 months ago
2003
Springer
We introduce a proposal to give argumentation capacity to databases. A database is said to have argumentation capacity if it can extract from the information available to it a set ...