共 50 条
- [1] Binder, a logic-based security language 2002 IEEE SYMPOSIUM ON SECURITY AND PRIVACY, PROCEEDINGS, 2002, : 105 - 113
- [3] A logic-based language for describing device interoperability 2007 IEEE INTERNATIONAL CONFERENCE ON PERVASIVE SERVICES, 2007, : 373 - +
- [5] A logic-based policy definition language for network management LCN 2001: 26TH ANNUAL IEEE CONFERENCE ON LOCAL COMPUTER NETWORKS, PROCEEDINGS, 2001, : 34 - 40
- [6] A logic-based policy definition language for network management COMPUTER SCIENCE AND TECHNOLOGY IN NEW CENTURY, 2001, : 178 - 182
- [7] BAD, a declarative logic-based language for brain modeling PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, 2007, 4354 : 200 - 214
- [8] Logic-based networks: Concept graphs and conceptual structures CONCEPTUAL STRUCTURES: LOGICAL, LINGUISTIC, AND COMPUTATIONAL ISSUES, PROCEEDINGS, 2000, 1867 : 399 - 420