{"id":"https://openalex.org/W152120648","doi":"https://doi.org/10.1023/a:1016738205696","title":"Probabilistic Situation Calculus","display_name":"Probabilistic Situation Calculus","publication_year":2001,"publication_date":"2001-08-01","ids":{"openalex":"https://openalex.org/W152120648","doi":"https://doi.org/10.1023/a:1016738205696","mag":"152120648"},"language":"en","primary_location":{"id":"doi:10.1023/a:1016738205696","is_oa":false,"landing_page_url":"https://doi.org/10.1023/a:1016738205696","pdf_url":null,"source":{"id":"https://openalex.org/S90199469","display_name":"Annals of Mathematics and Artificial Intelligence","issn_l":"1012-2443","issn":["1012-2443","1573-7470"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Annals of Mathematics and 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/A5049655958","display_name":"Paulo Mateus","orcid":"https://orcid.org/0000-0002-2393-8224"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Paulo Mateus","raw_affiliation_strings":["Logic and Computation Group, CMA, Departamento de Matem\u00e1tica, 1ST, Av. Rovisco Pais, 1049-001, Lisboa, Portugal","Logic and Computation Group, CMA, Departamento de Matem\u00e1tica, 1ST, Av. Rovisco Pais, 1049-001 Lisboa, Portugal E-mail: pmat@math.ist.utl.pt#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Logic and Computation Group, CMA, Departamento de Matem\u00e1tica, 1ST, Av. Rovisco Pais, 1049-001, Lisboa, Portugal","institution_ids":[]},{"raw_affiliation_string":"Logic and Computation Group, CMA, Departamento de Matem\u00e1tica, 1ST, Av. Rovisco Pais, 1049-001 Lisboa, Portugal E-mail: pmat@math.ist.utl.pt#TAB#","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040168404","display_name":"Ant\u00f3nio Pacheco","orcid":"https://orcid.org/0000-0002-5757-5652"},"institutions":[{"id":"https://openalex.org/I121345201","display_name":"Instituto de Engenharia de Sistemas e Computadores Investiga\u00e7\u00e3o e Desenvolvimento","ror":"https://ror.org/04mqy3p58","country_code":"PT","type":"nonprofit","lineage":["https://openalex.org/I121345201","https://openalex.org/I4210125590"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Ant\u00f3nio Pacheco","raw_affiliation_strings":["Stochastic Processes Group, CMA, Departamento de Matem\u00e1tica, IST, Av. Rovisco Pais, 1049-001, Lisboa, Portugal","Stochastic Processes Group, CMA, Departamento de Matem\u00e1tica, IST, Av. Rovisco Pais, 1049-001 Lisboa, Portugal E-mail: apacheco@math.ist.utl.pt#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Stochastic Processes Group, CMA, Departamento de Matem\u00e1tica, IST, Av. Rovisco Pais, 1049-001, Lisboa, Portugal","institution_ids":[]},{"raw_affiliation_string":"Stochastic Processes Group, CMA, Departamento de Matem\u00e1tica, IST, Av. Rovisco Pais, 1049-001 Lisboa, Portugal E-mail: apacheco@math.ist.utl.pt#TAB#","institution_ids":["https://openalex.org/I121345201"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103368492","display_name":"Javier Pinto","orcid":null},"institutions":[{"id":"https://openalex.org/I162148367","display_name":"Pontificia Universidad Cat\u00f3lica de Chile","ror":"https://ror.org/04teye511","country_code":"CL","type":"education","lineage":["https://openalex.org/I162148367"]},{"id":"https://openalex.org/I4210105870","display_name":"Hospital Cl\u00ednico de la Universidad Cat\u00f3lica","ror":"https://ror.org/016v1bv58","country_code":"CL","type":"healthcare","lineage":["https://openalex.org/I4210105870"]}],"countries":["CL"],"is_corresponding":false,"raw_author_name":"Javier Pinto","raw_affiliation_strings":["Bell Labs, 600 Mountain Ave., New Jersey 07974, USA","P. Universidad Cat\u00f3lica de Chile, Vicu\u00f1a Mackenna, 4860, Santiago, Chile","Bell Labs, 600 Mountain Ave., New Jersey 07974, USA and P. Universidad Cat\u00f3lica de Chile, Vicu\u00f1a Mackenna 4860, Santiago, Chile E-mail: jpinto@research.bell-labs.com#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Bell Labs, 600 Mountain Ave., New Jersey 07974, USA","institution_ids":[]},{"raw_affiliation_string":"P. Universidad Cat\u00f3lica de Chile, Vicu\u00f1a Mackenna, 4860, Santiago, Chile","institution_ids":["https://openalex.org/I162148367","https://openalex.org/I4210105870"]},{"raw_affiliation_string":"Bell Labs, 600 Mountain Ave., New Jersey 07974, USA and P. Universidad Cat\u00f3lica de Chile, Vicu\u00f1a Mackenna 4860, Santiago, Chile E-mail: jpinto@research.bell-labs.com#TAB#","institution_ids":["https://openalex.org/I162148367"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5105822466","display_name":"Am\u0131\u0301lcar Sernadas","orcid":"https://orcid.org/0000-0001-7895-8436"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Am\u00edlcar Sernadas","raw_affiliation_strings":["Logic and Computation Group, CMA, Departamento de Matem\u00e1tica, 1ST, Av. Rovisco Pais, 1049-001, Lisboa, Portugal","Logic and Computation Group, CMA, Departamento de Matem\u00e1tica, 1ST, Av. Rovisco Pais, 1049-001 Lisboa, Portugal E-mail: acs@math.ist.utl.pt#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Logic and Computation Group, CMA, Departamento de Matem\u00e1tica, 1ST, Av. Rovisco Pais, 1049-001, Lisboa, Portugal","institution_ids":[]},{"raw_affiliation_string":"Logic and Computation Group, CMA, Departamento de Matem\u00e1tica, 1ST, Av. Rovisco Pais, 1049-001 Lisboa, Portugal E-mail: acs@math.ist.utl.pt#TAB#","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5020274709","display_name":"Cristina Sernadas","orcid":"https://orcid.org/0000-0002-5510-3512"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Cristina Sernadas","raw_affiliation_strings":["Logic and Computation Group, CMA, Departamento de Matem\u00e1tica, 1ST, Av. Rovisco Pais, 1049-001, Lisboa, Portugal","Logic and Computation Group, CMA, Departamento de Matem\u00e1tica, 1ST, Av. Rovisco Pais, 1049-001 Lisboa, Portugal E-mail: css@math.ist.utl.pt#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Logic and Computation Group, CMA, Departamento de Matem\u00e1tica, 1ST, Av. Rovisco Pais, 1049-001, Lisboa, Portugal","institution_ids":[]},{"raw_affiliation_string":"Logic and Computation Group, CMA, Departamento de Matem\u00e1tica, 1ST, Av. Rovisco Pais, 1049-001 Lisboa, Portugal E-mail: css@math.ist.utl.pt#TAB#","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":2990,"currency":"USD","value_usd":2990},"apc_paid":null,"fwci":3.5087,"has_fulltext":false,"cited_by_count":41,"citation_normalized_percentile":{"value":0.92487842,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"32","issue":"1-4","first_page":"393","last_page":"431"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9995999932289124,"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9995999932289124,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.9977999925613403,"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.8444633483886719},{"id":"https://openalex.org/keywords/situation-calculus","display_name":"Situation calculus","score":0.6515297889709473},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6459451913833618},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.609316885471344},{"id":"https://openalex.org/keywords/extension","display_name":"Extension (predicate logic)","score":0.4936898648738861},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.430501788854599},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.3414684236049652},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3256376385688782},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.15898260474205017}],"concepts":[{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.8444633483886719},{"id":"https://openalex.org/C22497172","wikidata":"https://www.wikidata.org/wiki/Q1559077","display_name":"Situation calculus","level":2,"score":0.6515297889709473},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6459451913833618},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.609316885471344},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.4936898648738861},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.430501788854599},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.3414684236049652},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3256376385688782},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.15898260474205017},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1023/a:1016738205696","is_oa":false,"landing_page_url":"https://doi.org/10.1023/a:1016738205696","pdf_url":null,"source":{"id":"https://openalex.org/S90199469","display_name":"Annals of Mathematics and Artificial Intelligence","issn_l":"1012-2443","issn":["1012-2443","1573-7470"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Annals of Mathematics and Artificial Intelligence","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https://openalex.org/W35931405","https://openalex.org/W81942528","https://openalex.org/W1482136514","https://openalex.org/W1545091652","https://openalex.org/W1546528131","https://openalex.org/W1552562496","https://openalex.org/W1566007944","https://openalex.org/W1827914264","https://openalex.org/W1969012035","https://openalex.org/W2015799951","https://openalex.org/W2022716165","https://openalex.org/W2027368800","https://openalex.org/W2054726834","https://openalex.org/W2061504687","https://openalex.org/W2138162238","https://openalex.org/W2141088850","https://openalex.org/W2168359464","https://openalex.org/W2337392266","https://openalex.org/W2569901565","https://openalex.org/W2751862591","https://openalex.org/W3010782316","https://openalex.org/W4252785764","https://openalex.org/W6629426653"],"related_works":["https://openalex.org/W2094502182","https://openalex.org/W2358595827","https://openalex.org/W1846189533","https://openalex.org/W2022079507","https://openalex.org/W4243935699","https://openalex.org/W2388055673","https://openalex.org/W2013672985","https://openalex.org/W2407536708","https://openalex.org/W4386500393","https://openalex.org/W3103748790"],"abstract_inverted_index":null,"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2015,"cited_by_count":3},{"year":2014,"cited_by_count":7},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":1}],"updated_date":"2026-07-23T08:03:31.855105","created_date":"2016-06-24T00:00:00"}