1781 search results - page 213 / 357 » Functional Answer Set Programming |
192
click to vote
LOPSTR
2007
Springer
16 years 5 days ago
2007
Springer
CooML is an object-oriented modeling language where specifications are theories in a constructive logic designed to handle incomplete information. In this logic we view snapshots ...
187
Voted
JELIA
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Often, decision making involves autonomous agents that are structured in a complex hierarchy, representing e.g. authority. Typically the agents share the same body of kno...
187
click to vote
AAAI
2007
15 years 8 months ago
2007
In many sensing applications we must continuously gather information to provide a good estimate of the state of the environment at every point in time. A robot may tour an environ...
139
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Modern solvers for Boolean Satisfiability (SAT) and Answer Set Programming (ASP) are based on sophisticated Boolean constraint solving techniques. In both areas, conflict-driven l...
200
click to vote
TIT
2011
15 years 29 days ago
2011
Loopy belief propagation has been employed in a wide variety of applications with great empirical success, but it comes with few theoretical guarantees. In this paper we analyze t...