4617 search results - page 742 / 924 » Automation of Diagrammatic Reasoning |
203
click to vote
IDEAS
2002
IEEE
16 years 22 hour ago
2002
IEEE
Boolean expression simplification is a well-known problem in the history of Computer Science. The problem of determining prime implicates from an arbitrary Boolean expression has...
193
click to vote
DALT
2009
Springer
15 years 11 months ago
2009
Springer
We continue the work initiated in [1–3], where the acceptance logic, a modal logic for modelling individual and collective acceptances was introduced. This logic is aimed at capt...
184
click to vote
ECSQARU
2009
Springer
15 years 11 months ago
2009
Springer
We consider the problem of inference from multinomial data with chances θ, subject to the a-priori information that the true parameter vector θ belongs to a known convex polytope...
174
click to vote
LPNMR
2009
Springer
15 years 11 months ago
2009
Springer
Identifying maternal and paternal inheritance is essential to be able to find the set of genes responsible for a particular disease. However, due to technological limitations, we ...
244
click to vote
RR
2009
Springer
15 years 11 months ago
2009
Springer
In this paper we argue the case for integrating the distinctive functionalities of logic programs and production systems within an abductive logic programming agent framework. In t...