1613 search results - page 130 / 323 » Functional and Constraint Logic Programming |
101
click to vote
ACL
1990
15 years 4 months ago
1990
In this paper, we represent singular definite noun phrases as functions in logical form. This representation is designed to model the behaviors of both anaphoric and non-anaphoric...
134
Voted
ICML
2009
IEEE
16 years 4 months ago
2009
IEEE
This paper addresses exact learning of Bayesian network structure from data and expert's knowledge based on score functions that are decomposable. First, it describes useful ...
119
Voted
CORR
2006
Springer
15 years 3 months ago
2006
Springer
In a previous work, the first author extended to higher-order rewriting and dependent types the use of size annotations in types, a termination proof technique called type or size ...
151
Voted
PPDP
2010
Springer
15 years 2 months ago
2010
Springer
We study the type checking and type inference problems for intuitionistic linear logic: given a System F typed λ-term, (i) for an alleged linear logic type, determine whether the...
127
Voted
TACAS
2007
Springer
15 years 9 months ago
2007
Springer
This paper presents a mechanised Hoare-style programming logic framework for assembly level programs. The framework has been designed to fit on top of operational semantics of rea...