共 50 条
- [1] A decidable constraint diagram reasoning system [J]. JOURNAL OF LOGIC AND COMPUTATION, 2005, 15 (06) : 975 - 1008
- [2] CONSTRAINT REASONING IN FOCALTEST [J]. ICSOFT 2010: PROCEEDINGS OF THE FIFTH INTERNATIONAL CONFERENCE ON SOFTWARE AND DATA TECHNOLOGIES, VOL 2, 2010, : 82 - 91
- [3] Streamlined constraint reasoning [J]. PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP 2004, PROCEEDINGS, 2004, 3258 : 274 - 289
- [5] Type processing by constraint reasoning [J]. PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2006, 4279 : 1 - +
- [6] DEFAULT REASONING IN CONSTRAINT NETWORK [J]. IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY, 1992, 19 : 57 - 64
- [7] Constraint reasoning over strings [J]. PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP 2003, PROCEEDINGS, 2003, 2833 : 377 - 391
- [8] CONSTRAINT-BASED REASONING [J]. IEEE EXPERT-INTELLIGENT SYSTEMS & THEIR APPLICATIONS, 1991, 6 (06): : 55 - 55
- [9] Neutrality as a Constraint on Political Reasoning [J]. ETHICAL PERSPECTIVES, 2012, 19 (03) : 547 - 557
- [10] Reasoning about Constraint Models [J]. PRICAI 2014: TRENDS IN ARTIFICIAL INTELLIGENCE, 2014, 8862 : 795 - 808