David S. Warren

David S. Warren is Professor of Computer Science at the State University of New York, Stony Brook.

  • Semantica

    Semantica

    Version 1.0 (for NeXTStep)

    Richard K. Larson, David S. Warren, Juliana Freire de Lima e Silva, O. Patricia Gomez, and Konstantinos Sagonas

    Semantica is the manual for a new software application that allows the user to explore the semantic structure of language in an engaging, interactive way. The program, which was produced as part of a National Science Foundation initiative for improving linguistics instruction, is designed to be used with Syntactica, a tool for studying natural language syntax. Semantica provides a simple graphical interface for creating semantic theories, viewing the truth conditions that those theories assign to phrase-markers created in Syntactica, and for testing those truth conditions in a pictorially represented world. Although designed for use in introductory semantics courses, Semantica has features that will appeal to professionals. For example, it can be used as a "derivation calculator" in following out complex semantic derivations involving many steps and operations. Manual plus NeXTStep software for PCs and NeXTStationsrunning NeXTStep version 3.2 or higher.

    • Paperback $45.00 £38.00
  • Logic Programming

    Logic Programming

    Proceedings of the Tenth International Conference on Logic Programming June 21-24, 1993, Budapest, Hungary

    David S. Warren

    The Tenth International Conference on Logic Programming, sponsored by the Association for Logic Programming, is a major forum for presentations of research, applications, and implementations in this important area of computer science. Logic programming is one of the most promising steps toward declarative programming and forms the theoretical basis of the programming language Prolog and it svarious extensions. Logic programming is also fundamental to work in artificial intelligence, where it has been used for nonmonotonic and commonsense reasoning, expert systems implementation, deductive databases, and applications such as computer-aided manufacturing.

    Topics Theory and Foundations • Programming Methodologies and Tools • Meta and Higher-order Programming • Parallelism • Concurrency • Deductive Databases • Implementations and Architectures • Applications • Artificial Intelligence • Constraints • Partial Deduction • Bottom-Up Evaluation • Compilation Techniques

    • Paperback $20.75 £16.99