共 50 条
- [21] Representing paraconsistent reasoning via quantified propositional logic [J]. INCONSISTENCY TOLERANCE, 2004, 3300 : 84 - 118
- [24] A Propositional Dynamic Logic Approach for Order of Magnitude Reasoning [J]. ADVANCES IN ARTIFICIAL INTELLIGENCE - IBERAMIA 2008, PROCEEDINGS, 2008, 5290 : 11 - +
- [26] Using temporal logic for spatial reasoning: Spatial Propositional Neighborhood Logic [J]. TIME 2006: THIRTEENTH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING, PROCEEDINGS, 2006, : 50 - +
- [27] Using temporal logic for spatial reasoning: Temporalized Propositional Neighborhood Logic [J]. COMPUTER AIDED SYSTEMS THEORY- EUROCAST 2007, 2007, 4739 : 313 - +
- [28] Content and context effects in children's and adults' conditional reasoning [J]. QUARTERLY JOURNAL OF EXPERIMENTAL PSYCHOLOGY SECTION A-HUMAN EXPERIMENTAL PSYCHOLOGY, 2002, 55 (03): : 839 - 854