scientific article
From MaRDI portal
Publication:3100240
zbMath1226.68015MaRDI QIDQ3100240
Publication date: 23 November 2011
Full work available at URL: https://www.mat.unical.it/ASPOCP08/
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
dominanceontology matchingand inheritance networksanswer sets of QLPsquantified logic programs (QLP)ranking of search results
Related Items (6)
The Qu-Prolog unification algorithm: formalisation and correctness ⋮ QMaude: quantitative specification and verification in rewriting logic ⋮ Unnamed Item ⋮ Unnamed Item ⋮ An alternative semantics for quantified relevant logic ⋮ Quantified Equilibrium Logic and Foundations for Answer Set Programs
This page was built for publication:
