共 50 条
- [1] Translating Simple Legal Text to Formal Representations [J]. NEW FRONTIERS IN ARTIFICIAL INTELLIGENCE, JSAI-ISAI 2014, 2015, 9067 : 259 - 273
- [4] FORMAL REPRESENTATIONS IN DESIGN - DISCUSSION [J]. FORMAL DESIGN METHODS FOR CAD, 1994, 18 : 59 - 70
- [6] Translating between horn representations and their characteristic models [J]. JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 1995, 3 : 349 - 372
- [8] Integrating workflow representations into user interface design representations [J]. SOFTWARE-CONCEPTS AND TOOLS, 1996, 17 (04): : 173 - 187
- [9] A formal technique for hardware interface design [J]. ISCAS '97 - PROCEEDINGS OF 1997 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOLS I - IV: CIRCUITS AND SYSTEMS IN THE INFORMATION AGE, 1997, : 1592 - 1595
- [10] A formal technique for hardware interface design [J]. IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS II-ANALOG AND DIGITAL SIGNAL PROCESSING, 1998, 45 (05): : 584 - 591