scientific article; zbMATH DE number 5212421

zbMath1121.68330MaRDI QIDQ5426204

Vladimir Lifschitz, Selim T. Erdoğan

Publication date: 16 November 2007

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17)

Related Items (10)

A characterization of answer sets for logic programs ⋮ Strong Equivalence and Program Structure in Arguing Essential Equivalence between Logic Programs ⋮ Hybrid planning for challenging construction problems: an answer set programming approach ⋮ Modular Answer Set Programming as a Formal Specification Language ⋮ A General Framework for Stable Roommates Problems using Answer Set Programming ⋮ Partial equilibrium logic ⋮ Relating constraint answer set programming languages and algorithms ⋮ Inferring phylogenetic trees using answer set programming ⋮ Vicious circle principle, aggregates, and formation of sets in ASP based languages ⋮ Relativized Hyperequivalence of Logic Programs for Modular Programming

This page was built for publication: