Logic Programming and Nonmonotonic Reasoning

DOI10.1007/11546207zbMath1152.68406OpenAlexW4376598721MaRDI QIDQ5473976

Wolfgang Faber, Francesco Ricca

Publication date: 23 June 2006

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11546207

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Logic programming (68N17) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15)

Related Items (3)

On look-ahead heuristics in disjunctive logic programming ⋮ Разбиения на биграммах и марковость алгоритмов блочного шифрования ⋮ Подстановочные гомоморфизмы алгоритмов блочного шифрования и ${\otimes _{\mathbf{W}}}$-марковость

Uses Software

• ASSAT

This page was built for publication: Logic Programming and Nonmonotonic Reasoning