Probabilistic propositional temporal logics
Information and Control
Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
A logic for reasoning about probabilities
Information and Computation - Selections from 1988 IEEE symposium on logic in computer science
Bisimulation through probabilistic testing
Information and Computation
Theory of generalized annotated logic programming and its applications
Journal of Logic Programming
Representing plans under uncertainty: a logic of time, chance, and action
Representing plans under uncertainty: a logic of time, chance, and action
Fundamenta Informaticae - Special issue: logics for artificial intelligence
Probabilistic logic programming
Information and Computation
Reasoning about knowledge and probability
Journal of the ACM (JACM)
Probabilistic deductive databases
ILPS '94 Proceedings of the 1994 International Symposium on Logic programming
The PLACA agent programming language
ECAI-94 Proceedings of the workshop on agent theories, architectures, and languages on Intelligent agents
Reactive, generative, and stratified models of probabilistic processes
Information and Computation
Temporal probabilistic logic programs
Proceedings of the 1999 international conference on Logic programming
Proving Liveness Properties of Concurrent Programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
"Sometime" is sometimes "not never": on the temporal logic of programs
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A Parametric Approach to Deductive Databases with Uncertainty
IEEE Transactions on Knowledge and Data Engineering
Database Support for Problematic Knowledge
EDBT '92 Proceedings of the 3rd International Conference on Extending Database Technology: Advances in Database Technology
Many-Valued Disjunctive Logic Programs with Probabilistic Semantics
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
Probalilistic Logic Programming under Maximum Entropy
ECSQARU '95 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
It Usually Works: The Temporal Logic of Stochastic Systems
Proceedings of the 7th International Conference on Computer Aided Verification
Modeling Uncertainty in Deductive Databases
DEXA '94 Proceedings of the 5th International Conference on Database and Expert Systems Applications
Artificial Intelligence: A Modern Approach
Artificial Intelligence: A Modern Approach
Reasoning about actions in a probabilistic setting
Eighteenth national conference on Artificial intelligence
A new polynomial-time algorithm for linear programming
STOC '84 Proceedings of the sixteenth annual ACM symposium on Theory of computing
"Sometimes" and "Not Never" Revisited: on Branching Versus Linear Time
"Sometimes" and "Not Never" Revisited: on Branching Versus Linear Time
Heterogeneous temporal probabilistic agents
ACM Transactions on Computational Logic (TOCL)
Probabilistic temporal logics via the modal mu-calculus
Theoretical Computer Science
Annals of Mathematics and Artificial Intelligence
Can blog communication dynamics be correlated with stock market activity?
Proceedings of the nineteenth ACM conference on Hypertext and hypermedia
Automatic verification of probabilistic concurrent finite state programs
SFCS '85 Proceedings of the 26th Annual Symposium on Foundations of Computer Science
CONVEX: Similarity-Based Algorithms for Forecasting Group Behavior
IEEE Intelligent Systems
A logic and time nets for probabilistic inference
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
Annotated Probabilistic Temporal Logic: Approximate Fixpoint Implementation
ACM Transactions on Computational Logic (TOCL)
A logic for causal inference in time series with discrete and continuous variables
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Hi-index | 0.00 |
The semantics of most logics of time and probability is given via a probability distribution over threads, where a thread is a structure specifying what will be true at different points in time (in the future). When assessing the probabilities of statements such as “Event a will occur within 5 units of time of event b,” there are many different semantics possible, even when assessing the truth of this statement within a single thread. We introduce the syntax of annotated probabilistic temporal (APT) logic programs and axiomatically introduce the key notion of a frequency function (for the first time) to capture different types of intrathread reasoning, and then provide a semantics for intrathread and interthread reasoning in APT logic programs parameterized by such frequency functions. We develop a comprehensive set of complexity results for consistency checking and entailment in APT logic programs, together with sound and complete algorithms to check consistency and entailment. The basic algorithms use linear programming, but we then show how to substantially and correctly reduce the sizes of these linear programs to yield better computational properties. We describe a real world application we are developing using APT logic programs.