scientific article
From MaRDI portal
Publication:3983042
zbMath0744.68034MaRDI QIDQ3983042
Publication date: 26 June 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Undecidable goals for completed acyclic programs, Learning elementary formal systems with queries., A declarative approach for first-order built-in's of Prolog, The expressiveness of locally stratified programs, Well-founded and stationary models of logic programs, Negation as failure for disjunctive logic programming, Proving termination of general Prolog programs, A unifying view for logic programming with non-monotonic reasoning, The independent choice logic for modelling multiple agents under uncertainty, Learning directed relational models with recursive dependencies, Applying the information bottleneck to statistical relational learning, Unnamed Item, Three-valued completion for abductive logic programs, Answering queries from context-sensitive probabilistic knowledge bases, Negative probabilities in probabilistic logic programs, Logic programming, abduction and probability. A top-down anytime algorithm for estimating prior and posterior probabilities, Learning from interpretation transition, The Independent Choice Logic and Beyond, Applying Inductive Logic Programming to Process Mining, Probabilistic inductive constraint logic, Integrating answer set programming and constraint logic programming, Probabilistic Horn abduction and Bayesian networks, Sound and complete partial deduction with unfolding based on well-founded measures, Reasoning with infinite stable models
