8 citations · 18 across the 8 of their papers we have counts for
8 papers
A generalization of falsity in finitely-many valued logics
Nissim Francez
The paper proposes a new type of negation in multi-valued logics, providing a different way to answer the following question: what does it mean that some object language formula do…
Amalia -- A Unified Platform for Parsing and Generation
Shuly Wintner, Evgeniy Gabrilovich, Nissim Francez
Contemporary linguistic theories (in particular, HPSG) are declarative in nature: they specify constraints on permissible structures, not how such structures are to be computed. Gr…
Off-line Parsability and the Well-foundedness of Subsumption
Shuly Wintner, Nissim Francez
Typed feature structures are used extensively for the specification of linguistic information in many formalisms. The subsumption relation orders TFSs by their information content.…
Parsing with Typed Feature Structures
Shuly Wintner, Nissim Francez
In this paper we provide for parsing with respect to grammars expressed in a general TFS-based formalism, a restriction of ALE. Our motivation being the design of an abstract (WAM-…
Parsing with Typed Feature Structures
Shuly Wintner, Nissim Francez
In this paper we provide for parsing with respect to grammars expressed in a general TFS-based formalism, a restriction of ALE. Our motivation being the design of an abstract (WAM-…
Abstract Machine for Typed Feature Structures
Shuly Wintner, Nissim Francez
This paper describes an abstract machine for linguistic formalisms that are based on typed feature structures, such as HPSG. The core design of the abstract machine is given in det…