Veronica Dahl

Patrick Saint-Dizier

Natural language semantics and pragmatics are now two major fields in linguistics, philosophy, artificial intelligence and computational linguistics. With the development of large and efficient Prolog interpreters and compilers and with the expansion of the theoretical aspects of logic programming, the study of natural language semantics and related pragmatic aspects is now becoming a very attractive topic. The proceedings of this workshop reflect these trends. The papers cover almost all the current research fields in natural language, including: morphology, syntax, parser design, generation, feature checking and specification, semantic representations and construction of cooperative responses. Articles on syntax deal with constraints to parsing and generation, rule pruning and comparison of logic-based language systems. The material on the compilers involves functional logic grammars and unification-based grammars. The work on semantics investigates logico-semantic induction, data semantics, comparatives, conceptual graphs, discourse representation, and graphs. Papers on pragmatics discuss disambiguation, cooperation with the user through integrity constraints, and question interpretation through epistemic reasoning. Panel discussions are centered around future directions of research as well as comparisons between different points of view about actual research projects.

Proceedings of the Second International Workshop on Natural Language Understanding and Logic Programming, Vancouver, Canada, 17-19 August, 1987

Natural Language Understanding and Logic Programming, II

La.) Padl 200 (2003 New Orleans

This book constitutes the refereed proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages, PADL 2003, held in New Orleans, LA, USA, in January 2003. The 23 revised full papers presented together with 3 invited contributions were carefully reviewed and selected from 57 submissions. All current aspects of declarative programming are addressed.

5th International Symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003, Proceedings

Practical Aspects of Declarative Languages

Philip Wadler

John Lloyd

Kung-Kiu Lau

Ulrich Furbach

Peter J. Stuckey

Manfred Kerber

Catuscia Palamidessi

Luis M. Pereira

Yehoshua Sagiv

These are the proceedings of the First International Conference on Compu- tional Logic (CL 2000) which was held at Imperial College in London from 24th to 28th July, 2000. The theme of the conference covered all aspects of the theory, implementation, and application of computational logic, where computational logic is to be understood broadly as the use of logic in computer science. The conference was collocated with the following events: { 6th International Conference on Rules and Objects in Databases (DOOD 2000) { 10th International Workshop on Logic-based Program Synthesis and Tra- formation (LOPSTR 2000) { 10th International Conference on Inductive Logic Programming (ILP 2000). CL 2000 consisted of seven streams: { Program Development (LOPSTR 2000) { Logic Programming: Theory and Extensions { Constraints { Automated Deduction: Putting Theory into Practice { Knowledge Representation and Non-monotonic Reasoning { Database Systems (DOOD 2000) { Logic Programming: Implementations and Applications. The LOPSTR 2000 workshop constituted the program development stream and the DOOD 2000 conference constituted the database systems stream. Each stream had its own chair and program committee, which autonomously selected the papers in the area of the stream. Overall, 176 papers were submitted, of which 86 were selected to be presented at the conference and appear in these proceedings. The acceptance rate was uniform across the streams. In addition, LOPSTR 2000 accepted about 15 extended abstracts to be presented at the conference in the program development stream.

First International Conference London, UK, July 24–28, 2000 Proceedings

Computational Logic — CL 2000

Veronica Dahl

Books

Your next favorite book is out there