✦ LIBER ✦

Learning in order to avoid search in logic programming

✍ Scribed by M.J. Pazzani

Publisher: Elsevier Science
Year: 1990
Tongue: English
Weight: 697 KB
Volume: 20
Category: Article
ISSN: 0898-1221
DOI: 10.1016/0898-1221(90)90115-z

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Inductive Logic Programming: Issues, res

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

✍ Stephen Muggleton 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 134 KB

Interlock avoidance in transparent and d

Interlock avoidance in transparent and dynamic parallel program instrumentation using logical clocks

✍ W. Cai; K. Zhang; S.J. Turner; C. Sun 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 262 KB

A fundamental problem with run-time monitoring of parallel programs is the intrusion introduced by instrumenting the original program. In order to minimize the amount of intrusion in monitoring parallel programs, the logical clock approach (LCA) was proposed. It uses logical clocks to time and contr

Distributed reasoning with ontologies an

Distributed reasoning with ontologies and rules in order-sorted logic programming

✍ Ken Kaneiwa; Riichiro Mizoguchi 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 832 KB

Guest editorial to the special issue on

Guest editorial to the special issue on inductive logic programming, mining and learning in graphs and

✍ Hendrik Blockeel; Karsten Borgwardt; Luc De Raedt; Pedro Domingos; Kristian Kers 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 151 KB

How to avoid complicated if-clause struc

How to avoid complicated if-clause structure in FORTRAN real-time programming

✍ H. Sobiesiak; W. Kneis 📂 Article 📅 1980 🏛 Elsevier Science ⚖ 713 KB

Learning from practice: Learning to see

Learning from practice: Learning to see what matters in program planning

✍ Arthur L. Wilson; Ronald M. Cervero 📂 Article 📅 1996 🏛 John Wiley and Sons ⚖ 608 KB