共 50 条
- [21] Reasoning in Dynamic Logic about program termination [J]. PILLARS OF COMPUTER SCIENCE, 2008, 4800 : 441 - 456
- [22] Reasoning about self and others: A dynamic process [J]. AUTISM & DEVELOPMENTAL LANGUAGE IMPAIRMENTS, 2024, 9
- [24] A Heuristic Calculus for Transformative Reasoning about Social Information [J]. 2011 IEEE INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION (IRI), 2011, : 533 - 538
- [25] Tutorial 4: Reasoning about web information systems [J]. PERSPECTIVES IN CONCEPTUAL MODELING, 2005, 3770 : 464 - 467
- [30] A Probabilistic Logic for Reasoning about Uncertain Temporal Information [J]. UNCERTAINTY IN ARTIFICIAL INTELLIGENCE, 2015, : 248 - 257