-
1
-
-
0346330974
-
Constraint-based concurrent design
-
D. Serrano, "Constraint-based concurrent design," Systems Automation: Research & Applications, vol. 1, no. 3, pp. 217-230, 1991.
-
(1991)
Systems Automation: Research & Applications
, vol.1
, Issue.3
, pp. 217-230
-
-
Serrano, D.1
-
2
-
-
0026261298
-
Supporting conflict resolution in cooperative design systems
-
M. Klein, "Supporting conflict resolution in cooperative design systems," IEEE Trans. System, Man, Cybernetics, vol. 25, no. 5, pp. 1379-1390, 1991.
-
(1991)
IEEE Trans. System, Man, Cybernetics
, vol.25
, Issue.5
, pp. 1379-1390
-
-
Klein, M.1
-
3
-
-
0003611082
-
-
Springer-Verlag, January
-
M. Wooldridge and N. R. Jennings, eds., Intelligent Agents - Theories, Architectures, and Languages (Lectures Notes in Artificial Intelligence, vol. 890), Springer-Verlag, January, 1995.
-
(1995)
Intelligent Agents - Theories, Architectures, and Languages Lectures Notes in Artificial Intelligence
, vol.890
-
-
Wooldridge, M.1
Jennings, N.R.2
-
4
-
-
0004125119
-
-
Springer-Verlag, January
-
M. Wooldridge, J. P. Mueller, and M. Taube, eds., Intelligent Agents II (Lectures Notes in Artificial Intelligence, vol. 1037), Springer-Verlag, January, 1996.
-
(1996)
Intelligent Agents II Lectures Notes in Artificial Intelligence
, vol.1037
-
-
Wooldridge, M.1
Mueller, J.P.2
Taube, M.3
-
5
-
-
0003539156
-
Multiagent Systems
-
subseries: Lecture Notes in Artificial Intelligence, Springer-Verlag
-
Munindar P. Singh, Multiagent Systems. A Theoretical Framework for Intentions, Know-How, and Communications (Lectures Notes in Computer Science, vol. 799, subseries: Lecture Notes in Artificial Intelligence), Springer-Verlag.
-
A Theoretical Framework for Intentions, Know-How, and Communications Lectures Notes in Computer Science
, vol.799
-
-
Singh, M.P.1
-
8
-
-
0024679745
-
Toward intelligent CAD systems
-
S. Ohsuga, "Toward intelligent CAD systems," Computer Aided Design, vol. 21, no. 5, pp. 315-337,1989.
-
(1989)
Computer Aided Design
, vol.21
, Issue.5
, pp. 315-337
-
-
Ohsuga, S.1
-
9
-
-
0025460546
-
Knowledge and common knowledge in a distributed environment
-
J. Y. Halperin and Y. Moses, "Knowledge and common knowledge in a distributed environment," J. A.C.M., vol. 37, no. 3, pp. 549-587, 1988.
-
(1988)
J. A.C.M.
, vol.37
, Issue.3
, pp. 549-587
-
-
Halperin, J.Y.1
Moses, Y.2
-
11
-
-
71149095626
-
A model-theoretic analysis of knowledge
-
R. Fagin, J. Y. Halperin, and M. Y. Vandi, "A model-theoretic analysis of knowledge," J. A.C.M., vol. 38, no. 2, pp. 382-428, 1991.
-
(1991)
J. A.C.M.
, vol.38
, Issue.2
, pp. 382-428
-
-
Fagin, R.1
Halperin, J.Y.2
Vandi, M.Y.3
-
12
-
-
0020178841
-
A rule-based configuration of computer systems
-
J. R. McDermott, "A rule-based configuration of computer systems," Artificial Intelligence, vol. 19, no. 1, pp. 39-88.
-
Artificial Intelligence
, vol.19
, Issue.1
, pp. 39-88
-
-
McDermott, J.R.1
-
14
-
-
5544224531
-
The DARPA initiative in concurrent engineering
-
Y. V. Reddy, R. T. Wood, and Y. J. Cleetus, "The DARPA initiative in concurrent engineering," Concurrent Engineering Research in Review, vol. 1, pp. 2-10, 1991/1992.
-
(1991)
Concurrent Engineering Research in Review
, vol.1
, pp. 2-10
-
-
Reddy, Y.V.1
Wood, R.T.2
Cleetus, Y.J.3
-
15
-
-
0016923775
-
Consistency in networks of relations
-
A. K. Mackworth, "Consistency in networks of relations," Artificial Intelligence, no. 8, pp. 99-118,1977.
-
(1977)
Artificial Intelligence
, Issue.8
, pp. 99-118
-
-
Mackworth, A.K.1
-
16
-
-
0009455564
-
An efficiency arc consistency algorithm for a class of CSP problems
-
Sydney, Australia, Morgan Kaufman
-
Y. Deville and P. Van Hentenryck, "An efficiency arc consistency algorithm for a class of CSP problems," Proc. 12th Intern. Conference on Artificial Intelligence (IJCAI-91), Sydney, Australia, Morgan Kaufman, 1991, pp. 325-330.
-
(1991)
Proc. 12th Intern. Conference on Artificial Intelligence (IJCAI-91)
, pp. 325-330
-
-
Deville, Y.1
Van Hentenryck, P.2
-
17
-
-
19644370354
-
Expensive constraints and hyperarc consistency
-
edited by David E. Leasure and Martina Schollmeyer, Key West, Florida
-
Rajiv Chopra, Rohini Srihari, and Anthony Ralston, "Expensive constraints and hyperarc consistency," in: Workshop on Constraint-Based Reasoning (CONSTRAINT-96), edited by David E. Leasure and Martina Schollmeyer, Key West, Florida, 1996.
-
(1996)
Workshop on Constraint-Based Reasoning (CONSTRAINT-96)
-
-
Chopra, R.1
Srihari, R.2
Ralston, A.3
-
19
-
-
0026136939
-
Constraint-based reasoning in deductive databases
-
IEEE Computer Society Press
-
J. Han, "Constraint-based reasoning in deductive databases," Proc. 7th Intern. Conf. "Data Engineering," IEEE Computer Society Press, 1991, pp. 257-265.
-
(1991)
Proc. 7th Intern. Conf. "Data Engineering"
, pp. 257-265
-
-
Han, J.1
-
20
-
-
85028825815
-
Dynamic constraint satisfaction in a bridge design system
-
Expert Systems in Engineering Principles and Applications, edited by G. Gottlob and W. Nejdl Springer-Verlag
-
K. Hua, B. Faltings, D. Haroud, G. Kimberly, and I. Smith, "Dynamic constraint satisfaction in a bridge design system," Expert Systems in Engineering Principles and Applications, edited by G. Gottlob and W. Nejdl (Lecture Notes in Artificial Intelligence, no. 462), Springer-Verlag, pp. 217-232.
-
Lecture Notes in Artificial Intelligence
, vol.462
, pp. 217-232
-
-
Hua, K.1
Faltings, B.2
Haroud, D.3
Kimberly, G.4
Smith, I.5
-
21
-
-
84957651835
-
Evaluation of KQML as an agent communication language
-
edited by M. Wooldridge, J. P. Muller, and M. Tambe (Lecture Notes in Artificial Intelligence), Springer-Verlag
-
J. Mayfield, Y. Labrou, and T. Finin, "Evaluation of KQML as an agent communication language," Proc. 1995 Workshop "Agent Theories, Architectures, and Languages (Intelligent Agents, vol. II), edited by M. Wooldridge, J. P. Muller, and M. Tambe (Lecture Notes in Artificial Intelligence), Springer-Verlag, 1996.
-
(1996)
Proc. 1995 Workshop "Agent Theories, Architectures, and Languages Intelligent Agents
, vol.2
-
-
Mayfield, J.1
Labrou, Y.2
Finin, T.3
-
22
-
-
0009433210
-
Multi-paradigm approach to cooperative decision making
-
Washington, D.C., August 23-25, 1995, Concurrent Technology Corporation
-
A. V. Smirnov, L. B. Sheremetov, G. V. Romanov, and P. A. Turbin, "Multi-paradigm approach to cooperative decision making," Proc. II Intern. Conf. "Concurrent Engineering: Research and Applications," Washington, D.C., August 23-25, 1995, Concurrent Technology Corporation, 1995, pp. 215-222.
-
(1995)
Proc. II Intern. Conf. "Concurrent Engineering: Research and Applications"
, pp. 215-222
-
-
Smirnov, A.V.1
Sheremetov, L.B.2
Romanov, G.V.3
Turbin, P.A.4
-
23
-
-
0009348376
-
Constraint-based expert system for the design of structured objects
-
Brno, Czech Republic, July 3-5
-
A. V. Smirnov, L. B. Sheremetov, and P. A. Turbin, "Constraint-based expert system for the design of structured objects," Proc. Intern. AMSE Conf. "Systems Analysis, Control & Design, Methodologies & Examples, SYS'95, Brno, Czech Republic, July 3-5, 1995, vol. 2, pp. 64-71.
-
(1995)
Proc. Intern. AMSE Conf. "Systems Analysis, Control & Design, Methodologies & Examples, SYS'95
, vol.2
, pp. 64-71
-
-
Smirnov, A.V.1
Sheremetov, L.B.2
Turbin, P.A.3
-
24
-
-
19644370978
-
DESO: A constraint-based environment prototype for cooperative design of FMS
-
Cancun, Mexico, June 14-16, IASTED/ACTA Press, Anaheim-Calgary-Zurich
-
A. V. Smirnov, A. S. Kulinitch, L. B. Sheremetov, G. V. Romanov, and P. A. Turbin, "DESO: A constraint-based environment prototype for cooperative design of FMS," Proc. III IASTED Intern. Conf., Cancun, Mexico, June 14-16, IASTED/ACTA Press, Anaheim-Calgary-Zurich, 1995, pp. 384-387.
-
(1995)
Proc. III IASTED Intern. Conf.
, pp. 384-387
-
-
Smirnov, A.V.1
Kulinitch, A.S.2
Sheremetov, L.B.3
Romanov, G.V.4
Turbin, P.A.5
-
25
-
-
19644376143
-
Information support of FMS configuration design
-
Costa da Caparica, Portugal, June 17-19
-
A. V. Smirnov, L. B. Sheremetov, and P. A. Turbin, "Information support of FMS configuration design," 2nd IEEE/ECLA/IFIP Intern. Conf. "Architectures and Design Methods for Balanced Automation Systems - BASYS/96, Costa da Caparica, Portugal, June 17-19, 1996.
-
(1996)
2nd IEEE/ECLA/IFIP Intern. Conf. "Architectures and Design Methods for Balanced Automation Systems - BASYS/96
-
-
Smirnov, A.V.1
Sheremetov, L.B.2
Turbin, P.A.3
-
26
-
-
19644388471
-
Communication structures for solution of problems of distribution in concurrent engineering
-
L. V. Sheremetov, "Communication structures for solution of problems of distribution in concurrent engineering," UTM, Temas en Ciencia y Tecnologia, vol. 1, no. 1, pp. 3-29, 1997.
-
(1997)
UTM, Temas en Ciencia y Tecnologia
, vol.1
, Issue.1
, pp. 3-29
-
-
Sheremetov, L.V.1
|