scientific article; zbMATH DE number 4160107
From MaRDI portal
zbMATH Open0706.68029MaRDI QIDQ3486858FDOQ3486858
Authors: Teodor C. Przymusinski 
Publication date: 1990
Title of this publication is not available (Why is that?)
Recommendations
- Three-valued nonmonotonic formalisms and semantics of logic programs
- scientific article; zbMATH DE number 25192
- On the relations between stable and well-founded semantics of logic programs
- The well-founded semantics for general logic programs
- A simple fixed point characterization of three-valued stable model semantics
Other nonclassical logic (03B60) Logic programming (68N17) Semantics in the theory of computing (68Q55)
Cited In (60)
- The expressive power of ``possible-is-certain semantics (extended abstract)
- Two simple characterizations of well-founded semantics
- Non-deterministic approximation fixpoint theory and its application in disjunctive logic programming
- A claim-centric perspective on abstract argumentation semantics: claim-defeat, principles, and expressiveness
- A sound and complete procedure for a general logic program in non-floundering derivations with respect to the 3-valued stable model semantics
- Default consequence relations as a logical framework for logic programs
- Complexity and expressive power of deterministic semantics for DATALOG\(^ \neg\).
- Uniform semantic treatment of default and autoepistemic logics
- Three-valued semantic pluralism: a defense of a three-valued solution to the \textit{sorites} paradox
- Modal provability foundations for argumentation networks
- Three-valued nonmonotonic formalisms and semantics of logic programs
- On the relations between stable and well-founded semantics of logic programs
- Stable and extension class theory for logic programs and default logics
- On the equivalence between logic programming semantics and argumentation semantics
- Complete extensions in argumentation coincide with 3-valued stable models in logic programming
- Logic Programming, Argumentation and Human Reasoning
- On the equivalence between abstract dialectical frameworks and logic programs
- Abduction in argumentation frameworks
- Enhancing global SLS-resolution with loop cutting and tabling mechanisms
- SOS rule formats for zero and unit elements
- On the equivalence of the static and disjunctive well-founded semantics and its computation
- SOS formats and meta-theory: 20 years after
- Functional queries in datalog
- A nondeterministic well-founded semantics
- A conservative look at operational semantics with variable binding
- Approximation Fixpoint Theory and the Semantics of Logic and Answers Set Programs
- On the extension of logic programming with negation through uniform proofs
- The expressive powers of stable models for bound and unbound DATALOG queries
- Variable binding operators in transition system specifications
- Integrating Inductive Definitions in SAT
- On the strong completion of logic programs
- Semantics and expressiveness of ordered SOS
- An abstract argumentation and logic programming comparison based on 5-valued labellings
- Assumption-based argumentation is logic programming with projection
- Rule formats for distributivity
- Rooted branching bisimulation as a congruence
- Well-founded semantics and stratification for ordered logic programs
- What is failure? An approach to constructive negation
- Well-founded and stationary models of logic programs
- Title not available (Why is that?)
- Three-valued semantics for hybrid MKNF knowledge bases revisited
- Multi-valued stable semantics for logic programs
- Syntax and semantics of multi-adjoint normal logic programming
- Logic programming semantics made easy
- A paraconsistent logic programming approach for querying inconsistent databases
- Loop checking and the well-founded semantics
- A simple fixed point characterization of three-valued stable model semantics
- On three-valued acceptance conditions of abstract dialectical frameworks
- Topological investigations of the operators of the well-founded, and alternating fixed-point semantics of normal logic programs
- Ultimate approximation and its application in nonmonotonic knowledge representation systems
- A unified rule format for bounded nondeterminism in SOS with terms as labels
- Annotated defeasible logic
- Strong and explicit negation in non-monotonic reasoning and logic programming
- Parametrized semantics of logic programs -- a unifying framework
- Equivalence of well-founded and stable semantics
- A congruence rule format with universal quantification
- The meaning of negative premises in transition system specifications. II
- Modeling the suppression task under weak completion and well-founded semantics
- Fixpoint semantics for logic programming a survey
- Skeptical reason maintenance and belief revision
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3486858)
