The following pages link to The Journal of Logic Programming (Q3030270):
Displaying 17 items.
- {log}: A language for programming in logic with finite sets (Q3129506) (← links)
- SLDNFA: An abductive procedure for abductive logic programs (Q3841101) (← links)
- Bottom-up dataflow analysis of normal logic programs (Q4012707) (← links)
- Efficient access mechanisms for tabled logic programs (Q4223452) (← links)
- Theory and practice of constraint handling rules (Q4245936) (← links)
- Non-monotonic reasoning with logic programming (Q4275259) (← links)
- Representing action and change by logic programs (Q4275262) (← links)
- Logic programming and knowledge representation (Q4305625) (← links)
- Structuring logic programs: a modal approach (Q4311648) (← links)
- Analyses of unsatisfiability for equational logic programming (Q4327430) (← links)
- A simple declarative language for describing narratives with actions (Q4352533) (← links)
- A simple polynomial groundness analysis for logic programs (Q4507857) (← links)
- Natural deduction as higher-order resolution (Q4720797) (← links)
- Defeasible logic versus Logic Programming without Negation as Failure (Q4934232) (← links)
- Conjunctive partial deduction: foundations, control, algorithms, and experiments (Q4939538) (← links)
- Solving large combinatorial problems in logic programming (Q5751930) (← links)
- Transformations of logic programs (Q6483351) (← links)
