乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,29]],"date-time":"2022-04-29T00:52:43Z","timestamp":1651193563862},"reference-count":42,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Data & Knowledge Engineering"],"published-print":{"date-parts":[[1999,1]]},"DOI":"10.1016\/s0169-023x(98)00029-9","type":"journal-article","created":{"date-parts":[[2003,5,19]],"date-time":"2003-05-19T16:52:26Z","timestamp":1053363146000},"page":"17-42","source":"Crossref","is-referenced-by-count":20,"title":["Temporal semantics of compositional task models and problem solving methods"],"prefix":"10.1016","volume":"29","author":[{"given":"Frances M.T","family":"Brazier","sequence":"first","affiliation":[]},{"given":"Jan","family":"Treur","sequence":"additional","affiliation":[]},{"given":"Niek J.E","family":"Wijngaards","sequence":"additional","affiliation":[]},{"given":"Mark","family":"Willems","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0169-023X(98)00029-9_BIB1","series-title":"Fuzzy Logic for the Management of Uncertainty","article-title":"Structured local fuzzy logics in MILORD","author":"Agusti","year":"1992"},{"key":"10.1016\/S0169-023X(98)00029-9_BIB2","article-title":"A formalisation of knowledge-level models for knowledge acquisition","author":"Akkermans","year":"1992","journal-title":"Int. J. of Intelligent Systems"},{"key":"10.1016\/S0169-023X(98)00029-9_BIB3","series-title":"Proc. 10th Banff Knowledge Acquisition for Knowledge-based Systems Workshop (KAW'96)","first-page":"1\/1","article-title":"Modelling problem-solving methods in New KARL","author":"Angele","year":"1996"},{"key":"10.1016\/S0169-023X(98)00029-9_BIB4","series-title":"Proc. IFIP WG 8.1\/13.2 Joint Working Conf., Domain Knowledge for Interactive System Design","article-title":"Domain and task modelling in MIKE","author":"Angele","year":"1996"},{"key":"10.1016\/S0169-023X(98)00029-9_BIB5","series-title":"Current Trends in Knowledge Acquisition (Proc. EKAW '90)","first-page":"60","article-title":"StrucTool: Supporting Formal Specifications of Knowledge-level Models","author":"Balder","year":"1990"},{"key":"10.1016\/S0169-023X(98)00029-9_BIB6","first-page":"1","article-title":"Partial logic","volume":"Vol. III","author":"Blamey","year":"1986"},{"key":"10.1016\/S0169-023X(98)00029-9_BIB7_1","series-title":"Proc. 1st Intl. Conf. on Multi-Agent Systems, ICMAS'95","first-page":"25","article-title":"Formal specification of multi-agent systems: A real-world case","author":"Brazier","year":"1995"},{"key":"10.1016\/S0169-023X(98)00029-9_BIB7_2","first-page":"67","article-title":"DESIRE: Modelling multi-agent systems in a compositional formal framework","volume":"Vol. 6","author":"Brazier","year":"1997"},{"key":"10.1016\/S0169-023X(98)00029-9_BIB8","series-title":"Special Issue on Sisyphus-VT","first-page":"469","article-title":"DESIRE: Designing an elevator configuration","volume":"44","author":"Brazier","year":"1996"},{"key":"10.1016\/S0169-023X(98)00029-9_BIB9","first-page":"278","article-title":"The acquisition of a shared task model","volume":"Vol. 1076","author":"Brazier","year":"1996"},{"key":"10.1016\/S0169-023X(98)00029-9_BIB10","first-page":"323","article-title":"A purpose driven method for the comparison of modelling frameworks","volume":"Vol. 1319","author":"Brazier","year":"1997"},{"key":"10.1016\/S0169-023X(98)00029-9_BIB11","first-page":"25\/1","article-title":"M, Formal specification of hierarchically (de)composed tasks","volume":"Vol. 2","author":"Brazier","year":"1995"},{"key":"10.1016\/S0169-023X(98)00029-9_BIB12_1","series-title":"Logics in Artificial Intelligence, Proc. 4th European Workshop on Logics in Artificial Inteligence, JELIA'94","first-page":"279","article-title":"Temporal theories of reasoning","author":"Engelfriet","year":"1994"},{"key":"10.1016\/S0169-023X(98)00029-9_BIB12_2","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1080\/11663081.1995.10510858","volume":"5","author":"Engelfriet","year":"1995","journal-title":"J. Applied Nonclassical Logics"},{"key":"10.1016\/S0169-023X(98)00029-9_BIB13","first-page":"16\/1","article-title":"A representation language for domain knowledge in planning architectures","volume":"Vol. 1","author":"Cesta","year":"1996"},{"key":"10.1016\/S0169-023X(98)00029-9_BIB14","first-page":"17\/1","article-title":"Knowledge acquisition, validation, and maintenance in a planning system for automated image processing","volume":"Vol. 1","author":"Chien","year":"1996"},{"key":"10.1016\/S0169-023X(98)00029-9_BIB15","series-title":"Knowledge Acquisition, Modelling and Management, Proc. 10th European Knowledge Acquisition Workshop (EKAW '97)","first-page":"65","article-title":"Compositional verification of knowledge-based systems: a case study in diagnostic reasoning","volume":"Vol. 1319","author":"Cornelissen","year":"1997"},{"key":"10.1016\/S0169-023X(98)00029-9_BIB16","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-2275-1","article-title":"The knowledge acquisition and representation language KARL","author":"Fensel","year":"1995"},{"key":"10.1016\/S0169-023X(98)00029-9_BIB17","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1017\/S0269888900006767","article-title":"A comparison of languages which operationalize and formalize KADS models of expertise","volume":"9","author":"Fensel","year":"1994","journal-title":"Knowledge Engineering Review"},{"key":"10.1016\/S0169-023X(98)00029-9_BIB18","first-page":"9","article-title":"Knowledge acquisition as a constructive modeling activity","volume":"8","author":"Ford","year":"1993"},{"issue":"1","key":"10.1016\/S0169-023X(98)00029-9_BIB19","article-title":"(ML)2: A formal language for KADS-models of expertise","volume":"4","author":"van Harmelen","year":"1992","journal-title":"Knowledge Acquisition Journal"},{"key":"10.1016\/S0169-023X(98)00029-9_BIB20","series-title":"Proc. 11th European Conf. on Artificial Intelligence, ECAI'94","first-page":"307","article-title":"A formal model for the dynamics of compositional reasoning systems","author":"Gavrila","year":"1994"},{"key":"10.1016\/S0169-023X(98)00029-9_BIB21","first-page":"669","article-title":"A knowledge-based system for routing of international blanc payment orders","volume":"Vol. 2","author":"Geelen","year":"1992"},{"issue":"4","key":"10.1016\/S0169-023X(98)00029-9_BIB22","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1017\/S0269888900007554","article-title":"Formal methods in knowledge engineering","volume":"10","author":"van Harmelen","year":"1995","journal-title":"The Knowledge Engineering Review"},{"key":"10.1016\/S0169-023X(98)00029-9_BIB23","unstructured":"C.M. Jonker. J. Treur, Compositional verification of multi-agent systems: A formal analysis of pro-activeness and reactiveness. In: [32]."},{"key":"10.1016\/S0169-023X(98)00029-9_BIB24","series-title":"Current Trends in Knowledge Acquisition (Proc. EKAW'90)","article-title":"On the use of a Formalized Generic Task Model in Knowledge Acquisition","author":"Kowalczyk","year":"1990"},{"key":"10.1016\/S0169-023X(98)00029-9_BIB25_1","series-title":"Proc. 10th European Conf. on Artificial Intelligence, ECAI'92","first-page":"272","article-title":"Formal specification of compositional architectures","author":"van Langevelde","year":"1992"},{"key":"10.1016\/S0169-023X(98)00029-9_BIB25_2","series-title":"Report IR-282","author":"van Langevelde","year":"1991"},{"key":"10.1016\/S0169-023X(98)00029-9_BIB26","article-title":"Representing world situations and information states by many-sorted partial models","author":"van Langen","year":"1989"},{"key":"10.1016\/S0169-023X(98)00029-9_BIB27","series-title":"CSLI Lecture Notes","article-title":"Partiality, truth and persistence","author":"Langholm","year":"1988"},{"key":"10.1016\/S0169-023X(98)00029-9_BIB28","series-title":"Knowledge Acquisition, Modelling and Management, Proc. 10th European Knowledge Acquisition Workshop, EKAW'97","first-page":"190","article-title":"Specification of Flexible Knowledge-Based Systems","volume":"Vol. 1319","author":"Pierret-Golbreich","year":"1997"},{"key":"10.1016\/S0169-023X(98)00029-9_BIB29","series-title":"Knowledge Acquisition, Modelling and Management, Proc. 10th European Knowledge Acquisition Workshop, EKAW'97","volume":"Vol. 1319","year":"1997"},{"key":"10.1016\/S0169-023X(98)00029-9_BIB30","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1016\/1042-8143(92)90025-V","article-title":"A multiple-method knowledge-acquisition shell for the automatic generation of knowledge-acquisition tools","volume":"4","author":"Puerta","year":"1992","journal-title":"Knowledge Acquisition"},{"key":"10.1016\/S0169-023X(98)00029-9_BIB31","series-title":"Advances in Knowledge Acquisition. 9th European Knowledge Acquisition Workshop, EKAW'96","first-page":"66","article-title":"A purpose driven method for language comparison","volume":"Vol. 1076","author":"Revise","year":"1996"},{"key":"10.1016\/S0169-023X(98)00029-9_BIB32","unstructured":"W.P. de Roever, H. Langmaack, A. Pnueli (Eds.) Proc. Int. Workshop on Compositionality, COMPOS'97, Springer Verlag, in press."},{"key":"10.1016\/S0169-023X(98)00029-9_BIB33","series-title":"KADS: A Principled Approach to Knowledge-Based System Development","year":"1993"},{"key":"10.1016\/S0169-023X(98)00029-9_BIB34","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1109\/52.241964","article-title":"Constructing knowledge-based systems","author":"Shadbolt","year":"1993","journal-title":"IEEE Software"},{"key":"10.1016\/S0169-023X(98)00029-9_BIB35","first-page":"17\/1","article-title":"A task-specific ontology for design and execution of time-oriented skeletal plans","volume":"Vol. 1","author":"Shahar","year":"1996"},{"key":"10.1016\/S0169-023X(98)00029-9_BIB36","series-title":"Logic Program Synthesis and Transformation-metaprogramming in Logic, Proc. META'94","first-page":"353","article-title":"Temporal semantics of meta-level architectures for control of reasoning","volume":"883","author":"Treur","year":"1994"},{"key":"10.1016\/S0169-023X(98)00029-9_BIB37","series-title":"Formal Specification of Complex Reasoning Systems","year":"1993"},{"key":"10.1016\/S0169-023X(98)00029-9_BIB38","series-title":"Current Trends in Knowledge Acquisition (Proc. EKAW'90)","first-page":"356","article-title":"First-Order logic foundation of the KADS conceptual model","author":"Wetter","year":"1990"},{"key":"10.1016\/S0169-023X(98)00029-9_BIB39","series-title":"Current Trends in Knowledge Acquisition (Proc. EKAW'90)","year":"1990"}],"container-title":["Data & Knowledge Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0169023X98000299?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0169023X98000299?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,27]],"date-time":"2019-04-27T20:30:11Z","timestamp":1556397011000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0169023X98000299"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,1]]},"references-count":42,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1999,1]]}},"alternative-id":["S0169023X98000299"],"URL":"https:\/\/doi.org\/10.1016\/s0169-023x(98)00029-9","relation":{},"ISSN":["0169-023X"],"issn-type":[{"value":"0169-023X","type":"print"}],"subject":[],"published":{"date-parts":[[1999,1]]}}}