WWW Programming using computational logic systems (and the PiLLoW/Ciao library)

We discuss from a practical point of view a number of issues involved in writing Internet and WWW applications using LP/CLP systems. We describe Pd_l_oW, a public-domain Internet and WWW programming library for LP/CLP systems which we argüe significantly simplifies the process of writing such applications. Pd_l_oW provides facilities for generating HTML structured documents, producing HTML forms, writing form handlers, accessing and parsing WWW documents, and accessing code posted at HTTP addresses. We also describe the architecture of some application classes, using a high-level model of client-server interaction, active modules. We then propose an architecture for automatic LP/CLP code downloading for local execution, using generic browsers. Finally, we also provide an overview of related work on the topic. The PiLLoW library has been developed in the context of the &- Prolog and CIAO systems, but it has been adapted to a number of popular LP/CLP systems, supporting most of its functionality.

Physical and mathematical modeling of wave propagation in the Ariane 5 VEB structure

The separation of the lower stage of the ARIANE 5 Vehicle Equipment Bay (VEB) Structure is to be done using a pyrotechnic device. The wave propagation effects produced by the explosion can affect the electronic equipment, so it was decided to analyze, using both physical and numerical modeling, a small piece of the structure to determine the distribution of the accelerations and the relative importance of damping, stiffness, connections, etc. on the response of the equipment.

An approach based on Logic Forms and WordNet relationships to Textual Entailment performance

This paper outlines the approach adopted by the PLSI research group at University of Alicante in the PASCAL-2006 second Recognising Textual Entailment challenge. Our system is composed of several components. On the one hand, the first component performs the derivation of the logic forms of the text/hypothesis pairs and, on the other hand, the second component provides us with a similarity score given by the semantic relations between the derived logic forms. In order to obtain this score we apply several measures of similitude and relatedness based on the structure and content of WordNet.

Applying logic forms and statistical methods to CL-SR performance

This paper describes a CL-SR system that employs two different techniques: the first one is based on NLP rules that consist on applying logic forms to the topic processing while the second one basically consists on applying the IR-n statistical search engine to the spoken document collection. The application of logic forms to the topics allows to increase the weight of topic terms according to a set of syntactic rules. Thus, the weights of the topic terms are used by IR-n system in the information retrieval process.

Dynamic programming and mathematical economics.

"Prepared for United States Air Force Project Rand."

The philosophical and mathematical elements of physick in two books, the first containing the theory, the second the practice : compos'd for the use of all who study the art of medicine /

Mode of access: Internet.

Third-year mathematics for secondary schools, with Logarithmic and trigonometric tables and mathematical formlas,

Biography on verso of each portrait.

Computers and mathematical programming : proceedings of the Bicentennial Conference on Mathematical Programming held at the National Bureau of Standards, Gaithersburg, Maryland, November 29-December 1, 1976 /

Includes bibliographies.

Handbook of mathematical functions with formulas, graphs, and mathematical tables,

Mode of access: Internet.

Some statistical and mathematical approaches to meteorology : final report /

Final Report under Contract No.

A system of logic, ratiocinative and inductive, being a connected view of the principles of evidence and the methods of scientific investigation.

Mode of access: Internet.

Elementary lessons in logic; deductive and inductive. With copious questions and examples, and a vocabulary of logical terms.

Mode of access: Internet.

The philosophical and mathematical commentaries of Proclus on the first book of Euclid's Elements. To which are added a History of the restoration of Platonic theology by the latter Platonists, and a translation from the Greek of Proclus's Theological elements.

The translator's preface is followed by his Dissertation on the Platonic doctrine of ideas; Demonstrative syllogism; Nature of the soul; Dissertation on the true end of geometry; Life and commentaries of Proclus, including the life of Proclus by Marinus.

A system of logic, ratiocinative and inductive : being a connected view of the principles of evidence, and methods of scientific investigation /

Printer's statement on verso of title page: London: Harrison and Co., Printers, St. Martin's Lane.