Sciweavers

AI
2004
Springer
13 years 5 months ago
ASSAT: computing answer sets of a logic program by SAT solvers
We propose a new translation from normal logic programs with constraints under the answer set semantics to propositional logic. Given a normal logic program, we show that by addin...
Fangzhen Lin, Yuting Zhao
AI
2004
Springer
13 years 5 months ago
The representation of planning strategies
sis of strategies, recognizable abstract patterns of planned behavior, highlights the difference between the assumptions that people make about their own planning processes and th...
Andrew S. Gordon
AI
2004
Springer
13 years 11 months ago
Intrinsic Representation: Bootstrapping Symbols from Experience
If we are to understand human-level intelligence, we need to understand how meanings can be learned without explicit instruction. I take a step toward that understanding by showing...
Stephen David Larson
AI
2004
Springer
13 years 11 months ago
A Hybrid Schema for Systematic Local Search
Abstract. We present a new hybrid constraint solving schema which retains some systematicity of constructive search while incorporating the heuristic guidance and lack of commitmen...
William S. Havens, Bistra N. Dilkina
AI
2004
Springer
13 years 5 months ago
Stable repeated strategies for information exchange between two autonomous agents
This paper deals with the problem of designing a strategy profile which will enable collaborative interaction between agents. In particular, we consider the problem of information...
Rina Azoulay-Schwartz, Sarit Kraus
Artificial Intelligence
Top of PageReset Settings