共 50 条
- [42] A general approach to partial order reductions in symbolic verification - (Extended abstract) COMPUTER AIDED VERIFICATION, 1998, 1427 : 379 - 390
- [46] Structure discovery in Bayesian networks by sampling partial orders 1600, Microtome Publishing (17):
- [47] An Investigation on Interdisciplinary Structure of Service Science - An extended abstract IEEE CONGRESS ON SERVICES 2008, PT I, PROCEEDINGS, 2008, : 247 - +
- [48] The Born rule as structure of spectral bundles (extended abstract) ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2012, (95): : 81 - 90
- [49] Vortex packets and the structure of wall turbulence - Extended abstract SCIENCE AND ART SYMPOSIUM 2000, 2000, : 77 - 77
- [50] Defining the Semantics of Abstract Argumentation Frameworks through Logic Programs and Partial Stable Models (Extended Abstract) PROCEEDINGS OF THE THIRTIETH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, IJCAI 2021, 2021, : 4735 - 4739