2236 search results - page 344 / 448 » Language Independence and Language Tolerance in Logic Progra... |
102
click to vote
IWMM
2000
Springer
15 years 7 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...
135
click to vote
CLIMA
2010
15 years 5 months 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...
125
click to vote
ENTCS
2008
15 years 4 months ago
2008
We present a system of refinement types for LF in the style of recent formulations where only canonical forms are well-typed. Both the usual LF rules and the rules for type refine...
117
click to vote
ACTAC
2002
15 years 3 months ago
2002
This paper describes a framework for handling bound variable renaming and substitution mathematically rigorously with the aim at the same time to stay as close as possible to huma...
137
click to vote
AROBOTS
1998
15 years 3 months ago
1998
We describe a uniform technique for representing both sensory data and the attentional state of an agent using a subset of modal logic with indexicals. The resulting representation...