Foundations of logic programming
Foundations of logic programming
Artificial Intelligence
Probabilistic reasoning in intelligent systems: networks of plausible inference
Probabilistic reasoning in intelligent systems: networks of plausible inference
Introduction to algorithms
Communications of the ACM
Fundamentals of speech recognition
Fundamentals of speech recognition
Probabilistic logic programming
Information and Computation
Probabilistic Horn abduction and Bayesian networks
Artificial Intelligence
Handbook of logic in artificial intelligence and logic programming (vol. 3)
Anytime deduction for probabilistic logic
Artificial Intelligence
XSB as an efficient deductive database engine
SIGMOD '94 Proceedings of the 1994 ACM SIGMOD international conference on Management of data
Context-sensitive statistics for improved grammatical language models
AAAI '94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 1)
Probabilistic deductive databases
ILPS '94 Proceedings of the 1994 International Symposium on Logic programming
An efficient probabilistic context-free parsing algorithm that computes prefix probabilities
Computational Linguistics
From statistical knowledge bases to degrees of belief
Artificial Intelligence
Answering queries from context-sensitive probabilistic knowledge bases
Selected papers from the international workshop on Uncertainty in databases and deductive systems
Generalized Queries on Probabilistic Context-Free Grammars
IEEE Transactions on Pattern Analysis and Machine Intelligence
Foundations of statistical natural language processing
Foundations of statistical natural language processing
Probabilistic Languages: A Review and Some Open Questions
ACM Computing Surveys (CSUR)
From Logic to Logic Programming
From Logic to Logic Programming
Parameter Estimation in Stochastic Logic Programs
Machine Learning
Expert Systems and Probabiistic Network Models
Expert Systems and Probabiistic Network Models
OLD Resolution with Tabulation
Proceedings of the Third International Conference on Logic Programming
Learning First-Order Acyclic Horn Programs from Entailment
ICML '98 Proceedings of the Fifteenth International Conference on Machine Learning
Semantics and Inference for Recursive Probability Models
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
Learning Acyclic First-Order Horn Sentences from Entailment
ALT '97 Proceedings of the 8th International Conference on Algorithmic Learning Theory
Estimation of probabilistic context-free grammars
Computational Linguistics
Stochastic attribute-value grammars
Computational Linguistics
Inside-outside reestimation from partially bracketed corpora
ACL '92 Proceedings of the 30th annual meeting on Association for Computational Linguistics
Linear tabulated resolution based on Prolog control strategy
Theory and Practice of Logic Programming
Inside-outside estimation of a lexicalized PCFG for German
ACL '99 Proceedings of the 37th annual meeting of the Association for Computational Linguistics on Computational Linguistics
Learning probabilities for noisy first-order rules
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
PRISM: a language for symbolic-statistical modeling
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
Exploiting causal independence in Bayesian network inference
Journal of Artificial Intelligence Research
Probabilistic deduction with conditional constraints over basic events
Journal of Artificial Intelligence Research
Effective Bayesian inference for stochastic programs
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Loglinear models for first-order probabilistic reasoning
UAI'99 Proceedings of the Fifteenth conference on Uncertainty in artificial intelligence
Parameterized Logic Programs where Computing Meets Learning
FLOPS '01 Proceedings of the 5th International Symposium on Functional and Logic Programming
ACM SIGKDD Explorations Newsletter
Semi-naive evaluation in linear tabling
PPDP '04 Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming
Naive Bayesian Classification of Structured Data
Machine Learning
Compressing probabilistic Prolog programs
Machine Learning
Linear tabling strategies and optimizations
Theory and Practice of Logic Programming
Feature forest models for probabilistic hpsg parsing
Computational Linguistics
Reasoning with recursive loops under the PLP framework
ACM Transactions on Computational Logic (TOCL)
A glimpse of symbolic-statistical modeling by PRISM
Journal of Intelligent Information Systems
First-Order Probabilistic Languages: Into the Unknown
Inductive Logic Programming
A Machine Learning Approach to Test Data Generation: A Case Study in Evaluation of Gene Finders
MLDM '07 Proceedings of the 5th international conference on Machine Learning and Data Mining in Pattern Recognition
Multi-class Protein Fold Recognition Through a Symbolic-Statistical Framework
WILF '07 Proceedings of the 7th international workshop on Fuzzy Logic and Applications: Applications of Fuzzy Sets Theory
Probabilistic Explanation Based Learning
ECML '07 Proceedings of the 18th European conference on Machine Learning
Parameter Learning in Probabilistic Databases: A Least Squares Approach
ECML PKDD '08 Proceedings of the 2008 European Conference on Machine Learning and Knowledge Discovery in Databases - Part I
The Life of a Logic Programming System
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
On the Efficient Execution of ProbLog Programs
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
An Inductive Logic Programming Approach to Statistical Relational Learning
Proceedings of the 2005 conference on An Inductive Logic Programming Approach to Statistical Relational Learning
Bayesian learning of Bayesian networks with informative priors
Annals of Mathematics and Artificial Intelligence
Variational Bayes via propositionalized probability computation in PRISM
Annals of Mathematics and Artificial Intelligence
Learning first-order probabilistic models with combining rules
Annals of Mathematics and Artificial Intelligence
Logic-Based Probabilistic Modeling
WoLLIC '09 Proceedings of the 16th International Workshop on Logic, Language, Information and Computation
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Non-discriminating Arguments and Their Uses
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Preprocessing for Optimization of Probabilistic-Logic Models for Sequence Analysis
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Query Answering in Belief Logic Programming
SUM '09 Proceedings of the 3rd International Conference on Scalable Uncertainty Management
Journal of Artificial Intelligence Research
ProbLog: a probabilistic prolog and its application in link discovery
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Inside-outside probability computation for belief propagation
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Generative modeling with failure in PRISM
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
BLOG: probabilistic models with unknown objects
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Evaluating abductive hypotheses using an EM algorithm on BDDs
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Local query mining in a probabilistic prolog
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
A hybrid symbolic-statistical approach to modeling metabolic networks
KES'07/WIRN'07 Proceedings of the 11th international conference, KES 2007 and XVII Italian workshop on neural networks conference on Knowledge-based intelligent information and engineering systems: Part I
Probabilistic inductive logic programming
Probabilistic inductive logic programming
New advances in logic-based probabilistic modeling by PRISM
Probabilistic inductive logic programming
CLP(BN): constraint logic programming for probabilistic knowledge
Probabilistic inductive logic programming
Basic principles of learning Bayesian logic programs
Probabilistic inductive logic programming
The independent choice logic and beyond
Probabilistic inductive logic programming
Preprocessing boolean formulae for BDDs in a probabilistic context
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
SLGAD Resolution for Inference on Logic Programs with Annotated Disjunctions
Fundamenta Informaticae - RCRA 2008 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
On the implementation of the probabilistic logic programming language problog
Theory and Practice of Logic Programming
Approximate bayesian computation for the parameters of PRISM programs
ILP'10 Proceedings of the 20th international conference on Inductive logic programming
Learning the parameters of probabilistic logic programs from interpretations
ECML PKDD'11 Proceedings of the 2011 European conference on Machine learning and knowledge discovery in databases - Volume Part I
CLP(BN): constraint logic programming for probabilistic knowledge
UAI'03 Proceedings of the Nineteenth conference on Uncertainty in Artificial Intelligence
Statistical relational learning: an inductive logic programming perspective
PKDD'05 Proceedings of the 9th European conference on Principles and Practice of Knowledge Discovery in Databases
Probabilistic-logical modeling of music
PADL'06 Proceedings of the 8th international conference on Practical Aspects of Declarative Languages
Modeling genome evolution with a DSEL for probabilistic programming
PADL'06 Proceedings of the 8th international conference on Practical Aspects of Declarative Languages
On the implementation of the CLP(BN) language
PADL'10 Proceedings of the 12th international conference on Practical Aspects of Declarative Languages
Statistical relational learning: an inductive logic programming perspective
ECML'05 Proceedings of the 16th European conference on Machine Learning
Theory and Practice of Logic Programming - Prolog Systems
The language features and architecture of b-prolog
Theory and Practice of Logic Programming - Prolog Systems
Negation elimination for finite PCFGs
LOPSTR'04 Proceedings of the 14th international conference on Logic Based Program Synthesis and Transformation
Logical bayesian networks and their relation to other probabilistic logical models
ILP'05 Proceedings of the 15th international conference on Inductive Logic Programming
Deriving a stationary dynamic bayesian network from a logic program with recursive loops
ILP'05 Proceedings of the 15th international conference on Inductive Logic Programming
Graphical EM for on-line learning of grammatical probabilities in radar Electronic Support
Applied Soft Computing
A general MCMC method for Bayesian inference in logic-based probabilistic modeling
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Online bayesian inference for the parameters of PRISM programs
ILP'11 Proceedings of the 21st international conference on Inductive Logic Programming
Variational bayes inference for logic-based probabilistic models on BDDs
ILP'11 Proceedings of the 21st international conference on Inductive Logic Programming
Location-based reasoning about complex multi-agent behavior
Journal of Artificial Intelligence Research
Lifted online training of relational models with stochastic gradient methods
ECML PKDD'12 Proceedings of the 2012 European conference on Machine Learning and Knowledge Discovery in Databases - Volume Part I
Inference in probabilistic logic programs with continuous random variables
Theory and Practice of Logic Programming
Programming spatio-temporal data streaming applications with high-level specifications
Proceedings of the Third ACM SIGSPATIAL International Workshop on Querying and Mining Uncertain Spatio-Temporal Data
BUNDLE: a reasoner for probabilistic ontologies
RR'13 Proceedings of the 7th international conference on Web Reasoning and Rule Systems
MCINTYRE: A Monte Carlo System for Probabilistic Logic Programming
Fundamenta Informaticae - Special Issue on the Italian Conference on Computational Logic: CILC 2011
Expectation maximization over binary decision diagrams for probabilistic logic programs
Intelligent Data Analysis
Hi-index | 0.00 |
We propose a logical/mathematical framework for statistical parameter learning of parameterized logic programs, i.e. definite clause programs containing probabilistic facts with a parameterized distribution. It extends the traditional least Herbrand model semantics in logic programming to distribution semantics, possible world semantics with a probability distribution which is unconditionally applicable to arbitrary logic programs including ones for HMMs, PCFGs and Bayesian networks. We also propose a new EM algorithm, the graphical EM algorithm, that runs for a class of parameterized logic programs representing sequential decision processes where each decision is exclusive and independent. It runs on a new data structure called support graphs describing the logical relationship between observations and their explanations, and learns parameters by computing inside and outside probability generalized for logic programs. The complexity analysis shows that when combined with OLDT search for all explanations for observations, the graphical EM algorithm, despite its generality, has the same time complexity as existing EM algorithms, i.e. the Baum-Welch algorithm for HMMs, the Inside-Outside algorithm for PCFGs, and the one for singly connected Bayesian networks that have been developed independently in each research field. Learning experiments with PCFGs using two corpora of moderate size indicate that the graphical EM algorithm can significantly outperform the Inside-Outside algorithm.