{"id":"https://openalex.org/W2131617471","doi":"https://doi.org/10.1007/978-3-642-14309-0_12","title":"Proof-Theoretic and Higher-Order Extensions of Logic Programming","display_name":"Proof-Theoretic and Higher-Order Extensions of Logic Programming","publication_year":2010,"publication_date":"2010-01-01","ids":{"openalex":"https://openalex.org/W2131617471","doi":"https://doi.org/10.1007/978-3-642-14309-0_12","mag":"2131617471"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-642-14309-0_12","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-14309-0_12","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://hdl.handle.net/2434/162730","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5021883093","display_name":"Alberto Momigliano","orcid":"https://orcid.org/0000-0003-0942-4777"},"institutions":[{"id":"https://openalex.org/I189158943","display_name":"University of Milan","ror":"https://ror.org/00wjc7c48","country_code":"IT","type":"education","lineage":["https://openalex.org/I189158943"]},{"id":"https://openalex.org/I4210105224","display_name":"Foundation Scotland","ror":"https://ror.org/00x43vj55","country_code":"GB","type":"other","lineage":["https://openalex.org/I4210105224"]},{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]}],"countries":["GB","IT"],"is_corresponding":false,"raw_author_name":"Alberto Momigliano","raw_affiliation_strings":["Dipartimento di Scienze dell\u2019Informazione, Universit\u00e0 degli Studi di Milano, Italy","Laboratory for the Foundations of Computer Science, School of Informatics, The University of Edinburgh, Scotland","Dipartimento di Scienze dell'Informazione, Universit\u00e0 degli Studi di Milano, Italy and Laboratory for the Foundations of Computer Science, School of Informatics, The University of Edinburgh, ...#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dipartimento di Scienze dell\u2019Informazione, Universit\u00e0 degli Studi di Milano, Italy","institution_ids":["https://openalex.org/I189158943"]},{"raw_affiliation_string":"Laboratory for the Foundations of Computer Science, School of Informatics, The University of Edinburgh, Scotland","institution_ids":["https://openalex.org/I98677209","https://openalex.org/I4210105224"]},{"raw_affiliation_string":"Dipartimento di Scienze dell'Informazione, Universit\u00e0 degli Studi di Milano, Italy and Laboratory for the Foundations of Computer Science, School of Informatics, The University of Edinburgh, ...#TAB#","institution_ids":["https://openalex.org/I189158943"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5056525216","display_name":"Mario Ornaghi","orcid":null},"institutions":[{"id":"https://openalex.org/I189158943","display_name":"University of Milan","ror":"https://ror.org/00wjc7c48","country_code":"IT","type":"education","lineage":["https://openalex.org/I189158943"]},{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]}],"countries":["GB","IT"],"is_corresponding":false,"raw_author_name":"Mario Ornaghi","raw_affiliation_strings":["Dipartimento di Scienze dell\u2019Informazione, Universit\u00e0 degli Studi di Milano, Italy","Laboratory for the Foundations of Computer Science, School of Informatics, The University of Edinburgh, Scotland#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dipartimento di Scienze dell\u2019Informazione, Universit\u00e0 degli Studi di Milano, Italy","institution_ids":["https://openalex.org/I189158943"]},{"raw_affiliation_string":"Laboratory for the Foundations of Computer Science, School of Informatics, The University of Edinburgh, Scotland#TAB#","institution_ids":["https://openalex.org/I98677209"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.285,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.59661506,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"254","last_page":"270"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9998999834060669,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9994999766349792,"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/T10142","display_name":"Formal Methods in Verification","score":0.9968000054359436,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/computer-science","display_name":"Computer science","score":0.7765216827392578},{"id":"https://openalex.org/keywords/horn-clause","display_name":"Horn clause","score":0.7671054601669312},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.7387559413909912},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.7058901786804199},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6154357194900513},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.6062598824501038},{"id":"https://openalex.org/keywords/functional-logic-programming","display_name":"Functional logic programming","score":0.5140057802200317},{"id":"https://openalex.org/keywords/functional-programming","display_name":"Functional programming","score":0.47292783856391907},{"id":"https://openalex.org/keywords/proof-theory","display_name":"Proof theory","score":0.4702901840209961},{"id":"https://openalex.org/keywords/realization","display_name":"Realization (probability)","score":0.4700412154197693},{"id":"https://openalex.org/keywords/higher-order-logic","display_name":"Higher-order logic","score":0.46960270404815674},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.45837071537971497},{"id":"https://openalex.org/keywords/prolog","display_name":"Prolog","score":0.45607027411460876},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.4483368694782257},{"id":"https://openalex.org/keywords/declarative-programming","display_name":"Declarative programming","score":0.4304819107055664},{"id":"https://openalex.org/keywords/inductive-programming","display_name":"Inductive programming","score":0.3875047266483307},{"id":"https://openalex.org/keywords/programming-paradigm","display_name":"Programming paradigm","score":0.3795643448829651},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.1861760914325714},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.18121081590652466}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7765216827392578},{"id":"https://openalex.org/C189790780","wikidata":"https://www.wikidata.org/wiki/Q933932","display_name":"Horn clause","level":3,"score":0.7671054601669312},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.7387559413909912},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.7058901786804199},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6154357194900513},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.6062598824501038},{"id":"https://openalex.org/C96315309","wikidata":"https://www.wikidata.org/wiki/Q5508829","display_name":"Functional logic programming","level":4,"score":0.5140057802200317},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.47292783856391907},{"id":"https://openalex.org/C2318724","wikidata":"https://www.wikidata.org/wiki/Q852732","display_name":"Proof theory","level":3,"score":0.4702901840209961},{"id":"https://openalex.org/C2781089630","wikidata":"https://www.wikidata.org/wiki/Q21856745","display_name":"Realization (probability)","level":2,"score":0.4700412154197693},{"id":"https://openalex.org/C169896238","wikidata":"https://www.wikidata.org/wiki/Q1644136","display_name":"Higher-order logic","level":3,"score":0.46960270404815674},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.45837071537971497},{"id":"https://openalex.org/C81721847","wikidata":"https://www.wikidata.org/wiki/Q163468","display_name":"Prolog","level":2,"score":0.45607027411460876},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.4483368694782257},{"id":"https://openalex.org/C146206909","wikidata":"https://www.wikidata.org/wiki/Q531152","display_name":"Declarative programming","level":4,"score":0.4304819107055664},{"id":"https://openalex.org/C50033165","wikidata":"https://www.wikidata.org/wiki/Q15712089","display_name":"Inductive programming","level":3,"score":0.3875047266483307},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.3795643448829651},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.1861760914325714},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.18121081590652466},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1007/978-3-642-14309-0_12","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-14309-0_12","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.158.3146","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.158.3146","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://homepages.inf.ed.ac.uk/amomigl1/papers/ptholp.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.216.690","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.216.690","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://homepages.inf.ed.ac.uk/amomigl1/papers/ptholp.pdf","raw_type":"text"},{"id":"pmh:oai:air.unimi.it:2434/162730","is_oa":true,"landing_page_url":"http://hdl.handle.net/2434/162730","pdf_url":null,"source":{"id":"https://openalex.org/S4306400516","display_name":"Archivio Istituzionale della Ricerca (Universita Degli Studi Di Milano)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I189158943","host_organization_name":"University of Milan","host_organization_lineage":["https://openalex.org/I189158943"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"pmh:oai:air.unimi.it:2434/162730","is_oa":true,"landing_page_url":"http://hdl.handle.net/2434/162730","pdf_url":null,"source":{"id":"https://openalex.org/S4306400516","display_name":"Archivio Istituzionale della Ricerca (Universita Degli Studi Di Milano)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I189158943","host_organization_name":"University of Milan","host_organization_lineage":["https://openalex.org/I189158943"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/conferenceObject"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":74,"referenced_works":["https://openalex.org/W4545646","https://openalex.org/W42284263","https://openalex.org/W113567294","https://openalex.org/W162098117","https://openalex.org/W197342619","https://openalex.org/W600819829","https://openalex.org/W1455026407","https://openalex.org/W1486676229","https://openalex.org/W1498861602","https://openalex.org/W1499101893","https://openalex.org/W1510393623","https://openalex.org/W1514385560","https://openalex.org/W1533157944","https://openalex.org/W1542795482","https://openalex.org/W1543506201","https://openalex.org/W1544455018","https://openalex.org/W1546270920","https://openalex.org/W1558580006","https://openalex.org/W1568176286","https://openalex.org/W1572526673","https://openalex.org/W1585533089","https://openalex.org/W1593404182","https://openalex.org/W1594369397","https://openalex.org/W1727609483","https://openalex.org/W1818789084","https://openalex.org/W1828959114","https://openalex.org/W1963779317","https://openalex.org/W1964960651","https://openalex.org/W1970743187","https://openalex.org/W1974190112","https://openalex.org/W1988742962","https://openalex.org/W1989085426","https://openalex.org/W1989758243","https://openalex.org/W1990946582","https://openalex.org/W1996968921","https://openalex.org/W2009464583","https://openalex.org/W2028093053","https://openalex.org/W2040807747","https://openalex.org/W2046952895","https://openalex.org/W2052436826","https://openalex.org/W2060723681","https://openalex.org/W2070324762","https://openalex.org/W2076819871","https://openalex.org/W2076859913","https://openalex.org/W2082729761","https://openalex.org/W2082994045","https://openalex.org/W2083474880","https://openalex.org/W2084749326","https://openalex.org/W2084978427","https://openalex.org/W2093111544","https://openalex.org/W2102259218","https://openalex.org/W2106458801","https://openalex.org/W2118371092","https://openalex.org/W2122276128","https://openalex.org/W2122319539","https://openalex.org/W2126263702","https://openalex.org/W2132638915","https://openalex.org/W2139712811","https://openalex.org/W2141287679","https://openalex.org/W2141978322","https://openalex.org/W2149829226","https://openalex.org/W2156950788","https://openalex.org/W2161555915","https://openalex.org/W2164822567","https://openalex.org/W2482219584","https://openalex.org/W2483224809","https://openalex.org/W2490561030","https://openalex.org/W2494986075","https://openalex.org/W2499957903","https://openalex.org/W2798401172","https://openalex.org/W2911379300","https://openalex.org/W3181070739","https://openalex.org/W4237428230","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2553706208","https://openalex.org/W574022443","https://openalex.org/W648195185","https://openalex.org/W4367190606","https://openalex.org/W1522395947","https://openalex.org/W1879548647","https://openalex.org/W2121583255","https://openalex.org/W3216378269","https://openalex.org/W3196415809","https://openalex.org/W4286987346"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}