{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T04:51:30Z","timestamp":1649134290669},"reference-count":31,"publisher":"Elsevier BV","issue":"2-3","license":[{"start":{"date-parts":[[1996,7,1]],"date-time":"1996-07-01T00:00:00Z","timestamp":836179200000},"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":["Computer Languages"],"published-print":{"date-parts":[[1996,7]]},"DOI":"10.1016\/s0096-0551(96)00007-0","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T12:08:03Z","timestamp":1027598883000},"page":"51-77","source":"Crossref","is-referenced-by-count":4,"title":["Towards resource handling in logic programming: The PPL framework and fits semantics"],"prefix":"10.1016","volume":"22","author":[{"given":"Jean-Marie","family":"Jacquet","sequence":"first","affiliation":[]},{"given":"Lu\u00eds","family":"Monteiro","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0096-0551(96)00007-0_BIB1","series-title":"Concurrent Constraint Programming Language","author":"Saraswat","year":"1993"},{"key":"10.1016\/S0096-0551(96)00007-0_BIB2","series-title":"Proc. Int. Symp. on Logic Programming","first-page":"315","article-title":"Non-monotonic concurrent constraint programming","author":"de Boer","year":"1993"},{"key":"10.1016\/S0096-0551(96)00007-0_BIB3","series-title":"Proc. 10th Int. Conf. on Logic Programming","first-page":"299","article-title":"Multi-Prolog: definition, operational semantics and implementation","author":"De Bosschere","year":"1993"},{"issue":"1","key":"10.1016\/S0096-0551(96)00007-0_BIB4","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1145\/114005.102807","article-title":"The concurrent language Shared Prolog","volume":"13","author":"Brogi","year":"1991","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"10.1016\/S0096-0551(96)00007-0_BIB5","series-title":"Proc. 7th Int. Conf. on Logic Programming","first-page":"495","article-title":"Linear Objects: logical processes with built-in inheritance","author":"Andreoli","year":"1990"},{"key":"10.1016\/S0096-0551(96)00007-0_BIB6","series-title":"Proc. 7th Int. Conf. on Logical Programming","first-page":"306","article-title":"And-parallelism without shared variables","author":"Brogi","year":"1990"},{"key":"10.1016\/S0096-0551(96)00007-0_BIB7","series-title":"Proc. 2nd Int. Conf. on Concurrency Theory (Concur '91)","first-page":"281","article-title":"Extended Horn clauses: the framework and its semantics","volume":"Volume 527","author":"Jacquet","year":"1991"},{"key":"10.1016\/S0096-0551(96)00007-0_BIB8","series-title":"Proc. Joint International Conference and Symposium on Logic Programming","first-page":"98","article-title":"Communicating clauses: the framework and its semantics","author":"Jacquet","year":"1992"},{"key":"10.1016\/S0096-0551(96)00007-0_BIB9","series-title":"Research report","article-title":"Higher-order, linear, concurrent constraint programming","author":"Saraswat","year":"1992"},{"key":"10.1016\/S0096-0551(96)00007-0_BIB10","series-title":"Proc. 11th Int. Conf. on Logic Programming","first-page":"240","article-title":"Concurrency and plan generation in a logic programming language with a sequential operator","author":"Guglielmi","year":"1994"},{"key":"10.1016\/S0096-0551(96)00007-0_BIB11","series-title":"Proc. Int. Symp. on Logic Programming","first-page":"295","article-title":"ACL\u2014A concurrent linear logic programming paradigm","author":"Kobayashi","year":"1993"},{"key":"10.1016\/S0096-0551(96)00007-0_BIB12","series-title":"Proc. 10th Int. Conf. on Logic Programming","first-page":"222","article-title":"Representing actions in logic programming and its applications in database updates","author":"Dung","year":"1993"},{"key":"10.1016\/S0096-0551(96)00007-0_BIB13","series-title":"Proc. Joint International Conference and Symposium on Logic Programming","first-page":"559","article-title":"Representing actions in extended logic programming","author":"Gelfond","year":"1992"},{"key":"10.1016\/S0096-0551(96)00007-0_BIB14","series-title":"Proc. Joint International Conference and Symposium on Logic Programming","first-page":"177","article-title":"Equational logic programming, actions and change","author":"Gro\u00dfe","year":"1992"},{"key":"10.1016\/S0096-0551(96)00007-0_BIB15","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1007\/BF03037518","article-title":"A new deductive approach to planning","volume":"8","author":"H\u00f6lldobler","year":"1990","journal-title":"New Generation Computing"},{"key":"10.1016\/S0096-0551(96)00007-0_BIB16","series-title":"Proc. Int. Symp. on Logic Programming","first-page":"164","article-title":"Actions and specificity","author":"H\u00f6lldobler","year":"1993"},{"key":"10.1016\/S0096-0551(96)00007-0_BIB17","series-title":"Logic for Problem Solving","author":"Kowalski","year":"1979"},{"key":"10.1016\/S0096-0551(96)00007-0_BIB18","series-title":"Standford Artificial Intelligence Project Memo 2","article-title":"Situations and actions and causal laws","author":"MacCarthy","year":"1963"},{"key":"10.1016\/S0096-0551(96)00007-0_BIB19","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/0004-3702(86)90032-9","article-title":"Applications of circumscription to formalizing commonsense knowledge","volume":"28","author":"MacCarthy","year":"1986","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0096-0551(96)00007-0_BIB20","first-page":"463","article-title":"Some philosophical problems from the standpoint of artificial intelligence","volume":"4","author":"MacCarthy","year":"1969","journal-title":"Machine Intelligence"},{"key":"10.1016\/S0096-0551(96)00007-0_BIB21","series-title":"Foundations of Software Technology and Theoretical Computer Science","first-page":"63","article-title":"Generating plans in linear logic","volume":"Volume 472","author":"Masseron","year":"1990"},{"key":"10.1016\/S0096-0551(96)00007-0_BIB22","series-title":"Extensions of Logic Programming","first-page":"216","article-title":"The AbstrAct scheme for concurrent programming","volume":"Volume 660","author":"Porto","year":"1993"},{"key":"10.1016\/S0096-0551(96)00007-0_BIB23","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1016\/S0019-9958(84)80021-2","article-title":"A synchronization logic: axiomatics and formal semantics of generalized Horn clauses","volume":"60","author":"Falaschi","year":"1984","journal-title":"Information and Control"},{"key":"10.1016\/S0096-0551(96)00007-0_BIB24","series-title":"Proc.11th Int. Conf. on Logic Programming","first-page":"743","article-title":"PP.-clauses: a means for handling resources","author":"Jacquet","year":"1994"},{"key":"10.1016\/S0096-0551(96)00007-0_BIB25","series-title":"Proceedings of the European Workshop on Logics in Artificial Intelligence (JELIA '94)","first-page":"379","article-title":"Towards resource handling in logic programming: the PPL framework and its semantics","volume":"Volume 838","author":"Jacquet","year":"1994"},{"issue":"3","key":"10.1016\/S0096-0551(96)00007-0_BIB26","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1016\/0004-3702(87)90043-9","article-title":"Nonmonotonic logic and temporal projection","volume":"33","author":"Hanks","year":"1987","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0096-0551(96)00007-0_BIB27","series-title":"Knowledge Representation and Defeasible Reasoning","first-page":"23","article-title":"Monotonic solution for the frame problem in the situation calculus: an efficient method for worlds with fully specified actions","author":"Schubert","year":"1990"},{"key":"10.1016\/S0096-0551(96)00007-0_BIB28","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1016\/0004-3702(91)90004-4","article-title":"Nonmonotonic reasoning in the framework of the situation calculus","volume":"49","author":"Baker","year":"1991","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0096-0551(96)00007-0_BIB29","series-title":"Proc. AAAI","first-page":"401","article-title":"The logic of persistence","author":"Kautz","year":"1986"},{"key":"10.1016\/S0096-0551(96)00007-0_BIB30","series-title":"Research report","article-title":"Distributed logic, a theory of distributed programming in logic","author":"Monteiro","year":"1986"},{"key":"10.1016\/S0096-0551(96)00007-0_BIB31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"911","DOI":"10.1007\/3-540-55599-4_132","article-title":"Comparative semantics of \u03bclog","volume":"Volume 605","author":"De Bosscher","year":"1992"}],"container-title":["Computer Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0096055196000070?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0096055196000070?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T01:23:33Z","timestamp":1556673813000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0096055196000070"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,7]]},"references-count":31,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[1996,7]]}},"alternative-id":["S0096055196000070"],"URL":"https:\/\/doi.org\/10.1016\/s0096-0551(96)00007-0","relation":{},"ISSN":["0096-0551"],"issn-type":[{"value":"0096-0551","type":"print"}],"subject":[],"published":{"date-parts":[[1996,7]]}}}