Allan Ramsay

Learn More
Manthey and Bry's model generation approach to theorem proving for FOPC has been greeted with considerable interest. Unfortunately the original presentation of the technique can become arbitrarily inefficient when applied to problems whose statements contain large amounts of irrelevant information. We show how to avoid these problems whilst retaining nearly(More)
Advanced cancer care planning is encouraged to achieve individualized care. We hypothesized that in-advance end-of-life (EOL) discussions and establishment of do-not-resuscitate (DNR) status prior to the terminal admission would be associated with better quality of inpatient EOL care. We conducted a post-mortality survey, utilizing the validated Toolkit of(More)
It is now common practice to use structured sets of features to describe syntactic structures, and to compare such structured sets by some form of unification. It is extremely tempting to try to encode disjunctive information within this framework; unfortunately, general unification of disjunctive structures is NPcomplete, which is not a desirable property(More)
It is widely accepted that semantic theories should, as far as possible, be compositional. The claim that a theory is compositional, however, lacks bite if lexical and pre-lexical items are allowed to mean diierent things in diierent contexts. The aim of the current paper is to show how two speciic phenomena can be dealt with by relying on combinatorial(More)
For a number of tasks in knowledge representation, and particularly in natural language semantics, it is useful to be able to treat propositions and properties as objects — as items that can appear as arguments of predicates, as things one can quantify over, and so on. Logics that support such “intensional” operations are notoriously hard to work with. The(More)
Most parsing algorithms require phrases that are to be combined to be either contiguous or marked as being ‘extraposed’. The assumption that phrases which are to be combined will be adjacent to one another supports rapid indexing mechanisms: the fact that in most languages items can turn up in unexpected locations cancels out much of the ensuing efficiency.(More)