共 50 条
- [41] A Unifying Framework for Reasoning about Normative Conflicts LOGICA YEARBOOK 2011, 2012, : 1 - 14
- [42] An Argumentation Framework for Reasoning about Bounded Resources 2012 IEEE 24TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2012), VOL 1, 2012, : 540 - 547
- [43] Reasoning about Loops in Total and General Correctness UNIFYING THEORIES OF PROGRAMMING, 2010, 5713 : 62 - +
- [44] Towards Complete Reasoning about Axiomatic Specifications VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, 2011, 6538 : 278 - 293
- [45] Reasoning about trust: A formal logical framework TRUST MANAGEMENT, PROCEEDING, 2004, 2995 : 291 - 303
- [46] A Framework for Prototyping and Reasoning about Distributed Systems PARALLEL COMPUTING: ARCHITECTURES, ALGORITHMS AND APPLICATIONS, 2008, 15 : 235 - +
- [47] Metric Reasoning About λ-Terms: The General Case PROGRAMMING LANGUAGES AND SYSTEMS (ESOP 2017): 26TH EUROPEAN SYMPOSIUM ON PROGRAMMING, 2017, 10201 : 341 - 367
- [48] A framework for geometric reasoning about tools in assembly 1996 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, PROCEEDINGS, VOLS 1-4, 1996, : 1837 - 1844
- [50] A General Qualitative Framework for Temporal and Spatial Reasoning Constraints, 2004, 9 : 99 - 121