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