Facet browsing currently unavailable
Page 1 of 4578 results
Sort by: relevance publication year
Editorial Board JOURNAL ARTICLE published November 2014 in Artificial Intelligence |
Editorial Board JOURNAL ARTICLE published October 2020 in Artificial Intelligence |
MUSCADET: An automatic theorem proving system using knowledge and metaknowledge in mathematics JOURNAL ARTICLE published April 1989 in Artificial Intelligence |
Editorial Board JOURNAL ARTICLE published April 2016 in Artificial Intelligence |
Language as a cognitive process, volume I: Syntax JOURNAL ARTICLE published December 1985 in Artificial Intelligence |
Editorial Board JOURNAL ARTICLE published May 2016 in Artificial Intelligence |
Book review JOURNAL ARTICLE published February 2010 in Artificial Intelligence |
Forthcoming papers JOURNAL ARTICLE published November 1991 in Artificial Intelligence |
M. Shanahan, Solving the Frame Problem JOURNAL ARTICLE published October 2000 in Artificial Intelligence |
Introduction to neural and cognitive modeling JOURNAL ARTICLE published July 1993 in Artificial Intelligence |
A relevance restriction strategy for automated deduction JOURNAL ARTICLE published March 2003 in Artificial Intelligence |
Forthcoming papers JOURNAL ARTICLE published September 1985 in Artificial Intelligence |
Mind the gap: Cake cutting with separation JOURNAL ARTICLE published December 2022 in Artificial Intelligence Research funded by Ministry of Education - Singapore (MOE-T2EP20221-0001) | Israel Science Foundation (712/20) | European Research Council (639945) |
Solving conflicts in information merging by a flexible interpretation of atomic propositions JOURNAL ARTICLE published July 2011 in Artificial Intelligence |
Polynomial combined first-order rewritings for linear and guarded existential rules JOURNAL ARTICLE published August 2023 in Artificial Intelligence Research funded by Engineering and Physical Sciences Research Council (EP/S003800/1) | Royal Society (RP/R1/201074) | Merck Institute for Science Education (F/050389/01-03/X32) |
Corrigendum to “Separators and adjustment sets in causal graphs: Complete criteria and an algorithmic framework” [Artif. Intell. 270 (2019) 1–40] JOURNAL ARTICLE published August 2023 in Artificial Intelligence Research funded by Deutsche Forschungsgemeinschaft (471183316,ZA 1244/1-1) |
Syntactic reasoning with conditional probabilities in deductive argumentation JOURNAL ARTICLE published August 2023 in Artificial Intelligence |
On point-duration networks for temporal reasoning JOURNAL ARTICLE published September 2002 in Artificial Intelligence |
An associative-categorical model of word meaning JOURNAL ARTICLE published 1975 in Artificial Intelligence |
Editorial Board JOURNAL ARTICLE published March 2013 in Artificial Intelligence |