1

Semantics of Meta-Logic in an Algebra of Programs
Cite DOI
ATMS for Implementing Logic Programming
Cite
Meta for Modularising Logic Programming
Cite DOI
Metalogic for State Oriented Programming
Cite DOI
Normal Logic Programs as Open Positive Programs
Cite
Abductive Reasoning in a Multi-Theory Framework
Cite DOI
Constraints for Synchronizing Logic Coarse-grained Sequential Logic Processes
Cite DOI
Metalogic for Knowledge Representation
Cite
Objects in a Logic Programming Framework
Cite DOI
Open Logic Theories
Cite DOI