{"id":"https://openalex.org/W2167375467","doi":"https://doi.org/10.2168/lmcs-11(3:3)2015","title":"Service-Oriented Logic Programming","display_name":"Service-Oriented Logic Programming","publication_year":2015,"publication_date":"2015-08-18","ids":{"openalex":"https://openalex.org/W2167375467","doi":"https://doi.org/10.2168/lmcs-11(3:3)2015","mag":"2167375467"},"language":"en","primary_location":{"id":"doi:10.2168/lmcs-11(3:3)2015","is_oa":true,"landing_page_url":"https://doi.org/10.2168/lmcs-11(3:3)2015","pdf_url":"https://lmcs.episciences.org/1579/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://lmcs.episciences.org/1579/pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Ionut Tutu","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Ionut Tutu","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":null,"display_name":"Jose Luiz Fiadeiro","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jose Luiz Fiadeiro","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.8234,"has_fulltext":true,"cited_by_count":4,"citation_normalized_percentile":{"value":0.8199004,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"Volume 11, Issue 3","issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.5835000276565552,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.5835000276565552,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.15549999475479126,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.08780000358819962,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.6200000047683716},{"id":"https://openalex.org/keywords/unification","display_name":"Unification","score":0.616599977016449},{"id":"https://openalex.org/keywords/answer-set-programming","display_name":"Answer set programming","score":0.43309998512268066},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.42559999227523804},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.3828999996185303},{"id":"https://openalex.org/keywords/functional-logic-programming","display_name":"Functional logic programming","score":0.3788999915122986},{"id":"https://openalex.org/keywords/programming-paradigm","display_name":"Programming paradigm","score":0.3752000033855438},{"id":"https://openalex.org/keywords/computational-logic","display_name":"Computational logic","score":0.3695000112056732},{"id":"https://openalex.org/keywords/denotational-semantics","display_name":"Denotational semantics","score":0.357699990272522},{"id":"https://openalex.org/keywords/control-reconfiguration","display_name":"Control reconfiguration","score":0.35409998893737793}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7666000127792358},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.6200000047683716},{"id":"https://openalex.org/C96146094","wikidata":"https://www.wikidata.org/wiki/Q609057","display_name":"Unification","level":2,"score":0.616599977016449},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6111000180244446},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.553600013256073},{"id":"https://openalex.org/C182620335","wikidata":"https://www.wikidata.org/wiki/Q2852531","display_name":"Answer set programming","level":3,"score":0.43309998512268066},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.42559999227523804},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.3828999996185303},{"id":"https://openalex.org/C96315309","wikidata":"https://www.wikidata.org/wiki/Q5508829","display_name":"Functional logic programming","level":4,"score":0.3788999915122986},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.3752000033855438},{"id":"https://openalex.org/C124047733","wikidata":"https://www.wikidata.org/wiki/Q5157327","display_name":"Computational logic","level":3,"score":0.3695000112056732},{"id":"https://openalex.org/C207648694","wikidata":"https://www.wikidata.org/wiki/Q1189746","display_name":"Denotational semantics","level":4,"score":0.357699990272522},{"id":"https://openalex.org/C119701452","wikidata":"https://www.wikidata.org/wiki/Q5165881","display_name":"Control reconfiguration","level":2,"score":0.35409998893737793},{"id":"https://openalex.org/C127001435","wikidata":"https://www.wikidata.org/wiki/Q7595770","display_name":"Stable model semantics","level":4,"score":0.3540000021457672},{"id":"https://openalex.org/C50033165","wikidata":"https://www.wikidata.org/wiki/Q15712089","display_name":"Inductive programming","level":3,"score":0.3319000005722046},{"id":"https://openalex.org/C35578498","wikidata":"https://www.wikidata.org/wiki/Q193424","display_name":"Web service","level":2,"score":0.32280001044273376},{"id":"https://openalex.org/C146206909","wikidata":"https://www.wikidata.org/wiki/Q531152","display_name":"Declarative programming","level":4,"score":0.320499986410141},{"id":"https://openalex.org/C2776937632","wikidata":"https://www.wikidata.org/wiki/Q4117718","display_name":"Program synthesis","level":2,"score":0.3142000138759613},{"id":"https://openalex.org/C2777796570","wikidata":"https://www.wikidata.org/wiki/Q2351326","display_name":"Dynamic logic (digital electronics)","level":4,"score":0.3089999854564667},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.2976999878883362},{"id":"https://openalex.org/C521332185","wikidata":"https://www.wikidata.org/wiki/Q185816","display_name":"Analogy","level":2,"score":0.29750001430511475},{"id":"https://openalex.org/C169896238","wikidata":"https://www.wikidata.org/wiki/Q1644136","display_name":"Higher-order logic","level":3,"score":0.2928999960422516},{"id":"https://openalex.org/C2780378061","wikidata":"https://www.wikidata.org/wiki/Q25351891","display_name":"Service (business)","level":2,"score":0.2897000014781952},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.2849000096321106},{"id":"https://openalex.org/C146499914","wikidata":"https://www.wikidata.org/wiki/Q5469969","display_name":"Formal semantics (linguistics)","level":2,"score":0.2754000127315521},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.2750000059604645},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.2671999931335449},{"id":"https://openalex.org/C20693621","wikidata":"https://www.wikidata.org/wiki/Q6667502","display_name":"Logical framework","level":2,"score":0.2671000063419342},{"id":"https://openalex.org/C144097018","wikidata":"https://www.wikidata.org/wiki/Q4329404","display_name":"Service discovery","level":3,"score":0.25839999318122864},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.2565999925136566},{"id":"https://openalex.org/C2987117450","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic program","level":3,"score":0.25600001215934753}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.2168/lmcs-11(3:3)2015","is_oa":true,"landing_page_url":"https://doi.org/10.2168/lmcs-11(3:3)2015","pdf_url":"https://lmcs.episciences.org/1579/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:discovery.dundee.ac.uk:openaire_cris_publications/f6d2c939-bef3-43b1-b7b4-a1f89eba2a10","is_oa":true,"landing_page_url":"https://discovery.dundee.ac.uk/en/publications/f6d2c939-bef3-43b1-b7b4-a1f89eba2a10","pdf_url":null,"source":{"id":"https://openalex.org/S4306400523","display_name":"Discovery Research Portal (University of Dundee)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I177639307","host_organization_name":"University of Dundee","host_organization_lineage":["https://openalex.org/I177639307"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"\u0162u\u0163u, I & Fiadeiro, J L 2015, 'Service-oriented logic programming', Logical Methods in Computer Science, vol. 11, no. 3, 3, pp. 1-37. https://doi.org/10.2168/LMCS-11(3:3)2015","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:arXiv.org:1504.05797","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1504.05797","pdf_url":"https://arxiv.org/pdf/1504.05797","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:doaj.org/article:0cb9db93ae0b445da894a66f91c492cc","is_oa":true,"landing_page_url":"https://doaj.org/article/0cb9db93ae0b445da894a66f91c492cc","pdf_url":null,"source":{"id":"https://openalex.org/S112646816","display_name":"SHILAP Revista de lepidopterolog\u00eda","issn_l":"0300-5267","issn":["0300-5267","2340-4078"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Logical Methods in Computer Science, Vol Volume 11, Issue 3 (2015)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.2168/lmcs-11(3:3)2015","is_oa":true,"landing_page_url":"https://doi.org/10.2168/lmcs-11(3:3)2015","pdf_url":"https://lmcs.episciences.org/1579/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1265916763","display_name":null,"funder_award_id":"CNCS-UEFISCDI","funder_id":"https://openalex.org/F4320323444","funder_display_name":"Autoritatea National\u0103 pentru Cercetare Stiintific\u0103"},{"id":"https://openalex.org/G4124517103","display_name":null,"funder_award_id":"PN-II-ID-PCE-2011-3-0439","funder_id":"https://openalex.org/F4320323444","funder_display_name":"Autoritatea National\u0103 pentru Cercetare Stiintific\u0103"},{"id":"https://openalex.org/G4338539989","display_name":null,"funder_award_id":"EP/K000683/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G5446915556","display_name":null,"funder_award_id":"UEFISCDI","funder_id":"https://openalex.org/F4320323444","funder_display_name":"Autoritatea National\u0103 pentru Cercetare Stiintific\u0103"}],"funders":[{"id":"https://openalex.org/F4320323444","display_name":"Autoritatea National\u0103 pentru Cercetare Stiintific\u0103","ror":"https://ror.org/03padf885"},{"id":"https://openalex.org/F4320323983","display_name":"Unitatea Executiva pentru Finantarea Invatamantului Superior, a Cercetarii, Dezvoltarii si Inovarii","ror":"https://ror.org/01q7jq182"},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2167375467.pdf","grobid_xml":"https://content.openalex.org/works/W2167375467.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"We":[0,57],"develop":[1],"formal":[2],"foundations":[3],"for":[4,112,119,133],"notions":[5],"and":[6,31,39,54,62,83,109,142,158,166],"mechanisms":[7],"needed":[8],"to":[9,43,67,79,106,123],"support":[10],"service-oriented":[11,87,154],"computing.":[12,88],"Our":[13,89],"work":[14],"builds":[15],"on":[16],"recent":[17],"theoretical":[18],"advancements":[19],"in":[20,32,130],"the":[21,26,33,37,60,63,75,97,110,128,145,162,167],"algebraic":[22],"structures":[23],"that":[24,35,102,115],"capture":[25],"way":[27],"services":[28,42,135,165],"are":[29],"orchestrated":[30],"processes":[34],"formalize":[36],"discovery":[38,98],"binding":[40,163],"of":[41,49,52,77,86,99,147,156,164,169],"given":[44],"client":[45],"applications":[46],"by":[47],"means":[48],"logical":[50],"representations":[51],"required":[53],"provided":[55],"services.":[56],"show":[58],"how":[59,144],"denotational":[61],"operational":[64],"semantics":[65],"specific":[66],"conventional":[68],"logic":[69],"programming":[70],"can":[71,103,116,136,150],"be":[72,104,117,137,151],"generalized":[73],"using":[74],"theory":[76],"institutions":[78],"address":[80],"both":[81],"static":[82],"dynamic":[84],"aspects":[85],"results":[90],"rely":[91],"upon":[92],"a":[93,100,113,124],"strong":[94],"analogy":[95],"between":[96],"service":[101,140],"bound":[105],"an":[107,121],"application":[108],"search":[111],"clause":[114],"used":[118],"computing":[120],"answer":[122],"query;":[125],"they":[126],"explore":[127],"manner":[129],"which":[131,160],"requests":[132],"external":[134],"described":[138],"as":[139],"queries,":[141],"explain":[143],"computation":[146],"their":[148],"answers":[149],"performed":[152],"through":[153],"derivatives":[155],"unification":[157],"resolution,":[159],"characterize":[161],"reconfiguration":[168],"applications.":[170]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2016,"cited_by_count":1}],"updated_date":"2026-04-21T08:09:41.155169","created_date":"2016-06-24T00:00:00"}