NTHRYS › PhD Assistance › Mathematical Logic Foundations

Mathematical Logic Foundations

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Answer Set Programming and Disjunctive Logic Programs

Develops logical foundations for answer set programming and disjunctive logic programs, including semantics and complexity analysis.