-
2
-
-
22944452426
-
ConEditor: Tool to input and maintain constraints
-
Whittlebury Hall, Northampton, UK
-
Ajit, S., Sleeman, D., Fowler, D.W. & Knott, D. (2004). ConEditor: Tool to input and maintain constraints. In Proceedings of the 14th International Conference on Engineering Knowledge in the Age of the Semantic Web, EKAW 2004 (pp. 466-468), Whittlebury Hall, Northampton, UK.
-
(2004)
Proceedings of the 14th International Conference on Engineering Knowledge in the Age of the Semantic Web, EKAW 2004
, pp. 466-468
-
-
Ajit, S.1
Sleeman, D.2
Fowler, D.W.3
Knott, D.4
-
3
-
-
52249106848
-
Acquisition and maintenance of constraints in engineering design
-
Banff, Canada
-
Ajit, S., Sleeman, D., Fowler, D.W., Knott, D. & Hui, K. (2005). Acquisition and maintenance of constraints in engineering design. In Proceedings of the 3rd International Conference on Knowledge Capture, KCAP 2005 (pp. 173-174), Banff, Canada.
-
(2005)
Proceedings of the 3rd International Conference on Knowledge Capture, KCAP 2005
, pp. 173-174
-
-
Ajit, S.1
Sleeman, D.2
Fowler, D.W.3
Knott, D.4
Hui, K.5
-
4
-
-
42149126447
-
ConEditor+: Capture and maintenance of constraints in engineering design
-
Hyderabad, India
-
Ajit, S., Sleeman, D., Fowler, D.W., Knott, D. & Hui, K. (2007). ConEditor+: Capture and maintenance of constraints in engineering design. In Proceedings of the IJCAI-07 Workshop on "Knowledge Management & Organizational Memories" (pp. 6-11), Hyderabad, India.
-
(2007)
Proceedings of the IJCAI-07 Workshop on "Knowledge Management & Organizational Memories"
, pp. 6-11
-
-
Ajit, S.1
Sleeman, D.2
Fowler, D.W.3
Knott, D.4
Hui, K.5
-
5
-
-
0024621838
-
Expert systems for configuration at digital: XCON and beyond
-
Barker, V.E. & O’Connor, D.E. (1989). Expert systems for configuration at digital: XCON and beyond. Communications of the ACM, 32(3), 298-318.
-
(1989)
Communications of the ACM
, vol.32
, Issue.3
, pp. 298-318
-
-
Barker, V.E.1
O’Connor, D.E.2
-
6
-
-
0029254142
-
CoLan: A functional constraint language and its implementation
-
Bassiliades, N. & Gray, P. (1995). CoLan: A functional constraint language and its implementation. Data and Knowledge Engineering, 14(3), 203-249.
-
(1995)
Data and Knowledge Engineering
, vol.14
, Issue.3
, pp. 203-249
-
-
Bassiliades, N.1
Gray, P.2
-
7
-
-
10044257236
-
-
Retrieved 29 May, 2008, from
-
Bechhofer, S., van-Harmelen, F., Hendler, J., Horrocks, I., McGuinness, D.L., Patel-Schneider, P.F. et al. (2004). OWL web ontology language reference. Retrieved 29 May, 2008, from: http://www.w3.org/TR/2004/REC-owl-ref-20040210/.
-
(2004)
OWL web ontology language reference
-
-
Bechhofer, S.1
van-Harmelen, F.2
Hendler, J.3
Horrocks, I.4
McGuinness, D.L.5
Patel-Schneider, P.F.6
-
8
-
-
79551602978
-
The semantic web
-
Berners-Lee, T., Hendler, J. & Lassila, O. (2001). The semantic web. Scientific American, 284(5), 28-37.
-
(2001)
Scientific American
, vol.284
, Issue.5
, pp. 28-37
-
-
Berners-Lee, T.1
Hendler, J.2
Lassila, O.3
-
9
-
-
0003105308
-
Constraint hierarchies and logic programming
-
Lisbon, Portugal
-
Borning, A., Maher, M., Martindale, A. & Wilson, M. (1989). Constraint hierarchies and logic programming. In Proceedings of the International Conference on Logic Programming (ICLP) (pp. 149-164), Lisbon, Portugal.
-
(1989)
Proceedings of the International Conference on Logic Programming (ICLP)
, pp. 149-164
-
-
Borning, A.1
Maher, M.2
Martindale, A.3
Wilson, M.4
-
10
-
-
0025508474
-
A constraint programming language for life-cycle engineering
-
Bowen, J., O’Grady, P. &Smith, L. (1990). A constraint programming language for life-cycle engineering. Artificial Intelligence in Engineering, 5(4), 206-220.
-
(1990)
Artificial Intelligence in Engineering
, vol.5
, Issue.4
, pp. 206-220
-
-
Bowen, J.1
O’Grady, P.2
Smith, L.3
-
12
-
-
39349115744
-
Maintenance of KBS’s by domain experts: The Holy Grail in practice
-
New Orleans, USA
-
Bultman, A., Kuipers, J. & Harmelen, F.V. (2000). Maintenance of KBS’s by domain experts: The Holy Grail in practice. In Proceedings of the Thirteenth International Conference on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems IEA/AIE’00 (pp. 139-148), New Orleans, USA.
-
(2000)
Proceedings of the Thirteenth International Conference on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems IEA/AIE’00
, pp. 139-148
-
-
Bultman, A.1
Kuipers, J.2
Harmelen, F.V.3
-
13
-
-
52249094841
-
A methodology for the maintenance of knowledge based systems
-
A. Niku-Lari (ed.), France
-
Coenen, F.P. (1992). A methodology for the maintenance of knowledge based systems. In A. Niku-Lari (ed.), Proceedings of the EXPERSYS-92, IITT-International (pp. 171-176), France.
-
(1992)
Proceedings of the EXPERSYS-92, IITT-International
, pp. 171-176
-
-
Coenen, F.P.1
-
15
-
-
52249091505
-
Custom-tailored development tools for knowledge-based systems
-
26.1-26.19, Banff, Canada
-
Eriksson, H., Puerta, A., Gennari, J., Rothenfluh, T., Tu, S. & Musen, M. (1995). Custom-tailored development tools for knowledge-based systems. In Proceedings of the Ninth Banff Knowledge Acquisition for Knowledge-Based Systems Workshop (pp. 26.1-26.19), Banff, Canada.
-
(1995)
Proceedings of the Ninth Banff Knowledge Acquisition for Knowledge-Based Systems Workshop
-
-
Eriksson, H.1
Puerta, A.2
Gennari, J.3
Rothenfluh, T.4
Tu, S.5
Musen, M.6
-
16
-
-
0346093834
-
Consistency-based diagnosis of configuration knowledge bases
-
Felfernig, A., Friedrich, G., Jannach, D. & Stumptner, M. (2004). Consistency-based diagnosis of configuration knowledge bases. Artificial Intelligence, 152, 213-234.
-
(2004)
Artificial Intelligence
, vol.152
, pp. 213-234
-
-
Felfernig, A.1
Friedrich, G.2
Jannach, D.3
Stumptner, M.4
-
17
-
-
34548214706
-
Designers’ Workbench
-
Cambridge, UK
-
Fowler, D.W., Sleeman, D., Wills, G., Lyon, T. & Knott, D. (2004). Designers’ Workbench. In Proceedings of the Twenty-Fourth SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence (pp. 209-221), Cambridge, UK.
-
(2004)
Proceedings of the Twenty-Fourth SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence
, pp. 209-221
-
-
Fowler, D.W.1
Sleeman, D.2
Wills, G.3
Lyon, T.4
Knott, D.5
-
19
-
-
33750700443
-
Capturing quantified constraints in FOL, through interaction with a relationship graph
-
Podebrady, Czech Republic
-
Gray, P. & Kemp, G. (2006). Capturing quantified constraints in FOL, through interaction with a relationship graph. In Proceedings of the 15th International Conference on Knowledge Engineering and Knowledge Management (EKAW 2006) (pp. 19-26), Podebrady, Czech Republic.
-
(2006)
Proceedings of the 15th International Conference on Knowledge Engineering and Knowledge Management (EKAW 2006)
, pp. 19-26
-
-
Gray, P.1
Kemp, G.2
-
20
-
-
0038219736
-
An expressive constraint language for semantic web applications
-
Seattle, USA
-
Gray, P., Hui, K. & Preece, A. (2001). An expressive constraint language for semantic web applications. In Proceedings of the E-Business and the Intelligent Web: Papers from the IJCAI-01 Workshop (pp. 46-53), Seattle, USA.
-
(2001)
Proceedings of the E-Business and the Intelligent Web: Papers from the IJCAI-01 Workshop
, pp. 46-53
-
-
Gray, P.1
Hui, K.2
Preece, A.3
-
21
-
-
0001615667
-
Designing with constraints
-
Y.E. Kalay (ed.), New York: Wiley Interscience
-
Gross, M., Ervin, S., Anderson, J. & Fleisher, A. (1987). Designing with constraints. In Y.E. Kalay (ed.), Computability of Design (pp. 53-83). New York: Wiley Interscience.
-
(1987)
Computability of Design
, pp. 53-83
-
-
Gross, M.1
Ervin, S.2
Anderson, J.3
Fleisher, A.4
-
22
-
-
58149365542
-
Towards principles for the design of ontologies used for knowledge sharing
-
Gruber, T.R. (1995). Towards principles for the design of ontologies used for knowledge sharing. International Journal of Human-Computer Studies, 43(5/6), 907-928.
-
(1995)
International Journal of Human-Computer Studies
, vol.43
, Issue.5-6
, pp. 907-928
-
-
Gruber, T.R.1
-
24
-
-
0001675181
-
A graph theoretic approach to matrix inversion by partitioning
-
Berlin: Springer-Verlag
-
Harary, F. (1962). A graph theoretic approach to matrix inversion by partitioning. In Numerische Mathematik (Vol. 4, pp. 128-135). Berlin: Springer-Verlag.
-
(1962)
Numerische Mathematik
, vol.4
, pp. 128-135
-
-
Harary, F.1
-
25
-
-
34548227224
-
3store: Efficient bulk RDF storage
-
Sanibel Island, FL
-
Harris, S. & Gibbins, N. (2003). 3store: Efficient bulk RDF storage. In Proceedings of the 1st International Workshop on Practical and Scalable Semantic Systems (PSSS’03), International Semantic Web Conference (pp. 98-112), Sanibel Island, FL.
-
(2003)
Proceedings of the 1st International Workshop on Practical and Scalable Semantic Systems (PSSS’03), International Semantic Web Conference
, pp. 98-112
-
-
Harris, S.1
Gibbins, N.2
-
26
-
-
18744404327
-
-
Retrieved 01 June, 2008, from
-
Horrocks, I., Patel-Schneider, P.F., Boley, H., Tabet, S., Grosof, B. & Dean, M. (2004). SWRL: A semantic web rule language combining OWL and RuleML. Retrieved 01 June, 2008, from: http://www.w3.org/Submission/SWRL/.
-
(2004)
SWRL: A semantic web rule language combining OWL and RuleML
-
-
Horrocks, I.1
Patel-Schneider, P.F.2
Boley, H.3
Tabet, S.4
Grosof, B.5
Dean, M.6
-
28
-
-
3142736987
-
The logic of ilog(j) configurator: Combining constraint programming with a description logic
-
Acapulco, Mexico
-
Junker, U. & Mailharro, D. (2003). The logic of ilog(j) configurator: Combining constraint programming with a description logic. In Proceedings of the Proceedings of IJCAI’03 Workshop on Configuration (pp. 13-20), Acapulco, Mexico.
-
(2003)
Proceedings of the Proceedings of IJCAI’03 Workshop on Configuration
, pp. 13-20
-
-
Junker, U.1
Mailharro, D.2
-
29
-
-
0036753824
-
Constraints modelling in product design
-
Lin, L. & Chen, L.C. (2002). Constraints modelling in product design. Journal of Engineering Design, 13(3), 205-214.
-
(2002)
Journal of Engineering Design
, vol.13
, Issue.3
, pp. 205-214
-
-
Lin, L.1
Chen, L.C.2
-
30
-
-
1842550305
-
-
W3C recommendation 10 February, 2004. Retrieved 29 August, 2006, from
-
McGuinness, D.L. & Harmelen, F.V. (2004). OWL web ontology language overview, W3C recommendation 10 February, 2004. Retrieved 29 August, 2006, from: http://www.w3.org/TR/owl-features/.
-
(2004)
OWL web ontology language overview
-
-
McGuinness, D.L.1
Harmelen, F.V.2
-
31
-
-
61349187169
-
Extending SWRL to express fully-quantified constraints
-
Hiroshima, Japan
-
McKenzie, C., Gray, P. & Preece, A. (2004). Extending SWRL to express fully-quantified constraints. In Proceedings of the Workshop on Rules and Rule Markup Languages for the Semantic Web (RuleML 2004), International Semantic Web Conference (pp. 139-154), Hiroshima, Japan.
-
(2004)
Proceedings of the Workshop on Rules and Rule Markup Languages for the Semantic Web (RuleML 2004), International Semantic Web Conference
, pp. 139-154
-
-
McKenzie, C.1
Gray, P.2
Preece, A.3
-
32
-
-
84958739392
-
The knowledge model of Protege-2000: Combining interoperability and flexibility
-
Juan-les-Pins, France
-
Noy, N.F., Fergerson, R.W. & Musen, M.A. (2000). The knowledge model of Protege-2000: Combining interoperability and flexibility. In Proceedings of the International Conference on Knowledge Engineering and Knowledge Management (EKAW’2000) (pp. 17-32), Juan-les-Pins, France.
-
(2000)
Proceedings of the International Conference on Knowledge Engineering and Knowledge Management (EKAW’2000)
, pp. 17-32
-
-
Noy, N.F.1
Fergerson, R.W.2
Musen, M.A.3
-
33
-
-
85013576102
-
-
Retrieved 04 June, 2007, from
-
Prud’hommeaux, E. & Seaborne, A. (2007). SPARQL query language for RDF, W3C working draft 26 March 2007. Retrieved 04 June, 2007, from: http://www.w3.org/TR/rdf-sparql-query/.
-
(2007)
SPARQL query language for RDF, W3C working draft 26 March 2007
-
-
Prud’hommeaux, E.1
Seaborne, A.2
-
34
-
-
0002042176
-
Tools and techniques for conceptual design
-
C. Tong & D. Sriram (eds), San Diego, CA: Academic Press
-
Serrano, D. & Gossard, D. (1992). Tools and techniques for conceptual design. In C. Tong & D. Sriram (eds), Artificial Intelligence in Engineering Design (Vol. 1, pp. 71-116). San Diego, CA: Academic Press.
-
(1992)
Artificial Intelligence in Engineering Design
, vol.1
, pp. 71-116
-
-
Serrano, D.1
Gossard, D.2
-
35
-
-
0041968320
-
Assessing the maintainability of XCON-in-RIME: Coping with problems of a very large rule-base
-
Seattle, USA
-
Soloway, E., Bachant, J. & Jensen, K. (1987). Assessing the maintainability of XCON-in-RIME: Coping with problems of a very large rule-base. In Proceedings of the AAAI-87 (pp. 824-829), Seattle, USA.
-
(1987)
Proceedings of the AAAI-87
, pp. 824-829
-
-
Soloway, E.1
Bachant, J.2
Jensen, K.3
-
36
-
-
0001357652
-
On an approach to techniques for the analysis of the structure of large systems of equations
-
Philadelphia, PA: SIAM Publishers
-
Steward, D.V. (1962). On an approach to techniques for the analysis of the structure of large systems of equations. In SIAM Review (Vol. 4, pp. 321-342). Philadelphia, PA: SIAM Publishers.
-
(1962)
SIAM Review
, vol.4
, pp. 321-342
-
-
Steward, D.V.1
-
39
-
-
0031095148
-
Configuration-design problem solving
-
Wielinga, B. & Schreiber, G. (1997). Configuration-design problem solving. IEEE Expert, 12(2), 49-57.
-
(1997)
IEEE Expert
, vol.12
, Issue.2
, pp. 49-57
-
-
Wielinga, B.1
Schreiber, G.2
|