scientific article; zbMATH DE number 733394
From MaRDI portal
Publication:4325782
zbMath0820.03014MaRDI QIDQ4325782
Publication date: 11 September 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Decidability of theories and sets of sentences (03B25)
Related Items (13)
Extending a Temporal Defeasible Argumentation Framework with Possibilistic Weights ⋮ A Logic Framework for P2P Deductive Databases ⋮ Dynamic reasoning with qualified syllogisms ⋮ An axiomatic analysis of structured argumentation with priorities ⋮ A system for defeasible argumentation, with defeasible priorities ⋮ Formalizing GDPR provisions in reified I/O logic: the DAPRECO knowledge base ⋮ A semantics for means-end relations ⋮ Backing and Undercutting in Defeasible Logic Programming ⋮ Nonmonotonicity in the framework of parametric logic ⋮ The foundations of DeLP: Defeating relations, games and truth values ⋮ Programming with Annotated Logics ⋮ Proving quantified literals in defeasible logic ⋮ GK: implementing full first order default logic for commonsense reasoning (system description)
This page was built for publication:
