Learn More
The objective of this thesis is to explore ways of describing agents in logical theories. The contribution is that the logical theories we build are a generalised form of logic programs. Like normal logic programs, these theories have an intuitive declarative reading and a procedural interpretation to guide the implementation of automatic devices and(More)
This paper describes an experiment on text summarization. A summary is made by means of a logic program executed by a computer. The logic program is an embodiment of a symbolic technique for natural language processing based on " style grammars ". These grammars, in turn, are based on a proposal by J. Williams (1990). The program obtains topics (the themes(More)
  • 1