Jacinto Alfonso Dávila Quintero

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