4617 search results - page 723 / 924 » Automation of Diagrammatic Reasoning |
176
click to vote
ICLP
2005
Springer
16 years 20 days ago
2005
Springer
We present a version of the CCP paradigm, which is both distributed and probabilistic. We consider networks with a fixed number of nodes, each of them possessing a local and indep...
195
click to vote
ICLP
2005
Springer
16 years 20 days ago
2005
Springer
This paper presents experimental comparisons between declarative encodings of various computationally hard problems in both Answer Set Programming (ASP) and Constraint Logic Progra...
187
click to vote
ICLP
2005
Springer
16 years 20 days ago
2005
Springer
This paper presents a reactive programming and triggering framework for the coordination of a large number of distributed agents with shared knowledge. At the heart of this framewo...
183
click to vote
ICLP
2005
Springer
16 years 20 days ago
2005
Springer
Abduction is usually carried out on partially-defined predicates. In this paper we investigate abduction applied to fully-defined predicates, specifically linear arithmetic cons...
225
click to vote
ICLP
2005
Springer
16 years 20 days ago
2005
Springer
Abstract. We instrument a higher-order logic programming search procedure to generate and check small proof witnesses for the Twelf system, an implementation of the logical framewo...