User contributions

From TAMI

Search for contributions

 Show contributions of new accounts only
 IP Address or username: Namespace: all (Main) Talk User User talk TAMI TAMI talk File File talk MediaWiki MediaWiki talk Template Template talk Help Help talk Category Category talk tw tw talk

From year (and earlier): From month (and earlier): all January February March April May June July August September October November December

(Latest | Earliest) View (newer 50) (older 50) (20 | 50 | 100 | 250 | 500)

• 21:33, 21 December 2011 (hist) (diff) Combining FOL QR CLP ODE ‎ (top)
• 22:23, 15 December 2011 (hist) (diff) Combining FOL QR CLP ODE ‎
• 20:59, 15 December 2011 (hist) (diff) Combining FOL QR CLP ODE ‎ (→Extended EC: Relevant Considerations)
• 20:48, 15 December 2011 (hist) (diff) Combining FOL QR CLP ODE ‎ (→Extended EC: Relevant Considerations)
• 20:58, 14 December 2011 (hist) (diff) Combining FOL QR CLP ODE ‎ (→Numerical Reasoning)
• 20:58, 14 December 2011 (hist) (diff) N Combining FOL QR CLP DEs ‎ (Combining FOL QR CLP DEs moved to Combining FOL QR CLP ODE) (top)
• 20:58, 14 December 2011 (hist) (diff) m Combining FOL QR CLP ODE ‎ (Combining FOL QR CLP DEs moved to Combining FOL QR CLP ODE)
• 19:02, 13 December 2011 (hist) (diff) N Combining FOL QR CLP ODE ‎ (New page: =Intro= There is no implementation for any form of reasoning (prediction, post-diction, planning, etc.) for Event Calculus with continuously varying parameters. We recently extended EC to...)
• 19:29, 12 December 2011 (hist) (diff) EC Additive Effects Independently ‎ (→More Extensions for Partial Values) (top)
• 17:59, 12 December 2011 (hist) (diff) Circumscription References ‎ (top)
• 20:51, 11 December 2011 (hist) (diff) EC Additive Effects Independently ‎ (→Example I: Water Tanks Problem)
• 18:34, 11 December 2011 (hist) (diff) EC Additive Effects Independently ‎ (→Tank problem)
• 18:32, 11 December 2011 (hist) (diff) EC Additive Effects Independently ‎ (→Event Calculus)
• 18:32, 11 December 2011 (hist) (diff) EC Additive Effects Independently ‎ (→Discussion)
• 20:52, 10 December 2011 (hist) (diff) EC Additive Effects Independently ‎ (→Abstract)
• 06:29, 10 December 2011 (hist) (diff) EC Additive Effects Independently ‎
• 06:26, 10 December 2011 (hist) (diff) EC Additive Effects Independently ‎ (→Notes)
• 06:25, 10 December 2011 (hist) (diff) EC Additive Effects Independently ‎
• 06:23, 10 December 2011 (hist) (diff) EC Additive Effects Independently ‎
• 06:20, 10 December 2011 (hist) (diff) EC Additive Effects Independently ‎ (→Notes)
• 06:20, 10 December 2011 (hist) (diff) EC Additive Effects Independently ‎ (→Notes)
• 05:54, 10 December 2011 (hist) (diff) EC Additive Effects Independently ‎ (→PDPs and Dependencies)
• 00:51, 10 December 2011 (hist) (diff) EC Additive Effects Independently ‎ (→PDPs and Dependencies)
• 00:50, 10 December 2011 (hist) (diff) EC Additive Effects Independently ‎ (→PDPs and Dependencies)
• 00:41, 10 December 2011 (hist) (diff) EC Additive Effects Independently ‎ (→PDPs and Dependencies)
• 00:40, 10 December 2011 (hist) (diff) EC Additive Effects Independently ‎ (→Discussion)
• 18:22, 9 December 2011 (hist) (diff) EC Additive Effects Independently ‎
• 18:15, 9 December 2011 (hist) (diff) EC Additive Effects Independently ‎
• 18:09, 9 December 2011 (hist) (diff) EC Additive Effects Independently ‎
• 00:25, 9 December 2011 (hist) (diff) EC Additive Effects Independently ‎ (→Appendix)
• 00:20, 9 December 2011 (hist) (diff) EC Additive Effects Independently ‎ (→Lemmas)
• 00:12, 9 December 2011 (hist) (diff) EC Additive Effects Independently ‎ (→Circumscription with Intra-predicate priorities)
• 23:02, 8 December 2011 (hist) (diff) EC Additive Effects Independently ‎ (→Lemmas)
• 21:46, 8 December 2011 (hist) (diff) EC Additive Effects Independently ‎ (→The Circumscription Policy CIRCCECA)
• 21:07, 8 December 2011 (hist) (diff) EC Additive Effects Independently ‎ (→Circumscription with Intra-predicate priorities)
• 20:47, 8 December 2011 (hist) (diff) EC Additive Effects Independently ‎ (→Circumscription with Intra-predicate priorities)
• 20:03, 8 December 2011 (hist) (diff) EC Additive Effects Independently ‎ (→Circumscription with Intra-predicate priorities)
• 20:02, 8 December 2011 (hist) (diff) EC Additive Effects Independently ‎ (→Lemmas)
• 19:45, 8 December 2011 (hist) (diff) EC Additive Effects Independently ‎ (→Circumscription with Intra-predicate priorities)
• 19:36, 8 December 2011 (hist) (diff) EC Additive Effects Independently ‎ (→Circumscription with Intra-predicate priorities)
• 19:34, 8 December 2011 (hist) (diff) EC Additive Effects Independently ‎ (→Lemmas)
• 18:18, 8 December 2011 (hist) (diff) EC Additive Effects Independently ‎ (→Appendix)
• 17:31, 8 December 2011 (hist) (diff) EC Additive Effects Independently ‎ (→Example II: Multiple Blocks Problem)
• 05:59, 8 December 2011 (hist) (diff) EC Additive Effects Independently ‎ (→Extensions for Partial Values)
• 05:58, 8 December 2011 (hist) (diff) EC Additive Effects Independently ‎ (→Event Calculus)
• 05:33, 8 December 2011 (hist) (diff) EC Additive Effects Independently ‎ (→Circumscription with Intra-predicate priorities)
• 05:25, 8 December 2011 (hist) (diff) EC Additive Effects Independently ‎ (→Circumscription with Intra-predicate priorities)
• 05:24, 8 December 2011 (hist) (diff) EC Additive Effects Independently ‎ (→The Circumscription Policy CIRCCECA)
• 04:42, 8 December 2011 (hist) (diff) EC Additive Effects Independently ‎ (→Computing Circumscription (in Restricted Formulas))
• 02:10, 8 December 2011 (hist) (diff) EC Additive Effects Independently ‎ (→The Circumscription Policy CIRCCECA)

(Latest | Earliest) View (newer 50) (older 50) (20 | 50 | 100 | 250 | 500)