✦ LIBER ✦

Verifiable agent dialogues

✍ Scribed by Christopher D. Walton

Publisher: Elsevier Science
Year: 2007
Tongue: English
Weight: 277 KB
Volume: 5
Category: Article
ISSN: 1570-8683
DOI: 10.1016/j.jal.2005.12.009

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Multi-agent human–machine dialogue: issu

Multi-agent human–machine dialogue: issues in dialogue management and referring expression semantics

✍ Alistair Knott; Peter Vlugter 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 453 KB

Verified bytecode verifiers

✍ Gerwin Klein; Tobias Nipkow 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 335 KB

Using the theorem prover Isabelle/HOL we have formalized and proved correct and executable bytecode veriÿer in the style of Kildall's algorithm for a signiÿcant subset of the Java Virtual Machine (JVM). First an abstract framework for proving correctness of data ow based type inference algorithms fo

Dialogues désaccordés

✍ Éric, Soral Alain Naulleau 📂 Fiction 🌐 French ⚖ 103 KB

Dialogues désaccordés

✍ Naulleau Éric, Soral Alain,; Naulleau Éric, Soral Alain 📂 Fiction 📅 2013 🌐 French ⚖ 103 KB

Dialogues désaccordés

✍ Éric, Soral Alain Naulleau 📂 Fiction 🌐 French ⚖ 103 KB

White Dialogues

✍ Bennett Sims 📂 Fiction 🏛 Two Dollar Radio 🌐 English ⚖ 477 KB 👁 2 views

**With all the brilliance, bravado, and wit of his award-winning debut, *A Questionable Shape*, Bennett Sims returns with an equally ambitious and wide-ranging collection of stories.** A house-sitter alone in a cabin in the woods comes to suspect that the cabin may need to be "unghosted." A raco