2152 search results - page 39 / 431 » On Automating the Calculus of Relations |
ILP
2007
Springer
15 years 6 months ago
2007
Springer
65
Voted
LICS
2005
IEEE
15 years 6 months ago
2005
IEEE
112
click to vote
CL
2000
Springer
15 years 5 months ago
2000
Springer
In this paper I give a brief overview of recent work on uncertainty inAI, and relate it to logical representations. Bayesian decision theory and logic are both normative frameworks...
GIS
2008
ACM
15 years 1 months ago
2008
ACM
One of the formalisms to qualitatively describe polylines in the plane are double-cross matrices. In a double-cross matrix the relative position of any two line segments in a poly...
93
Voted
ENTCS
2008
15 years 19 days ago
2008
In this paper, we define labeled multigraphs with ports, a graph model which specifies connection points for nodes and allows multiple edges and loops. The dynamic evolution of th...