scientific article; zbMATH DE number 741348
From MaRDI portal
Publication:4327612
zbMath0829.68022MaRDI QIDQ4327612
Publication date: 9 April 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (19)
Collaborative vs. Conflicting Learning, Evolution and Argumentation ⋮ A Selective Semantics for Logic Programs with Preferences ⋮ Equilibrium logic ⋮ RASP and ASP as a fragment of linear logic ⋮ Characterizations of the stable semantics by partial evaluation ⋮ Computing the well-founded semantics faster ⋮ Query answering in resource-based answer set semantics ⋮ Semantic-based construction of arguments: an answer set programming approach ⋮ Constraint-based correctness proofs for logic program transformations ⋮ Modularization of logic programs ⋮ Proof-theoretic foundations of normal logic programs ⋮ Partial equilibrium logic ⋮ A general theory of confluent rewriting systems for logic programming and its applications ⋮ Answer Set Programming: A Primer ⋮ Ensuring reference independence and cautious monotony in abstract argumentation ⋮ Strong and explicit negation in non-monotonic reasoning and logic programming ⋮ Characterizing D-WFS: Confluence and iterated GCWA ⋮ Graph-based construction of minimal models ⋮ Reasoning with infinite stable models
This page was built for publication:
