{"id":"https://openalex.org/W2085184180","doi":"https://doi.org/10.1007/bf00881957","title":"Tableau-based characterization and theorem proving for default logic","display_name":"Tableau-based characterization and theorem proving for default logic","publication_year":1994,"publication_date":"1994-01-01","ids":{"openalex":"https://openalex.org/W2085184180","doi":"https://doi.org/10.1007/bf00881957","mag":"2085184180"},"language":"en","primary_location":{"id":"doi:10.1007/bf00881957","is_oa":false,"landing_page_url":"https://doi.org/10.1007/bf00881957","pdf_url":null,"source":{"id":"https://openalex.org/S99781599","display_name":"Journal of Automated Reasoning","issn_l":"0168-7433","issn":["0168-7433","1573-0670"],"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":"Journal of Automated Reasoning","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/A5031237035","display_name":"Vincent Risch","orcid":null},"institutions":[{"id":"https://openalex.org/I125749732","display_name":"Western University","ror":"https://ror.org/02grkyz14","country_code":"CA","type":"education","lineage":["https://openalex.org/I125749732"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Vincent Risch","raw_affiliation_strings":["Department of Computer Science, University of Western Ontario, Middlesex College, N6A 6B7, London, Ontario, Canada","Department of Computer Science, University of Western Ontario, Middlesex College, London, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Western Ontario, Middlesex College, N6A 6B7, London, Ontario, Canada","institution_ids":["https://openalex.org/I125749732"]},{"raw_affiliation_string":"Department of Computer Science, University of Western Ontario, Middlesex College, London, Canada","institution_ids":["https://openalex.org/I125749732"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5012362996","display_name":"Camilla Schwind","orcid":null},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I4210115196","display_name":"Laboratoire d\u2019Informatique Fondamentale de Marseille","ror":"https://ror.org/022my8t07","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I21491767","https://openalex.org/I4210115196","https://openalex.org/I4210142724","https://openalex.org/I4210159245"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Camilla B. Schwind","raw_affiliation_strings":["Facult\u00e9 des Sciences de Luminy, Laboratoire d'Informatique de Marseille, CNRS, 16 Avenue de Luminy Case 901, 13288, Marseille Cedex 9, France","Facult\u00e9 des Sciences de Luminy, Laboratoire d'Informatique de Marseille, CNRS, Marseille Cedex 9, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Facult\u00e9 des Sciences de Luminy, Laboratoire d'Informatique de Marseille, CNRS, 16 Avenue de Luminy Case 901, 13288, Marseille Cedex 9, France","institution_ids":["https://openalex.org/I4210115196","https://openalex.org/I1294671590"]},{"raw_affiliation_string":"Facult\u00e9 des Sciences de Luminy, Laboratoire d'Informatique de Marseille, CNRS, Marseille Cedex 9, France","institution_ids":["https://openalex.org/I1294671590"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":2290,"currency":"EUR","value_usd":2890},"apc_paid":null,"fwci":5.6531,"has_fulltext":false,"cited_by_count":41,"citation_normalized_percentile":{"value":0.95988677,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"13","issue":"2","first_page":"223","last_page":"242"},"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/T10126","display_name":"Logic, programming, and type systems","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/T10142","display_name":"Formal Methods in Verification","score":0.995199978351593,"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/decidability","display_name":"Decidability","score":0.9104545712471008},{"id":"https://openalex.org/keywords/default","display_name":"Default","score":0.8014471530914307},{"id":"https://openalex.org/keywords/default-logic","display_name":"Default logic","score":0.7552074193954468},{"id":"https://openalex.org/keywords/characterization","display_name":"Characterization (materials science)","score":0.5411199331283569},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5235475897789001},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.45170438289642334},{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.45085543394088745},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.41746094822883606},{"id":"https://openalex.org/keywords/automated-theorem-proving","display_name":"Automated theorem proving","score":0.4164758324623108},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.40902969241142273},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.37140554189682007},{"id":"https://openalex.org/keywords/mathematical-economics","display_name":"Mathematical economics","score":0.32587891817092896},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.30139076709747314},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.24394890666007996},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.23945078253746033},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1819361448287964},{"id":"https://openalex.org/keywords/autoepistemic-logic","display_name":"Autoepistemic logic","score":0.14172479510307312},{"id":"https://openalex.org/keywords/economics","display_name":"Economics","score":0.07155060768127441},{"id":"https://openalex.org/keywords/multimodal-logic","display_name":"Multimodal logic","score":0.07108014822006226},{"id":"https://openalex.org/keywords/finance","display_name":"Finance","score":0.07040673494338989}],"concepts":[{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.9104545712471008},{"id":"https://openalex.org/C69637215","wikidata":"https://www.wikidata.org/wiki/Q702362","display_name":"Default","level":2,"score":0.8014471530914307},{"id":"https://openalex.org/C160236029","wikidata":"https://www.wikidata.org/wiki/Q842421","display_name":"Default logic","level":5,"score":0.7552074193954468},{"id":"https://openalex.org/C2780841128","wikidata":"https://www.wikidata.org/wiki/Q5073781","display_name":"Characterization (materials science)","level":2,"score":0.5411199331283569},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5235475897789001},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.45170438289642334},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.45085543394088745},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.41746094822883606},{"id":"https://openalex.org/C206880738","wikidata":"https://www.wikidata.org/wiki/Q431667","display_name":"Automated theorem proving","level":2,"score":0.4164758324623108},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.40902969241142273},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.37140554189682007},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.32587891817092896},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.30139076709747314},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.24394890666007996},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.23945078253746033},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1819361448287964},{"id":"https://openalex.org/C3845977","wikidata":"https://www.wikidata.org/wiki/Q4826262","display_name":"Autoepistemic logic","level":4,"score":0.14172479510307312},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.07155060768127441},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.07108014822006226},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.07040673494338989},{"id":"https://openalex.org/C171250308","wikidata":"https://www.wikidata.org/wiki/Q11468","display_name":"Nanotechnology","level":1,"score":0.0},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/bf00881957","is_oa":false,"landing_page_url":"https://doi.org/10.1007/bf00881957","pdf_url":null,"source":{"id":"https://openalex.org/S99781599","display_name":"Journal of Automated Reasoning","issn_l":"0168-7433","issn":["0168-7433","1573-0670"],"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":"Journal of Automated Reasoning","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":29,"referenced_works":["https://openalex.org/W27677898","https://openalex.org/W72921216","https://openalex.org/W133949766","https://openalex.org/W1508780780","https://openalex.org/W1536217426","https://openalex.org/W1555119247","https://openalex.org/W1560000883","https://openalex.org/W1598068148","https://openalex.org/W1711010645","https://openalex.org/W1780025212","https://openalex.org/W2004352874","https://openalex.org/W2014810198","https://openalex.org/W2029246084","https://openalex.org/W2033225733","https://openalex.org/W2039303449","https://openalex.org/W2078926321","https://openalex.org/W2088158505","https://openalex.org/W2119887426","https://openalex.org/W2140533498","https://openalex.org/W2155322595","https://openalex.org/W2557892554","https://openalex.org/W2611415697","https://openalex.org/W2913309218","https://openalex.org/W2945259913","https://openalex.org/W4233253115","https://openalex.org/W4285719527","https://openalex.org/W4301968143","https://openalex.org/W6600300406","https://openalex.org/W6632658252"],"related_works":["https://openalex.org/W2155322595","https://openalex.org/W157785659","https://openalex.org/W1526015668","https://openalex.org/W2124620840","https://openalex.org/W1546460049","https://openalex.org/W43037849","https://openalex.org/W2003879797","https://openalex.org/W313521069","https://openalex.org/W2054201370","https://openalex.org/W2001082547"],"abstract_inverted_index":null,"counts_by_year":[{"year":2014,"cited_by_count":2},{"year":2012,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}