共 50 条
- [43] Reasoning about Probabilities in Unbounded First-Order Dynamical Domains PROCEEDINGS OF THE TWENTY-SIXTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2017, : 828 - 836
- [45] Dynamic First-Order Modeling of Phase-Transition Probabilities TRAFFIC AND GRANULAR FLOW '07, 2009, : 85 - 92
- [47] Error analysis for the first-order Gaussian recursive filter operator PROCEEDINGS OF THE 2016 FEDERATED CONFERENCE ON COMPUTER SCIENCE AND INFORMATION SYSTEMS (FEDCSIS), 2016, 8 : 673 - 678
- [48] Full abstraction for first-order objects with recursive types and subtyping THIRTEENTH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 1998, : 380 - 391
- [49] First-Order Reasoning and Primitive Recursive Natural Number Notations Studia Logica, 2010, 96 : 49 - 64
- [50] Characteristics of Reverberation and Its Stabilization by First-order Recursive Filter 2016 8TH INTERNATIONAL CONFERENCE ON INTELLIGENT HUMAN-MACHINE SYSTEMS AND CYBERNETICS (IHMSC), VOL. 2, 2016, : 43 - 46