𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Reasoning About Propositional Commitments in Dialogue

✍ Scribed by Rodger Kibble

Publisher
Springer
Year
2006
Tongue
English
Weight
162 KB
Volume
4
Category
Article
ISSN
1570-7075

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Reasoning Processes in Propositional Log
Reasoning Processes in Propositional Logic
✍ Claes StrannegΓ₯rd; Simon UlfsbΓ€cker; David Hedqvist; Tommy GΓ€rling πŸ“‚ Article πŸ“… 2009 πŸ› Springer Netherlands 🌐 English βš– 554 KB
Reasoning about Strings in Databases
Reasoning about Strings in Databases
✍ GΓΆsta Grahne; Matti NykΓ€nen; Esko Ukkonen πŸ“‚ Article πŸ“… 1999 πŸ› Elsevier Science 🌐 English βš– 499 KB

In order to enable the database programmer to reason about relations over strings of arbitrary length, we introduce alignment calculus, a modal extension of the relational calculus. In addition to relations, a state in the model consists of a two-dimensional array where the strings are aligned on to