{"id":"https://openalex.org/W2048439806","doi":"https://doi.org/10.1080/095281399146616","title":"Knowledge representation with multiple logical theories and time","display_name":"Knowledge representation with multiple logical theories and time","publication_year":1999,"publication_date":"1999-01-01","ids":{"openalex":"https://openalex.org/W2048439806","doi":"https://doi.org/10.1080/095281399146616","mag":"2048439806"},"language":"en","primary_location":{"id":"doi:10.1080/095281399146616","is_oa":false,"landing_page_url":"https://doi.org/10.1080/095281399146616","pdf_url":null,"source":{"id":"https://openalex.org/S153467142","display_name":"Journal of Experimental & Theoretical Artificial Intelligence","issn_l":"0952-813X","issn":["0952-813X","1362-3079"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320547","host_organization_name":"Taylor & Francis","host_organization_lineage":["https://openalex.org/P4310320547"],"host_organization_lineage_names":["Taylor & Francis"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Experimental & Theoretical Artificial Intelligence","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5112465732","display_name":"Paolo Mancarella","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"PAOLO MANCARELLA","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5112465732"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.20237061,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.82686756,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"11","issue":"1","first_page":"47","last_page":"76"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9997000098228455,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9997000098228455,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.9980000257492065,"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.9979000091552734,"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/computer-science","display_name":"Computer science","score":0.7981597185134888},{"id":"https://openalex.org/keywords/executable","display_name":"Executable","score":0.6388154625892639},{"id":"https://openalex.org/keywords/knowledge-representation-and-reasoning","display_name":"Knowledge representation and reasoning","score":0.5874485969543457},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5766288042068481},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5730487704277039},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.55744469165802},{"id":"https://openalex.org/keywords/interval-temporal-logic","display_name":"Interval temporal logic","score":0.5141053795814514},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.47053226828575134},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.45526957511901855},{"id":"https://openalex.org/keywords/stable-model-semantics","display_name":"Stable model semantics","score":0.4260377883911133},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.40338027477264404},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.378267765045166},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2715238332748413}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7981597185134888},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.6388154625892639},{"id":"https://openalex.org/C161301231","wikidata":"https://www.wikidata.org/wiki/Q3478658","display_name":"Knowledge representation and reasoning","level":2,"score":0.5874485969543457},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5766288042068481},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5730487704277039},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.55744469165802},{"id":"https://openalex.org/C162670838","wikidata":"https://www.wikidata.org/wiki/Q6057295","display_name":"Interval temporal logic","level":3,"score":0.5141053795814514},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.47053226828575134},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.45526957511901855},{"id":"https://openalex.org/C127001435","wikidata":"https://www.wikidata.org/wiki/Q7595770","display_name":"Stable model semantics","level":4,"score":0.4260377883911133},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.40338027477264404},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.378267765045166},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2715238332748413},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1080/095281399146616","is_oa":false,"landing_page_url":"https://doi.org/10.1080/095281399146616","pdf_url":null,"source":{"id":"https://openalex.org/S153467142","display_name":"Journal of Experimental & Theoretical Artificial Intelligence","issn_l":"0952-813X","issn":["0952-813X","1362-3079"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320547","host_organization_name":"Taylor & Francis","host_organization_lineage":["https://openalex.org/P4310320547"],"host_organization_lineage_names":["Taylor & Francis"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Experimental & Theoretical Artificial Intelligence","raw_type":"journal-article"},{"id":"pmh:oai:arpi.unipi.it:11568/191359","is_oa":false,"landing_page_url":"http://hdl.handle.net/11568/191359","pdf_url":null,"source":{"id":"https://openalex.org/S4377196265","display_name":"CINECA IRIS Institutial research information system (University of Pisa)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I108290504","host_organization_name":"University of Pisa","host_organization_lineage":["https://openalex.org/I108290504"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/4","display_name":"Quality Education","score":0.4399999976158142}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":30,"referenced_works":["https://openalex.org/W26772505","https://openalex.org/W153338930","https://openalex.org/W207305439","https://openalex.org/W1502018219","https://openalex.org/W1552826021","https://openalex.org/W1565150614","https://openalex.org/W1584571167","https://openalex.org/W1589223644","https://openalex.org/W1596887828","https://openalex.org/W1768000531","https://openalex.org/W1978640722","https://openalex.org/W2008276941","https://openalex.org/W2017160649","https://openalex.org/W2020666986","https://openalex.org/W2028737227","https://openalex.org/W2049762814","https://openalex.org/W2063727779","https://openalex.org/W2068379155","https://openalex.org/W2080663718","https://openalex.org/W2086240210","https://openalex.org/W2092514393","https://openalex.org/W2122540544","https://openalex.org/W2137054551","https://openalex.org/W2141665610","https://openalex.org/W2153903356","https://openalex.org/W2480691574","https://openalex.org/W2899987233","https://openalex.org/W2912898406","https://openalex.org/W4211046312","https://openalex.org/W6635159360"],"related_works":["https://openalex.org/W2996932295","https://openalex.org/W2092656858","https://openalex.org/W2168791893","https://openalex.org/W1565922073","https://openalex.org/W2759584604","https://openalex.org/W2367507878","https://openalex.org/W2544900219","https://openalex.org/W946220898","https://openalex.org/W139807330","https://openalex.org/W2963355213"],"abstract_inverted_index":{"We":[0],"present":[1],"a":[2,7,29,36,56,73,95],"knowledge":[3,58],"representation":[4,59],"framework":[5],"where":[6],"collection":[8,30],"of":[9,18,28,31,101,138,143,150],"logic":[10,97,102],"programs":[11,103],"can":[12,65],"be":[13,66],"combined":[14],"together":[15],"by":[16,88],"means":[17],"meta-level":[19,74,112],"program":[20,25,50,98],"composition":[21,51],"operations.":[22],"Each":[23],"object-level":[24],"is":[26,71,114,128],"composed":[27],"extended":[32,130],"clauses,":[33],"equipped":[34],"with":[35,119,135],"time":[37,41,54,108],"interval":[38],"representing":[39],"the":[40,90,122,136,148],"period":[42],"in":[43,61,131,147],"which":[44,62,76],"they":[45],"hold.":[46],"The":[47,69,110,126],"interaction":[48],"between":[49],"operations":[52],"and":[53,104,117],"yields":[55],"powerful":[57],"language":[60,70],"many":[63],"applications":[64,146],"naturally":[67],"developed.":[68],"given":[72],"semantics":[75,87,113],"also":[77],"provides":[78],"an":[79,85],"executable":[80],"specification.":[81],"Moreover,":[82],"we":[83],"define":[84],"abstract":[86,123],"extending":[89],"immediate":[91],"consequence":[92],"operator":[93],"from":[94],"single":[96],"to":[99,121,133],"compositions":[100],"taking":[105],"into":[106],"account":[107],"intervals.":[109],"operational,":[111],"proven":[115],"sound":[116],"complete":[118],"respect":[120],"bottom-up":[124],"semantics.":[125],"approach":[127],"further":[129],"order":[132],"cope":[134],"problem":[137],"reasoning":[139],"over":[140],"joined":[141],"intervals":[142],"time.":[144],"Three":[145],"field":[149],"business":[151],"regulations":[152],"are":[153],"shown.":[154]},"counts_by_year":[],"updated_date":"2026-02-09T09:26:11.010843","created_date":"2025-10-10T00:00:00"}