Logic

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Logic Programming Semantics and SLD Resolution

Investigation of declarative semantics for logic programs including least models and fixpoint characterizations.