4617 search results - page 724 / 924 » Automation of Diagrammatic Reasoning |
171
click to vote
ICLP
2005
Springer
16 years 19 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 ...
155
click to vote
ILP
2005
Springer
16 years 19 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 ...
198
click to vote
ILP
2005
Springer
16 years 19 days ago
2005
Springer
We propose a new approach to Inductive Logic Programming that systematically exploits caching and offers a number of advantages over current systems. It avoids redundant computati...
171
click to vote
ILP
2005
Springer
16 years 19 days ago
2005
Springer
The Cyc KB has a rich pre-existing ontology for representing common sense knowledge. To clarify and enforce its terms’ semantics and to improve inferential efficiency, the Cyc on...
185
click to vote
ISMIS
2005
Springer
16 years 19 days ago
2005
Springer
Deontic logic is appropriate to model a wide variety of legal arguments, however this logic suffers form certain paradoxes of which the so-called Chisholm is one of the most notor...