Forward Versus Backward Verification of Logic Programs

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-540-24599-5_22
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Basic Forward Chaining Construction for Logic Programs

1997English

Amygdala Activity in Response to Forward Versus Backward Dynamic Facial Expressions

Brain Research
NeuroscienceNeurologyDevelopmental BiologyMolecular Biology
2010English

Move Backward, Forward Signals

Protoplasma
MedicinePlant ScienceCell Biology
2019English

The Logic of Backward Induction

Journal of Economic Theory
EconomicsEconometrics
2015English

Looking Backward and Looking Forward

Econometrics
EconomicsEconometrics
2019English

Repetition Blindness, Forward and Backward.

Journal of Experimental Psychology: Human Perception and Performance
ArtsCognitive PsychologyHumanitiesBehavioral NeuroscienceMedicineExperimental
2002English

Looking Backward and Moving Forward

Psychology of Women Quarterly
DevelopmentalArtsPsychologyEducational PsychologyHumanitiesGender Studies
2015English

Interleaving Forward Backward Feature Selection

2010English

ALS—dying Forward, Backward or Outward?

Nature Reviews Neurology
Molecular NeuroscienceNeurologyCellular
2014English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy