5506 search results - page 74 / 1102 » Minimal Logic Programs |
123
click to vote
ALT
2004
Springer
15 years 9 months ago
2004
Springer
Probabilistic inductive logic programming, sometimes also called statistical relational learning, addresses one of the central questions of artificial intelligence: the integratio...
143
Voted
EUSFLAT
2009
14 years 10 months ago
2009
In this paper we present the operational semantics of RFuzzy, a fuzzy Logic Programming framework that represents thruth values using real numbers from the unit interval. RFuzzy pr...
100
Voted
ICFP
2008
ACM
16 years 22 days ago
2008
ACM
In the context of program verification in an interactive theorem prover, we study the problem of transforming function definitions with ML-style (possibly overlapping) pattern mat...
92
Voted
IPPS
1993
IEEE
15 years 4 months ago
1993
IEEE
The performance of threads is limited primarily by the overhead of two kinds of switching: vertical switching (user/kernel domain switching) and horizontal switching (context swit...
82
Voted
ACL
2010
2010
Minimized Models and Grammar-Informed Initialization for Supertagging with Highly Ambiguous Lexicons
14 years 10 months ago
We combine two complementary ideas for learning supertaggers from highly ambiguous lexicons: grammar-informed tag transitions and models minimized via integer programming. Each st...