[Lecture Notes in Computer Science] Symbolic and Quantitative Approaches to Reasoning and Uncertainty Volume 747 || Variations of constrained default logic
- 作者Clarke, Michael; Kruse, Rudolf; Moral, Serafín
- 文件大小510.18KB
- 发表时间1993
- DOI10.1007/bfb0028215
- 页码310-317
The Unified Problem-Solving Method Development Language UPMLDieter Fensel; Enrico Motta; Frank van Harmelen; V. Richard Benjamins; Monica Crubezy; Stefan Decker; Mauro Gaspari; ; Rix Groenboom; William Grosso; Mark Musen; Enric Plaza; Guus Schreiber; Rudi Studer; Bob Wielinga · 2003
[Lecture Notes in Computer Science] Knowledge Acquisition, Modeling and Management Volume 1319 || KIDS for KADSPlaza, Enric; Benjamins, Richard · 1997
[Lecture Notes in Computer Science] Knowledge Acquisition, Modeling and Management Volume 1319 || Problem solving for redesignPlaza, Enric; Benjamins, Richard · 1997
[Lecture Notes in Computer Science] Knowledge Acquisition, Modeling and Management Volume 1319 || Knowledge acquisition first, modelling laterPlaza, Enric; Benjamins, Richard · 1997
[Lecture Notes in Computer Science] Knowledge Acquisition, Modeling and Management Volume 1319 || An ontology approach to product disassemblyPlaza, Enric; Benjamins, Richard · 1997
[Lecture Notes in Computer Science] Knowledge Acquisition, Modeling and Management Volume 1319 || Knowledge refinement for a design systemPlaza, Enric; Benjamins, Richard · 1997
[Lecture Notes in Computer Science] Knowledge Acquisition, Modeling and Management Volume 1319 || Supporting probability elicitation by sensitivity analysisPlaza, Enric; Benjamins, Richard · 1997
[Lecture Notes in Computer Science] Knowledge Acquisition, Modeling and Management Volume 1319 || The DARPA high performance knowledge bases programmePlaza, Enric; Benjamins, Richard · 1997