Quantitative deduction and its fixpoint theory

fuzzy set two-person games alpha-beta pruning logic programming Nim expert systems PROLOG proof tree fuzzy deduction Herbrand models quantitative deduction

Mathematics Subject Classification ID

General topics in the theory of software (68N01) 2-person games (91A05) Fuzzy logic; logic of vagueness (03B52) Mechanization of proofs and logical operations (03B35)

Cited In (59)

Sound and Complete SLD-Resolution for Bilattice-Based Annotated Logic Programs
A TUPLE-ORIENTED ALGORITHM FOR DEDUCTION IN A FUZZY RELATIONAL DATABASE
Thresholded semantic framework for a fully integrated fuzzy logic language
Learning any memory-less discrete semantics for dynamical systems represented by logic programs
Programming in three-valued logic
Annotated revision programs
Automatic theorem proving in paraconsistent logics: Theory and implementation
Multi-valued logic programming semantics An algebraic approach
A top-\(k\) query answering procedure for fuzzy logic programming
Title not available (Why is that?)
An infinite-game semantics for well-founded negation in logic programming
XSB: extending Prolog with tabled logic programming
Knowledge, Uncertainty and Ignorance in Logic: Bilattices and beyond
Approximate well-founded semantics, query answering and generalized normal logic programs over lattices
Title not available (Why is that?)
Approximate reasoning by similarity-based SLD resolution.
Paraconsistent logic programming
A Transformation-based implementation for CLP with qualification and proximity
Using Histograms to Better Answer Queries to Probabilistic Logic Programs
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
Title not available (Why is that?)
Focused most probable world computations in probabilistic logic programs
Title not available (Why is that?)
Immediate consequences operator on generalized quantifiers
Aggregated fuzzy answer set programming
Fuzzy logic programming
An encompassing framework for paraconsistent logic programs
Beyond multi-adjoint logic programming
Qualified logic programming with bivalued predicates
Fixed Points In Quantitative Semantics
A new approach to hybrid probabilistic logic programs
Tabulation proof procedures for fuzzy linguistic logic programming
Probabilistic logic programming
A semantical framework for supporting subjective and conditional probabilities in deductive databases
Artificial Intelligence and Symbolic Computation
Towards Ludics Programming: Interactive Proof Search
Annotated fuzzy logic programs
A declarative semantics for CLP with qualification and proximity
Game semantics for non-monotonic intensional logic programming
Title not available (Why is that?)
Probabilistic Horn abduction and Bayesian networks
A game semantics for disjunctive logic programming
Proof and refutation in MALL as a game
Computing most probable worlds of action probabilistic logic programs: scalable estimation for \(10^{30,000}\) worlds
A logic for reasoning with inconsistency
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
Fixpoint semantics for logic programming a survey
From Fuzzy to Annotated Semantic Web Languages
Semantic probabilistic inference of predictions
Answering queries from context-sensitive probabilistic knowledge bases
Quantitative Logic Programming Revisited
Fibrational Semantics for Many-Valued Logic Programs: Grounds for Non-Groundness
Proximity-based unification theory

Recommendations

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)