scientific article
From MaRDI portal
Publication:3007261
zbMath1220.68035MaRDI QIDQ3007261
Vladimir Lifschitz, Paolo Ferraris
Publication date: 21 June 2011
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (17)
To Vladimir Lifschitz on His 65th Birthday ⋮ Connecting First-Order ASP and the Logic FO(ID) through Reducts ⋮ A generalization of the Lin-Zhao theorem ⋮ Program equilibrium -- a program reasoning approach ⋮ Model-based recasting in answer-set programming ⋮ Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs ⋮ FLP answer set semantics without circular justifications for general logic programs ⋮ Modeling biological networks by action languages via answer set programming ⋮ Inferring phylogenetic trees using answer set programming ⋮ Reducts of Propositional Theories, Satisfiability Relations, and Generalizations of Semantics of Logic Programs ⋮ Stable models and circumscription ⋮ From answer set logic programming to circumscription via logic of GK ⋮ Determining inference semantics for disjunctive logic programs ⋮ Quantum approaches to graph colouring ⋮ Model-Based Knowledge Representation and Reasoning Via Answer Set Programming ⋮ Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation ⋮ Answer Set Programming: A Primer
This page was built for publication:
