|
No edit summary
|
Alter: template type. Add: chapter. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by Corvus florensis | #UCB_webform 2133/2500
|
||
Line 89:
<ref name="aProbLog">{{cite conference|last1 = Kimmig|first1 = A.|last2 = Van den Broeck|first2 = G.|last3 = De Raedt|first3 = L.|title = An algebraic Prolog for reasoning about possible worlds|conference = Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence|date = 2011|pages = 209–214}}</ref>
<ref name="CP-Logic">{{cite conference|last1 = Vennekens|first1 = Joost|last2 = Denecker|first2 = Marc|last3 = Bruynooghe|first3 = Maurice |title = CP-logic: A language of causal probabilistic events and its relation to logic programming|conference = Theory and practice of logic programming|date = 2009|pages = 245–308|volume = 9}}</ref>
<ref name="ICL">{{cite
}}
| |||