Quantitative deduction and its fixpoint theory
From MaRDI portal
Publication:3750144
Recommendations
- Quantification in modern logic
- Quantitative logic
- scientific article; zbMATH DE number 6769394
- scientific article; zbMATH DE number 1140581
- scientific article; zbMATH DE number 1028834
- scientific article; zbMATH DE number 1852921
- Quantitative logic theory in Gödel system
- Quantitative logic: a quantitative approach to many-valued logics
- scientific article; zbMATH DE number 1088204
- scientific article; zbMATH DE number 4106817
Cited in
(60)- Quantitative Logic Programming Revisited
- Fibrational Semantics for Many-Valued Logic Programs: Grounds for Non-Groundness
- Thresholded semantic framework for a fully integrated fuzzy logic language
- Programming in three-valued logic
- Learning any memory-less discrete semantics for dynamical systems represented by logic programs
- Annotated revision programs
- Multi-valued logic programming semantics An algebraic approach
- A top-\(k\) query answering procedure for fuzzy logic programming
- Automatic theorem proving in paraconsistent logics: Theory and implementation
- An infinite-game semantics for well-founded negation in logic programming
- scientific article; zbMATH DE number 4049122 (Why is no real title available?)
- XSB: extending Prolog with tabled logic programming
- Approximate well-founded semantics, query answering and generalized normal logic programs over lattices
- Knowledge, Uncertainty and Ignorance in Logic: Bilattices and beyond
- Approximate reasoning by similarity-based SLD resolution.
- scientific article; zbMATH DE number 1523027 (Why is no real title available?)
- Paraconsistent logic programming
- Optimizing Fixpoint Evaluation of Logic Programs with Uncertainty
- A note on the model-theoretic semantics of fuzzy logic programming for dealing with inconsistency
- A core language for fuzzy answer set programming
- Focused most probable world computations in probabilistic logic programs
- scientific article; zbMATH DE number 6179133 (Why is no real title available?)
- A TUPLE-ORIENTED ALGORITHM FOR DEDUCTION IN A FUZZY RELATIONAL DATABASE
- Aggregated fuzzy answer set programming
- Immediate consequences operator on generalized quantifiers
- An encompassing framework for paraconsistent logic programs
- Qualified logic programming with bivalued predicates
- Beyond multi-adjoint logic programming
- Fuzzy logic programming
- Fixed Points In Quantitative Semantics
- A new approach to hybrid probabilistic logic programs
- Tabulation proof procedures for fuzzy linguistic logic programming
- A transformation-based implementation for CLP with qualification and proximity
- Probabilistic logic programming
- A semantical framework for supporting subjective and conditional probabilities in deductive databases
- Sound and complete SLD-resolution for bilattice-based annotated logic programs
- Game semantics for non-monotonic intensional logic programming
- Annotated fuzzy logic programs
- A game semantics for disjunctive logic programming
- Artificial Intelligence and Symbolic Computation
- A declarative semantics for CLP with qualification and proximity
- Probabilistic Horn abduction and Bayesian networks
- From fuzzy to annotated semantic web languages
- Towards Ludics Programming: Interactive Proof Search
- Proof and refutation in MALL as a game
- scientific article; zbMATH DE number 6769394 (Why is no real title available?)
- Using histograms to better answer queries to probabilistic logic programs
- Computing most probable worlds of action probabilistic logic programs: scalable estimation for \(10^{30,000}\) worlds
- A logic for reasoning with inconsistency
- Declarative and procedural semantics of fuzzy similarity based unification
- A system of quantificational deduction
- Termination of logic programs with imperfect information: applications and query procedure
- The joy of probabilistic answer set programming: semantics, complexity, expressivity, inference
- Exploiting Game Theory for Analysing Justifications
- Semantics for possibilistic disjunctive programs
- scientific article; zbMATH DE number 4090844 (Why is no real title available?)
- Fixpoint semantics for logic programming a survey
- Semantic probabilistic inference of predictions
- Answering queries from context-sensitive probabilistic knowledge bases
- Proximity-based unification theory
This page was built for publication: Quantitative deduction and its fixpoint theory
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3750144)
