Sciweavers

93 search results - page 1 / 19
» Temporal Probabilistic Logic Programs: State and Revision
Sort
View
CORR
2011
Springer
151views Education» more  CORR 2011»
12 years 11 months ago
Temporal Probabilistic Logic Programs: State and Revision
There are numerous applications where we have to deal with temporal uncertainty associated with events. The Temporal Probabilistic (TP) Logic Programs should provide support for v...
Zoran Majkic
ECAI
2008
Springer
13 years 6 months ago
Belief Revision through Forgetting Conditionals in Conditional Probabilistic Logic Programs
Abstract. In this paper, we present a revision strategy of revising a conditional probabilistic logic program (PLP) when new information is received (which is in the form of probab...
Anbu Yue, Weiru Liu
AAAI
2008
13 years 7 months ago
Revising Imprecise Probabilistic Beliefs in the Framework of Probabilistic Logic Programming
Probabilistic logic programming is a powerful technique to represent and reason with imprecise probabilistic knowledge. A probabilistic logic program (PLP) is a knowledge base whi...
Anbu Yue, Weiru Liu
AAAI
2008
13 years 7 months ago
An AGM-Based Belief Revision Mechanism for Probabilistic Spatio-Temporal Logics
Austin Parker, Guillaume Infantes, V. S. Subrahman...
CISIS
2010
IEEE
13 years 11 months ago
Logic-Based Steady-State Analysis and Revision of Metabolic Networks with Inhibition
—This paper presents a qualitative logic-based method for the steady-state analysis and revision of metabolic networks with inhibition. The approach is able to automatically revi...
Oliver Ray, Ken E. Whelan, Ross D. King