scientific article; zbMATH DE number 1531964
From MaRDI portal
Publication:4514010
zbMath0962.68026MaRDI QIDQ4514010
Publication date: 19 November 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (30)
Advanced elementary formal systems. ⋮ Witnesses for Answer Sets of Logic Programs ⋮ A sequential model of bargaining in logic programming ⋮ Default Negation as Explicit Negation plus Update ⋮ Equilibrium logic ⋮ A characterization of answer sets for logic programs ⋮ Answer set programming based on propositional satisfiability ⋮ Integrity constraints in OWL ontologies based on grounded circumscription ⋮ A Survey of the Proof-Theoretic Foundations of Logic Programming ⋮ A labeled argumentation framework ⋮ Automatic knowledge generation for a persuasion dialogue system with enthymemes ⋮ Learning directed relational models with recursive dependencies ⋮ What is answer set programming to propositional satisfiability ⋮ Dialectical Explanations in Defeasible Argumentation ⋮ Defeasible Argumentation Support for an Extended BDI Architecture ⋮ Loop formulas for circumscription ⋮ Designing context-aware systems: a method for understanding and analysing context in practice ⋮ Backing and Undercutting in Defeasible Logic Programming ⋮ An approach to characterize graded entailment of arguments through a label-based framework ⋮ Equivalence for the \(G_3^\prime\)-stable models semantics ⋮ Nonmonotonic reasoning by inhibition nets ⋮ Sequent calculi for skeptical reasoning in predicate default logic and other nonmonotonic logics ⋮ The foundations of DeLP: Defeating relations, games and truth values ⋮ A Comparative Study of Some Central Notions of ASPIC+ and DeLP ⋮ Practical reasoning using values: an argumentative approach based on a hierarchy of values ⋮ On the graded acceptability of arguments in abstract and instantiated argumentation ⋮ On the Continuity of Gelfond-Lifschitz Operator and Other Applications of Proof-Theory in ASP ⋮ Possibilistic nested logic programs and strong equivalence ⋮ Logic programming and knowledge representation---The A-Prolog perspective ⋮ A logic programming approach to knowledge-state planning. II: The DLV\(^\mathcal K\) system
This page was built for publication:
