Logics in AI: European Workshop JELIA '90 Amsterdam, The Netherlands, September 10–14, 1990 Proceedings
Book information
Description
The European Workshop on Logics in Artificial Intelligence was held at the Centre for Mathematics and Computer Science in Amsterdam, September 10-14, 1990. This volume includes the 29 papers selected and presented at the workshop together with 7 invited papers. The main themes are: - Logic programming and automated theorem proving, - Computational semantics for natural language, - Applications of non-classical logics, - Partial and dynamic logics.
Similar books
Automata for Branching and Layered Temporal Structures: An Investigation into Regularities of Infinite Transition Systems
2010 · PDF
Declarative Agent Languages and Technologies X: 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers
2013 · PDF
Formal Approaches to Agent-Based Systems: First InternationalWorkshop, FAABS 2000 Greenbelt, MD, USA, April 5–7, 2000 Revised Papers
2001 · PDF
Abstraction, Reformulation and Approximation: 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005. Proceedings
2005 · PDF
Declarative Agent Languages and Technologies X: 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers
2013 · PDF
Logic for Programming and Automated Reasoning: 6th International Conference, LPAR’99 Tbilisi, Georgia, September 6–10, 1999 Proceedings
1999 · PDF
Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino
2007 · PDF
Recent Advances in Constraints: 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers
2011 · PDF