3546 search results - page 501 / 710 » A Causal Logic of Logic Programming |
108
click to vote
CIE
2006
Springer
15 years 2 months ago
2006
Springer
Abstract. We outline a general theory of graph polynomials which covers all the examples we found in the vast literature, in particular, the chromatic polynomial, various generaliz...
ASPDAC
2006
ACM
15 years 2 months ago
2006
ACM
- This paper proposes a hardware design debugging method, Transition and Transaction Tracer (TTT), which probes and records the signals of interest for a long time, hours, days, or...
ECOOPW
2000
Springer
15 years 2 months ago
2000
Springer
Abstract. Classification is a central concept in object-oriented approaches such as object-oriented programming, object-oriented knowledge representation systems (including descrip...
IWMM
2000
Springer
15 years 2 months ago
2000
Springer
We extend Tofte and Talpin's region-based model for memory management to support backtracking and cuts, which makes it suitable for use with Prolog and other logic programmin...
CLIMA
2010
15 years 20 days ago
2010
We present an algorithm for finding uniform strategies in multi-agent systems with incomplete information. The algorithm finds all maximal uniform strategies for agents with incomp...