{"id":"https://openalex.org/W1511767298","doi":"https://doi.org/10.1023/a:1026761331498","title":"Ability and Knowing How in the Situation Calculus","display_name":"Ability and Knowing How in the Situation Calculus","publication_year":2000,"publication_date":"2000-10-01","ids":{"openalex":"https://openalex.org/W1511767298","doi":"https://doi.org/10.1023/a:1026761331498","mag":"1511767298"},"language":"en","primary_location":{"id":"doi:10.1023/a:1026761331498","is_oa":false,"landing_page_url":"https://doi.org/10.1023/a:1026761331498","pdf_url":null,"source":{"id":"https://openalex.org/S30880287","display_name":"Studia Logica","issn_l":"0039-3215","issn":["0039-3215","1572-8730"],"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":"Studia Logica","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/A5060460434","display_name":"Yves Lesp\u00e9rance","orcid":"https://orcid.org/0000-0003-1625-0226"},"institutions":[{"id":"https://openalex.org/I192455969","display_name":"York University","ror":"https://ror.org/05fq50484","country_code":"CA","type":"education","lineage":["https://openalex.org/I192455969"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"Yves Lesp\u00e9rance","raw_affiliation_strings":["Department of Computer Science, York University, Toronto, ON, M3J 1P3, Canada","Department of Computer Science, York University, Toronto, Canada"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, York University, Toronto, ON, M3J 1P3, Canada","institution_ids":["https://openalex.org/I192455969"]},{"raw_affiliation_string":"Department of Computer Science, York University, Toronto, Canada","institution_ids":["https://openalex.org/I192455969"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5025681351","display_name":"Hector J. Levesque","orcid":null},"institutions":[{"id":"https://openalex.org/I185261750","display_name":"University of Toronto","ror":"https://ror.org/03dbr7087","country_code":"CA","type":"education","lineage":["https://openalex.org/I185261750"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Hector J. Levesque","raw_affiliation_strings":["Department of Computer Science, University of Toronto, Toronto, ON, M5S 1A4, Canada","Department of Computer Science, University of Toronto, Toronto, CANADA"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Toronto, Toronto, ON, M5S 1A4, Canada","institution_ids":["https://openalex.org/I185261750"]},{"raw_affiliation_string":"Department of Computer Science, University of Toronto, Toronto, CANADA","institution_ids":["https://openalex.org/I185261750"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5111432812","display_name":"Fangzhen Lin","orcid":null},"institutions":[{"id":"https://openalex.org/I200769079","display_name":"Hong Kong University of Science and Technology","ror":"https://ror.org/00q4vv597","country_code":"HK","type":"education","lineage":["https://openalex.org/I200769079"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Fangzhen Lin","raw_affiliation_strings":["Department of Computer Science, The Hong Kong University of Science and Technology, Clear Water Bay, Hong Kong","Department of Computer Science, the Hong Kong University of Science and Technology, Clear Water Bay, Hong Kong"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, The Hong Kong University of Science and Technology, Clear Water Bay, Hong Kong","institution_ids":["https://openalex.org/I200769079"]},{"raw_affiliation_string":"Department of Computer Science, the Hong Kong University of Science and Technology, Clear Water Bay, Hong Kong","institution_ids":["https://openalex.org/I200769079"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5000046519","display_name":"Richard B. Scherl","orcid":null},"institutions":[{"id":"https://openalex.org/I118118575","display_name":"New Jersey Institute of Technology","ror":"https://ror.org/05e74xb87","country_code":"US","type":"education","lineage":["https://openalex.org/I118118575"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Richard B. Scherl","raw_affiliation_strings":["Department of Computer and Information Science, New Jersey Institute of Technology, University Heights, Newark, NJ, 07102, USA","Department of Computer and Information Science, New Jersey Institute of Technology, Newark, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer and Information Science, New Jersey Institute of Technology, University Heights, Newark, NJ, 07102, USA","institution_ids":["https://openalex.org/I118118575"]},{"raw_affiliation_string":"Department of Computer and Information Science, New Jersey Institute of Technology, Newark, USA","institution_ids":["https://openalex.org/I118118575"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5060460434"],"corresponding_institution_ids":["https://openalex.org/I192455969"],"apc_list":{"value":2290,"currency":"EUR","value_usd":2890},"apc_paid":null,"fwci":5.8603,"has_fulltext":false,"cited_by_count":66,"citation_normalized_percentile":{"value":0.95863138,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"66","issue":"1","first_page":"165","last_page":"186"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","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/T11010","display_name":"Logic, Reasoning, and Knowledge","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/T10456","display_name":"Multi-Agent Systems and Negotiation","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/T10215","display_name":"Semantic Web and Ontologies","score":0.9969000220298767,"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/executable","display_name":"Executable","score":0.8195614814758301},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8015393018722534},{"id":"https://openalex.org/keywords/plan","display_name":"Plan (archaeology)","score":0.6478242874145508},{"id":"https://openalex.org/keywords/frame","display_name":"Frame (networking)","score":0.5544697642326355},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3790382742881775},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.36607038974761963},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3243204355239868}],"concepts":[{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.8195614814758301},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8015393018722534},{"id":"https://openalex.org/C2776505523","wikidata":"https://www.wikidata.org/wiki/Q4785468","display_name":"Plan (archaeology)","level":2,"score":0.6478242874145508},{"id":"https://openalex.org/C126042441","wikidata":"https://www.wikidata.org/wiki/Q1324888","display_name":"Frame (networking)","level":2,"score":0.5544697642326355},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3790382742881775},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.36607038974761963},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3243204355239868},{"id":"https://openalex.org/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","level":1,"score":0.0},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0},{"id":"https://openalex.org/C95457728","wikidata":"https://www.wikidata.org/wiki/Q309","display_name":"History","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1023/a:1026761331498","is_oa":false,"landing_page_url":"https://doi.org/10.1023/a:1026761331498","pdf_url":null,"source":{"id":"https://openalex.org/S30880287","display_name":"Studia Logica","issn_l":"0039-3215","issn":["0039-3215","1572-8730"],"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":"Studia Logica","raw_type":"journal-article"},{"id":"pmh:oai:repository.hkust.edu.hk:1783.1-24066","is_oa":false,"landing_page_url":"http://repository.hkust.edu.hk/ir/Record/1783.1-24066","pdf_url":null,"source":{"id":"https://openalex.org/S4306401796","display_name":"Rare & Special e-Zone (The Hong Kong University of Science and Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I200769079","host_organization_name":"Hong Kong University of Science and Technology","host_organization_lineage":["https://openalex.org/I200769079"],"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":"Article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.49000000953674316,"display_name":"Partnerships for the goals","id":"https://metadata.un.org/sdg/17"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":32,"referenced_works":["https://openalex.org/W15206906","https://openalex.org/W35931405","https://openalex.org/W49344756","https://openalex.org/W81942528","https://openalex.org/W95858325","https://openalex.org/W168892550","https://openalex.org/W185711556","https://openalex.org/W1224593062","https://openalex.org/W1239098644","https://openalex.org/W1494395068","https://openalex.org/W1496894800","https://openalex.org/W1502646816","https://openalex.org/W1512824120","https://openalex.org/W1599735882","https://openalex.org/W2005473008","https://openalex.org/W2045474169","https://openalex.org/W2066442317","https://openalex.org/W2085177759","https://openalex.org/W2109447246","https://openalex.org/W2121375212","https://openalex.org/W2128888217","https://openalex.org/W2138162238","https://openalex.org/W2166971042","https://openalex.org/W2250180543","https://openalex.org/W2337392266","https://openalex.org/W2615688110","https://openalex.org/W3144889436","https://openalex.org/W6601420028","https://openalex.org/W6627972307","https://openalex.org/W6677854965","https://openalex.org/W6679258220","https://openalex.org/W6793045953"],"related_works":["https://openalex.org/W2350278424","https://openalex.org/W2071432835","https://openalex.org/W4234371507","https://openalex.org/W4299534542","https://openalex.org/W1628824497","https://openalex.org/W82161441","https://openalex.org/W1576042299","https://openalex.org/W2181943964","https://openalex.org/W1990602094","https://openalex.org/W1528423264"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":5},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":5},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":4},{"year":2013,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2016-06-24T00:00:00"}