114 search results - page 7 / 23 » Partition-based logical reasoning for first-order and propos... |
ILP
2004
Springer
14 years 23 days ago
2004
Springer
Many domains in the field of Inductive Logic Programming (ILP) involve highly unbalanced data. Our research has focused on Information Extraction (IE), a task that typically invol...
CADE
2005
Springer
14 years 7 months ago
2005
Springer
Our general goal is to provide better automation in interactive proof assistants such as Coq. We present an interpreter of proof traces in first-order multi-sorted logic with equal...
FLAIRS
2008
13 years 9 months ago
2008
One of the major weaknesses of current research on the Semantic Web (SW) is the lack of proper means to represent and reason with uncertainty. A number of recent efforts from the ...
AI
2005
Springer
13 years 7 months ago
2005
Springer
117
click to vote
Book
Very well organized and easy to follow book. The table of content can be downloaded from the attachment section below.