✦ LIBER ✦

Inductive Logic Programming: Issues, results and the challenge of Learning Language in Logic

✍ Scribed by Stephen Muggleton

Publisher: Elsevier Science
Year: 1999
Tongue: English
Weight: 134 KB
Volume: 114
Category: Article
ISSN: 0004-3702
DOI: 10.1016/s0004-3702(99)00067-3

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Some results on the complexity of exploi

Some results on the complexity of exploiting data dependency in parallel logic programs

✍ Arthur Delcher; Simon Kasif 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 937 KB

We consider several problems related to maintaining and analyzing dataflow dependencies in AND-parallel execution of logic programs. Several problems related to optimal selection of literals for parallel execution are established to be intractable (NP-complete). Most importantly, we establish intrac

Program logic and equivalence in the pre

Program logic and equivalence in the presence of garbage collection

✍ Cristiano Calcagno; Peter O'Hearn; Richard Bornat 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 220 KB

It is generally thought that reasoning about programs in memory safe, garbage collected languages is much easier than in languages where the programmer has more explicit control over memory. Paradoxically, existing program logics are based on a low-level view of storage that is sensitive to the pres

Parallel Logic Programming in parlog: th

Parallel Logic Programming in parlog: the Language and its Implementation by Steve Gregory: Published by Addison-Wesley, 217pp. £17.95

✍ Greg Michaelson 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 108 KB

Unified logic programming approach to th

Unified logic programming approach to the abduction of plans and intentions in information-seeking dialogues

✍ Paulo Quaresma; JoséGabriel Lopes 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 820 KB

## ~> We propose a framework that supports the recognition of plans and intentions behind speech acts through abductive inferences over discourse sentences. These inferences allow each agent to have an active and intelligent participation in dialogues, namely, in cooperative information-seeking di

Logic and computation conference worksho

Logic and computation conference workshop on fifth generation programming languages: 3–11 January 1984 Monash University and the University of Melbourne, Melbourne, Australia

📂 Article 📅 1983 🏛 Elsevier Science ⚖ 97 KB

Facing the challenges of learning Englis

Facing the challenges of learning English as a foreign language in Israel: in response to Ganschow, Sparks and Schneider

✍ Janina Kahn-Horwitz; Naomi Roffman; Tova Gerta Teitelbaum 📂 Article 📅 1998 🏛 John Wiley and Sons 🌐 English ⚖ 39 KB 👁 3 views

This article describes the difficulties which Hebrew-speaking students with learning differences face when learning English as a foreign language in Israel. It considers ways of identifying these students and describes methods used for providing support in foreign language learning. This includes an