✦ LIBER ✦

A full first-order constraint solver for decomposable theories

✍ Scribed by Khalil Djelloul

Publisher: Springer Netherlands
Year: 2009
Tongue: English
Weight: 384 KB
Volume: 56
Category: Article
ISSN: 1012-2443
DOI: 10.1007/s10472-009-9142-9

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Theories for mutagenicity: a study in fi

Theories for mutagenicity: a study in first-order and feature-based induction

✍ A. Srinivasan; S.H. Muggieton; M.J.E. Sternberg; R.D. King 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 90 KB

We consider what tagging models are most appropriate as front ends for probabilistic context-free grammar parsers. In particular, we ask if using a "multiple tagger", a tagger that returns more than one tag, improves parsing performance. Our conclusion is somewhat surprising: single-tag Markov-mode

A reciprocal theorem for a first order t

A reciprocal theorem for a first order theory of electrostriction

✍ Robin J. Knops 📂 Article 📅 1963 🏛 Springer 🌐 English ⚖ 393 KB

Inference of abduction theories for hand

Inference of abduction theories for handling incompleteness in first-order learning

✍ F. Esposito; S. Ferilli; T. M. A. Basile; N. Di Mauro 📂 Article 📅 2006 🏛 Springer-Verlag 🌐 English ⚖ 471 KB

A consistent model for first-order moder

A consistent model for first-order moderate rotation plate theory

✍ Elio Sacco 📂 Article 📅 1992 🏛 John Wiley and Sons 🌐 English ⚖ 762 KB

A unified theory for first-order discont

A unified theory for first-order discontinuous scalar differential equations

✍ S. Heikkilä; V. Lakshmikantham 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 744 KB

A modified first-order-warping theory fo

A modified first-order-warping theory for shear deformation analysis

✍ Hedi Hassis 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 204 KB