This paper documents GULP 3.1, a simple extension to Prolog that facilitates implementation of unification-based grammars (UBGs) by adding a notation for feature structures. For example, a:b..c:d denotes a feature structure ...

Covington, Nute, Schmitz, and Goodman (1988) wrote a program which takes natural language sentences as input, represents them using Discourse Representation Structures, then translates the structures into Prolog clauses. The ...

This paper uses ideas from artificial intelligence to show how default notions can be defined over Scott domains. We combine these ideas with ideas arising in domain theory to shed some light on the properties of ...

This paper describes a lexicon formalism (IBL for inheritance-based lexicon) that uses multiple default inheritance to state generalizations and exceptions in a natural and efficient way. The formalism is inspired by the ...