838 search results - page 126 / 168 » From Natural Language to Formal Proof Goal |
172
Voted
ASIAN
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. The concept of unreliable failure detectors for reliable distributed systems was introduced by Chandra and Toueg as a fine-grained means to add weak forms of synchrony i...
180
click to vote
POPL
2009
ACM
16 years 1 months ago
2009
ACM
Concurrent Collections (CnC)[8] is a declarative parallel language that allows the application developer to express their parallel application as a collection of high-level comput...
220
click to vote
ROBOCUP
2004
Springer
16 years 3 days ago
2004
Springer
The paper discusses a top-down approach to model soccer knowledge, as it can be found in soccer theory books. The goal is to model soccer strategies and tactics in a way that they ...
179
click to vote
AAAI
2007
15 years 9 months ago
2007
Agents’ pro attitudes such as goals, intentions, desires, wishes, and judgements of satisfactoriness play an important role in how agents act rationally. To provide a natural an...
191
click to vote
NMR
2004
Springer
16 years 3 days ago
2004
Springer
All major semantics of normal logic programs and normal logic programs with aggregates can be described as fixpoints of the one-step provability operator or of operators that can...