The following pages link to Probabilistic logic programming (Q1207942):
Displaying 50 items.
- A logical theory of localization (Q310092) (← links)
- Focused most probable world computations in probabilistic logic programs (Q454145) (← links)
- Imprecise probabilistic query answering using measures of ignorance and degree of satisfaction (Q454147) (← links)
- An overview of algorithmic approaches to compute optimum entropy distributions in the expert system shell MECore (extended version) (Q507545) (← links)
- On the complexity of propositional and relational credal networks (Q518627) (← links)
- A note on the model-theoretic semantics of fuzzy logic programming for dealing with inconsistency (Q598579) (← links)
- Annotated nonmonotonic rule systems (Q673384) (← links)
- Answering queries from context-sensitive probabilistic knowledge bases (Q673387) (← links)
- Query evaluation in probabilistic relational databases (Q673389) (← links)
- A top-\(k\) query answering procedure for fuzzy logic programming (Q695268) (← links)
- Combining probabilistic logic programming with the power of maximum entropy (Q814608) (← links)
- Probabilistic modelling, inference and learning using logical theories (Q841641) (← links)
- A new probabilistic constraint logic programming language based on a generalised distribution semantics (Q896427) (← links)
- On efficiently estimating the probability of extensions in abstract argumentation frameworks (Q899472) (← links)
- Robot location estimation in the situation calculus (Q901076) (← links)
- Approximate well-founded semantics, query answering and generalized normal logic programs over lattices (Q1039575) (← links)
- The theory of interval probabilistic logic programs (Q1039578) (← links)
- Probabilistic logic programming (Q1207942) (← links)
- Annotated fuzzy logic programs (Q1568489) (← links)
- Fuzzy types: A framework for handling uncertainty about types of objects (Q1594851) (← links)
- Approximate reasoning by similarity-based SLD resolution. (Q1607217) (← links)
- PRISM revisited: declarative implementation of a probabilistic programming language using multi-prompt delimited control (Q1726305) (← links)
- On the complexity of inference about probabilistic relational models (Q1978655) (← links)
- Speeding up parameter and rule learning for acyclic probabilistic logic programs (Q1999576) (← links)
- Inductive learning of answer set programs for autonomous surgical task planning. Application to a training task for surgeons (Q2071318) (← links)
- The joy of probabilistic answer set programming: semantics, complexity, expressivity, inference (Q2206456) (← links)
- Probabilization of logics: completeness and decidability (Q2254552) (← links)
- P-log: refinement and a new coherency condition (Q2317975) (← links)
- Probabilistic satisfiability and coherence checking through integer programming (Q2344365) (← links)
- Probabilistic logic with independence (Q2379311) (← links)
- Probabilistic description logic programs under inheritance with overriding for the semantic Web (Q2379312) (← links)
- Assembling a consistent set of sentences in relational probabilistic logic with stochastic independence (Q2390651) (← links)
- Probabilistic reasoning in a classical logic (Q2390656) (← links)
- Computing most probable worlds of action probabilistic logic programs: scalable estimation for \(10^{30,000}\) worlds (Q2426104) (← links)
- Quantitative pharmacophore models with inductive logic programming (Q2433182) (← links)
- Consistency checking and querying in probabilistic databases under integrity constraints (Q2453564) (← links)
- A framework for management of semistructured probabilistic data (Q2490397) (← links)
- A new approach to hybrid probabilistic logic programs (Q2642628) (← links)
- Uncertain inheritance and recognition as probabilistic default reasoning (Q2747225) (← links)
- Semantics for Possibilistic Disjunctive Programs (Q2845121) (← links)
- Super-Solutions (Q2946725) (← links)
- On the Complexity of Probabilistic Abstract Argumentation Frameworks (Q2946762) (← links)
- Reasoning with Uncertainty in Deductive Databases and Logic Programs (Q3114490) (← links)
- CP-logic: A language of causal probabilistic events and its relation to logic programming (Q3393227) (← links)
- A Logical Approach to Qualitative and Quantitative Reasoning (Q3524928) (← links)
- On the Relationship between Hybrid Probabilistic Logic Programs and Stochastic Satisfiability (Q3534675) (← links)
- A Survey of First-Order Probabilistic Models (Q3562276) (← links)
- A declarative semantics for CLP with qualification and proximity (Q3585172) (← links)
- Probabilistic reasoning with answer sets (Q3612603) (← links)
- Optimizing Fixpoint Evaluation of Logic Programs with Uncertainty (Q3628499) (← links)