4573 search results - page 699 / 915 » Automated Reasoning |
161
click to vote
ICLP
2005
Springer
16 years 2 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...
162
click to vote
ICLP
2005
Springer
16 years 2 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...
207
click to vote
ICLP
2005
Springer
16 years 2 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...
153
click to vote
ICLP
2005
Springer
16 years 2 days ago
2005
Springer
Constraint Handling Rules (CHR) is a high-level rule-based language extension, commonly embedded in Prolog. We introduce a new occurrence representation of CHR programs, and a new ...
142
click to vote
ILP
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. It is well known by Inductive Logic Programming (ILP) practioners that ILP systems usually take a long time to find valuable models (theories). The problem is specially ...