{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:41:47Z","timestamp":1725543707342},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540354536"},{"type":"electronic","value":"9783540354543"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11779568_4","type":"book-chapter","created":{"date-parts":[[2006,6,23]],"date-time":"2006-06-23T11:00:22Z","timestamp":1151060422000},"page":"14-23","source":"Crossref","is-referenced-by-count":0,"title":["Modeling and Multi-agent Specification of IF-Based Distributed Goal Ontologies"],"prefix":"10.1007","author":[{"given":"Nacima","family":"Mellal","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Richard","family":"Dapoigny","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patrick","family":"Barlatier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laurent","family":"Foulloy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","series-title":"Cambridge tracts in Theoretical Computer Science","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511895968","volume-title":"Information Flow","author":"J. Barwise","year":"1997","unstructured":"Barwise, J., Seligman, J.: Information Flow. Cambridge tracts in Theoretical Computer Science, vol.\u00a044. Cambridge University Press, Cambridge (1997)"},{"key":"4_CR2","volume-title":"Decentralized AI","author":"C. Castefranchi","year":"1992","unstructured":"Castefranchi, C., Cesta, A., Miceli, M.: Dependence Realtions in Multi-agent systems. In: Demazeau, Y., Werner, E. (eds.) Decentralized AI. Elsevier, Amsterdam (1992)"},{"key":"4_CR3","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1007\/978-3-540-39592-8_13","volume-title":"Foundations of Intelligent Systems","author":"R. Dapoigny","year":"2003","unstructured":"Dapoigny, R., Benoit, E., Foulloy, L.: Functional Ontology for Intelligent Instruments. In: Zhong, N., et al. (eds.) ISMIS 2003. LNCS (LNAI), vol.\u00a02871, pp. 88\u201392. Springer, Heidelberg (2003)"},{"key":"4_CR4","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"712","DOI":"10.1007\/11504894_99","volume-title":"Innovations in Applied Artificial Intelligence","author":"R. Dapoigny","year":"2005","unstructured":"Dapoigny, R., Barlatier, P., Benoit, E., Foulloy, L.: Formal Goal generation for Intelligent Control systems. In: Ali, M., Esposito, F. (eds.) IEA\/AIE 2005. LNCS (LNAI), vol.\u00a03533, pp. 712\u2013721. Springer, Heidelberg (2005)"},{"key":"4_CR5","unstructured":"Dapoigny, R., Barlatier, P., Mellal, N., Benoit, E., Foulloy, L.: Inferential Knowledge Sharing with Goal Hierarchies in Distributed Engineering Systems. In: Procs. of IIAI 2005, Pune (India) (2005)"},{"key":"4_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"712","DOI":"10.1007\/11504894_99","volume-title":"Innovations in Applied Artificial Intelligence","author":"R. Dapoigny","year":"2005","unstructured":"Dapoigny, R., Barlatier, P., Benoit, E., Foulloy, L.: Formal Goal generation for Intelligient Control systems. In: Ali, M., Esposito, F. (eds.) IEA\/AIE 2005. LNCS, vol.\u00a03533, pp. 712\u2013721. Springer, Heidelberg (2005)"},{"key":"4_CR7","unstructured":"Dapoigny, R., Barlatier, P., Mellal, N., Benoit, E., Foulloy, L.: Goal integration for service inter-operability of engineering systems. In: Int. Conf. on Conceptual Structures (ICCS 2005), Kassel, de, pp. 201\u2013202 (July 2005)"},{"key":"4_CR8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-59830-2","volume-title":"Formal concept analysis - mathematical foundations","author":"B. Ganter","year":"1999","unstructured":"Ganter, B., Wille, R.: Formal concept analysis - mathematical foundations. Springer, Heidelberg (1999)"},{"key":"4_CR9","doi-asserted-by":"publisher","first-page":"617","DOI":"10.1093\/logcom\/4.5.617","volume":"4","author":"J. Hertzberg","year":"1994","unstructured":"Hertzberg, J., Thiebaux, S.: Turning an Action Formalism into a Planner: a case Study. Journal of Logic and Computation\u00a04, 617\u2013654 (1994)","journal-title":"Journal of Logic and Computation"},{"key":"4_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1007\/3-540-36280-0_8","volume-title":"Relational Methods in Computer Science","author":"R.E. Kent","year":"2002","unstructured":"Kent, R.E.: Distributed Conceptual Structures. In: de Swart, H. (ed.) RelMiCS 2001. LNCS, vol.\u00a02561, pp. 104\u2013123. Springer, Heidelberg (2002)"},{"key":"4_CR11","first-page":"432","volume-title":"Procs. of the tenth International Joint Conference on Artificial Intelligence","author":"V. Lifschitz","year":"1993","unstructured":"Lifschitz, V.: A Theory of Actions. In: Procs. of the tenth International Joint Conference on Artificial Intelligence, pp. 432\u2013437. Morgan Kaufmann, San Francisco (1993)"},{"key":"4_CR12","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1080\/08839519408945442","volume":"8","author":"M. Lind","year":"1994","unstructured":"Lind, M.: Modeling Goals and Functions of Complex Industrial Plant. Journal of Applied Artificial Intelligence\u00a08, 259\u2013283 (1994)","journal-title":"Journal of Applied Artificial Intelligence"},{"key":"4_CR13","unstructured":"Rao, A.S., Georgeff, M.P.: BDI Agents: from Theory to Practice. In: Procs. of the 1st Int. Conf. on Multi-agent Systems (ICMAS 1995), pp. 312\u2013319 (1995)"},{"key":"4_CR14","unstructured":"Sch\u00e4tz, B.: Towards Service-based Systems Engineering: Formalizing and checking service specifications, Tech. Report TUMI-0602, M\u00fcnchen (2002)"},{"key":"4_CR15","unstructured":"Schorlemmer, M., Kalfoglou, Y.: Using information-flow theory to enable semantic interoperability. In: 6e Congres Catala en Intelligencia Artificial, Palma de Mallorca, Spain (2003)"},{"key":"4_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"483","DOI":"10.1007\/3-540-36483-8","volume-title":"Trust, Reputation, and Security: Theories and Practice","author":"J.S. Sichman","year":"2003","unstructured":"Sichman, J.S., Conte, R.: Multi-Agent Dependence by Dependence Graphs. In: Falcone, R., Barber, S., Korba, L., Singh, M.P. (eds.) AAMAS 2002. LNCS, vol.\u00a02631, pp. 483\u2013490. Springer, Heidelberg (2003)"},{"issue":"3","key":"4_CR17","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1145\/958961.958963","volume":"12","author":"F. Zambonelli","year":"2003","unstructured":"Zambonelli, F., Jennings, N.R., Wooldridge, M.: Developing Multi Agent Systems: The Gaia Methodology. ACM Transactions on Software Engineering and Methodology\u00a012(3), 317\u2013370 (2003)","journal-title":"ACM Transactions on Software Engineering and Methodology"}],"container-title":["Lecture Notes in Computer Science","Advances in Applied Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11779568_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,11]],"date-time":"2019-03-11T22:33:03Z","timestamp":1552343583000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11779568_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540354536","9783540354543"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/11779568_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}