Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Probabilistic reasoning in intelligent systems: networks of plausible inference
Probabilistic reasoning in intelligent systems: networks of plausible inference
Explanation and prediction: an architecture for default and abductive reasoning
Computational Intelligence
Logic and artificial intelligence
Artificial Intelligence
Representing Bayesian networks within probabilistic Horn abduction
Proceedings of the seventh conference (1991) on Uncertainty in artificial intelligence
Probabilistic Horn abduction and Bayesian networks
Artificial Intelligence
Selected papers of international conference on Fifth generation computer systems 92
The independent choice logic for modelling multiple agents under uncertainty
Artificial Intelligence - Special issue on economic principles of multi-agent systems
Computational intelligence: a logical approach
Computational intelligence: a logical approach
Causality: models, reasoning, and inference
Causality: models, reasoning, and inference
Artificial Intelligence - special issue on computational tradeoffs under bounded resources
Symbolic Logic and Mechanical Theorem Proving
Symbolic Logic and Mechanical Theorem Proving
Answer set programming and plan generation
Artificial Intelligence
State abstraction for programmable reinforcement learning agents
Eighteenth national conference on Artificial intelligence
Machine Learning
Logical generative models for probabilistic reasoning about existence, roles and identity
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Probabilistic partial evaluation: exploiting rule structure in probabilistic inference
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
Exploiting contextual independence in probabilistic inference
Journal of Artificial Intelligence Research
Exploiting causal independence in Bayesian network inference
Journal of Artificial Intelligence Research
Operations for learning with graphical models
Journal of Artificial Intelligence Research
Parameter learning of logic programs for symbolic-statistical modeling
Journal of Artificial Intelligence Research
Prediction is deduction but explanation is abduction
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
First-order probabilistic inference
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Representing diagnostic knowledge for probabilistic Horn abduction
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 2
IBAL: a probabilistic rational programming language
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Lifted first-order probabilistic inference
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
Compiling relational Bayesian networks for exact inference
International Journal of Approximate Reasoning
Inference in hybrid Bayesian networks with mixtures of truncated exponentials
International Journal of Approximate Reasoning
A Bayesian approach to learning Bayesian networks with local structure
UAI'97 Proceedings of the Thirteenth conference on Uncertainty in artificial intelligence
Context-specific independence in Bayesian networks
UAI'96 Proceedings of the Twelfth international conference on Uncertainty in artificial intelligence
Learning Bayesian networks with local structure
UAI'96 Proceedings of the Twelfth international conference on Uncertainty in artificial intelligence
New advances in inference by recursive conditioning
UAI'03 Proceedings of the Nineteenth conference on Uncertainty in Artificial Intelligence
Belief Logic Programming: Uncertainty Reasoning with Correlation of Evidence
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Query Answering in Belief Logic Programming
SUM '09 Proceedings of the 3rd International Conference on Scalable Uncertainty Management
Lifted aggregation in directed first-order probabilistic models
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Belief Logic Programming with Cyclic Dependencies
RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
First-order mixed integer linear programming
UAI '09 Proceedings of the Twenty-Fifth Conference on Uncertainty in Artificial Intelligence
ProbLog Technology for Inference in a Probabilistic First Order Logic
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Preprocessing boolean formulae for BDDs in a probabilistic context
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
Logical formalization of multimedia interpretation
Knowledge-driven multimedia information extraction and ontology evolution
Logic, probability and computation: foundations and issues of statistical relational AI
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
Probabilistic relational learning and inductive logic programming at a global scale
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
On the implementation of the CLP(BN) language
PADL'10 Proceedings of the 12th international conference on Practical Aspects of Declarative Languages
On the combination of logical and probabilistic models for information analysis
Applied Intelligence
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Three
The principles and practice of probabilistic programming
POPL '13 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Inference in probabilistic logic programs with continuous random variables
Theory and Practice of Logic Programming
Model checking with probabilistic tabled logic programming
Theory and Practice of Logic Programming
Using Generalized Annotated Programs to Solve Social Network Diffusion Optimization Problems
ACM Transactions on Computational Logic (TOCL)
A formal account of nondeterministic and failed actions
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Inference for a new probabilistic constraint logic
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
| Hi-index | 0.00 |
The Independent Choice Logic began in the early 90's as a way to combine logic programming and probability into a coherent framework. The idea of the Independent Choice Logic is straightforward: there is a set of independent choices with a probability distribution over each choice, and a logic program that gives the consequences of the choices. There is a measure over possible worlds that is defined by the probabilities of the independent choices, and what is true in each possible world is given by choices made in that world and the logic program. ICL is interesting because it is a simple, natural and expressive representation of rich probabilistic models. This paper gives an overview of the work done over the last decade and half, and points towards the considerable work ahead, particularly in the areas of lifted inference and the problems of existence and identity.