|Abstract||Dynamic 10gic programming is the result 0f making dynamic versions 0f first order predicate 10gic executable. The main sources of inspiration for this are the dynamic variable binding strategies that have become fashionable in natural language analysis (DRT , Anaphora, Logic , DPL ), the idea of implementing identity assertions as assignment commands familiar from constraint programming, and more in particular from Alma,-0 , and the genera.] injunction to explore logical dynamics emanating from the works of J 01121,11 van Benthemw eg. from..|
|Keywords||No keywords specified (fix it)|
|Through your library||Only published papers are available at libraries|
Similar books and articles
Jan Van Eijck & Fer-Jan De Vries (1995). Reasoning About Update Logic. Journal of Philosophical Logic 24 (1):19 - 45.
Albert Visser (2002). The Donkey and the Monoid. Dynamic Semantics with Control Elements. Journal of Logic, Language and Information 11 (1):107-131.
Jan Eijck & Fer-Jan Vries (1992). Dynamic Interpretation and HOARE Deduction. Journal of Logic, Language and Information 1 (1).
Jan van Eijck (2001). Incremental Dynamics. Journal of Logic, Language and Information 10 (3):319-351.
Sorry, there are not enough data points to plot this chart.
Added to index2009-01-28
Total downloads1 ( #274,602 of 549,007 )
Recent downloads (6 months)0
How can I increase my downloads?