{"id":"https://openalex.org/W1988675940","doi":"https://doi.org/10.1093/logcom/exs054","title":"Probabilistic logics for objects located in space and time","display_name":"Probabilistic logics for objects located in space and time","publication_year":2012,"publication_date":"2012-12-18","ids":{"openalex":"https://openalex.org/W1988675940","doi":"https://doi.org/10.1093/logcom/exs054","mag":"1988675940"},"language":"en","primary_location":{"id":"doi:10.1093/logcom/exs054","is_oa":false,"landing_page_url":"https://doi.org/10.1093/logcom/exs054","pdf_url":null,"source":{"id":"https://openalex.org/S47057106","display_name":"Journal of Logic and Computation","issn_l":"0955-792X","issn":["0955-792X","1465-363X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logic and Computation","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/A5010720497","display_name":"Dragan Doder","orcid":"https://orcid.org/0000-0002-9510-7518"},"institutions":[{"id":"https://openalex.org/I4068193","display_name":"University of Belgrade","ror":"https://ror.org/02qsmb048","country_code":"RS","type":"education","lineage":["https://openalex.org/I4068193"]}],"countries":["RS"],"is_corresponding":false,"raw_author_name":"D. Doder","raw_affiliation_strings":["Faculty of Mechanical Engineering, University of Belgrade, Kraljice Marije 16, 11120 Belgrade, Serbia","Faculty of Mechanical Engineering, University of Belgrade, Kraljice Marije 16, 11120, Belgrade, Serbia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Mechanical Engineering, University of Belgrade, Kraljice Marije 16, 11120 Belgrade, Serbia","institution_ids":["https://openalex.org/I4068193"]},{"raw_affiliation_string":"Faculty of Mechanical Engineering, University of Belgrade, Kraljice Marije 16, 11120, Belgrade, Serbia","institution_ids":["https://openalex.org/I4068193"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5078922929","display_name":"John Grant","orcid":"https://orcid.org/0000-0001-7503-7703"},"institutions":[{"id":"https://openalex.org/I4322298","display_name":"Towson University","ror":"https://ror.org/044w7a341","country_code":"US","type":"education","lineage":["https://openalex.org/I4322298"]},{"id":"https://openalex.org/I66946132","display_name":"University of Maryland, College Park","ror":"https://ror.org/047s2c258","country_code":"US","type":"education","lineage":["https://openalex.org/I66946132"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"J. Grant","raw_affiliation_strings":["Department of Mathematics, Towson University, Towson, MD 21252, USA and Department of Computer Science, University of Maryland, College Park, MD 20742, USA","Department of Mathematics, Towson University, Towson, MD 21252, USA and Department of Computer Science, University of Maryland, College Park, MD 20742, USA#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics, Towson University, Towson, MD 21252, USA and Department of Computer Science, University of Maryland, College Park, MD 20742, USA","institution_ids":["https://openalex.org/I4322298","https://openalex.org/I66946132"]},{"raw_affiliation_string":"Department of Mathematics, Towson University, Towson, MD 21252, USA and Department of Computer Science, University of Maryland, College Park, MD 20742, USA#TAB#","institution_ids":["https://openalex.org/I66946132"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5084703327","display_name":"Zoran Ognjanovi\u0107","orcid":"https://orcid.org/0000-0003-2508-6480"},"institutions":[{"id":"https://openalex.org/I1338511612","display_name":"Serbian Academy of Sciences and Arts","ror":"https://ror.org/05m1y4204","country_code":"RS","type":"government","lineage":["https://openalex.org/I1338511612"]}],"countries":["RS"],"is_corresponding":false,"raw_author_name":"Z. Ognjanovic","raw_affiliation_strings":["Mathematical Institute of Serbian Academy of Sciences and Arts, Kneza Mihaila 36, 11000 Belgrade, Serbia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Mathematical Institute of Serbian Academy of Sciences and Arts, Kneza Mihaila 36, 11000 Belgrade, Serbia","institution_ids":["https://openalex.org/I1338511612"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":4151,"currency":"USD","value_usd":4151},"apc_paid":null,"fwci":2.1747,"has_fulltext":false,"cited_by_count":13,"citation_normalized_percentile":{"value":0.88173165,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"23","issue":"3","first_page":"487","last_page":"515"},"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/T11106","display_name":"Data Management and Algorithms","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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.998199999332428,"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/probabilistic-logic","display_name":"Probabilistic logic","score":0.8343349695205688},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.7842036485671997},{"id":"https://openalex.org/keywords/formalism","display_name":"Formalism (music)","score":0.7045583128929138},{"id":"https://openalex.org/keywords/t-norm-fuzzy-logics","display_name":"T-norm fuzzy logics","score":0.551943302154541},{"id":"https://openalex.org/keywords/certainty","display_name":"Certainty","score":0.5373007655143738},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5367795825004578},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5248668193817139},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.44198253750801086},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.4223420023918152},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.333751916885376},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3334271311759949},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2688259482383728},{"id":"https://openalex.org/keywords/fuzzy-logic","display_name":"Fuzzy logic","score":0.12493330240249634},{"id":"https://openalex.org/keywords/fuzzy-set","display_name":"Fuzzy set","score":0.08484691381454468},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.08074882626533508}],"concepts":[{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.8343349695205688},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.7842036485671997},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.7045583128929138},{"id":"https://openalex.org/C86602344","wikidata":"https://www.wikidata.org/wiki/Q7667918","display_name":"T-norm fuzzy logics","level":5,"score":0.551943302154541},{"id":"https://openalex.org/C7493553","wikidata":"https://www.wikidata.org/wiki/Q1520777","display_name":"Certainty","level":2,"score":0.5373007655143738},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5367795825004578},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5248668193817139},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.44198253750801086},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.4223420023918152},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.333751916885376},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3334271311759949},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2688259482383728},{"id":"https://openalex.org/C58166","wikidata":"https://www.wikidata.org/wiki/Q224821","display_name":"Fuzzy logic","level":2,"score":0.12493330240249634},{"id":"https://openalex.org/C42011625","wikidata":"https://www.wikidata.org/wiki/Q1055058","display_name":"Fuzzy set","level":3,"score":0.08484691381454468},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.08074882626533508},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","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/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0},{"id":"https://openalex.org/C5263885","wikidata":"https://www.wikidata.org/wiki/Q1967302","display_name":"Membership function","level":4,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1093/logcom/exs054","is_oa":false,"landing_page_url":"https://doi.org/10.1093/logcom/exs054","pdf_url":null,"source":{"id":"https://openalex.org/S47057106","display_name":"Journal of Logic and Computation","issn_l":"0955-792X","issn":["0955-792X","1465-363X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logic and Computation","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.49000000953674316,"id":"https://metadata.un.org/sdg/10","display_name":"Reduced inequalities"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":29,"referenced_works":["https://openalex.org/W63514999","https://openalex.org/W642313811","https://openalex.org/W1572624110","https://openalex.org/W1586505836","https://openalex.org/W1772032670","https://openalex.org/W1877096419","https://openalex.org/W1965552673","https://openalex.org/W1969478288","https://openalex.org/W1972213235","https://openalex.org/W1990359916","https://openalex.org/W1996271949","https://openalex.org/W1999325584","https://openalex.org/W1999428129","https://openalex.org/W2000928325","https://openalex.org/W2010272308","https://openalex.org/W2014322692","https://openalex.org/W2015208619","https://openalex.org/W2024400846","https://openalex.org/W2035353139","https://openalex.org/W2053576212","https://openalex.org/W2062125000","https://openalex.org/W2062285040","https://openalex.org/W2076572334","https://openalex.org/W2090424995","https://openalex.org/W2125307422","https://openalex.org/W2164328302","https://openalex.org/W2167180320","https://openalex.org/W2169250070","https://openalex.org/W2914728526"],"related_works":["https://openalex.org/W2418227039","https://openalex.org/W2387971622","https://openalex.org/W2552404713","https://openalex.org/W2141935323","https://openalex.org/W1559214593","https://openalex.org/W2418299857","https://openalex.org/W2466655349","https://openalex.org/W2348150032","https://openalex.org/W2046270956","https://openalex.org/W2546140208"],"abstract_inverted_index":{"Spatiotemporal":[0],"databases":[1],"can":[2],"be":[3],"used":[4],"to":[5,21,42,89,124],"efficiently":[6],"store":[7],"and":[8,16,113,115],"retrieve":[9],"information":[10,45],"about":[11],"objects":[12],"moving":[13],"in":[14,46,77],"space":[15],"time.":[17,84],"Probabilities":[18],"are":[19,28,68,111],"added":[20],"model":[22],"the":[23,26,47,56,59,66,109],"case":[24],"where":[25],"locations":[27],"not":[29,69],"known":[30,70],"with":[31],"certainty.":[32],"A":[33],"few":[34],"years":[35],"ago":[36],"a":[37,73,78,82],"new":[38],"formalism":[39,88],"was":[40],"introduced":[41],"represent":[43],"such":[44],"form":[48,60],"of":[49,53,61,127,137],"atomic":[50],"formulas,":[51],"each":[52],"which":[54],"represents":[55],"probability":[57],"(in":[58],"an":[62],"interval":[63],"because":[64],"even":[65],"probabilities":[67],"precisely)":[71],"that":[72,108],"particular":[74,79,83],"object":[75],"is":[76,132,140],"location":[80],"at":[81],"We":[85],"extend":[86],"this":[87,130],"obtain":[90],"several":[91],"different":[92],"probabilistic":[93,128,138],"logics":[94,123,139],"by":[95],"adding":[96],"logical":[97],"operators.":[98],"Furthermore,":[99],"we":[100,120],"axiomatize":[101],"these":[102,122],"logics,":[103,129],"provide":[104],"corresponding":[105],"semantics,":[106],"prove":[107],"axiomatizations":[110,126],"sound":[112],"complete,":[114],"discuss":[116],"decidability":[117],"issues.":[118],"While":[119],"relate":[121],"previous":[125],"article":[131],"self-contained:":[133],"no":[134],"prior":[135],"knowledge":[136],"assumed.":[141]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":4},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}