Metadata Search Funding Data Link References Status API Help
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

Authors: Dominique Pastre

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

Authors: Mihai Nadin

Editorial Board

JOURNAL ARTICLE published May 2016 in Artificial Intelligence

Book review

JOURNAL ARTICLE published February 2010 in Artificial Intelligence

Authors: Carles Sierra

Forthcoming papers

JOURNAL ARTICLE published November 1991 in Artificial Intelligence

M. Shanahan, Solving the Frame Problem

JOURNAL ARTICLE published October 2000 in Artificial Intelligence

Authors: Murray Shanahan

Introduction to neural and cognitive modeling

JOURNAL ARTICLE published July 1993 in Artificial Intelligence

Authors: Sue Becker

A relevance restriction strategy for automated deduction

JOURNAL ARTICLE published March 2003 in Artificial Intelligence

Authors: David A Plaisted | Adnan Yahya

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)

Authors: Edith Elkind | Erel Segal-Halevi | Warut Suksompong

Solving conflicts in information merging by a flexible interpretation of atomic propositions

JOURNAL ARTICLE published July 2011 in Artificial Intelligence

Authors: Steven Schockaert | Henri Prade

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)

Authors: Georg Gottlob | Marco Manna | Andreas Pieris

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)

Authors: Benito van der Zander | Maciej Liśkiewicz | Johannes Textor

Syntactic reasoning with conditional probabilities in deductive argumentation

JOURNAL ARTICLE published August 2023 in Artificial Intelligence

Authors: Anthony Hunter | Nico Potyka

On point-duration networks for temporal reasoning

JOURNAL ARTICLE published September 2002 in Artificial Intelligence

Authors: I. Navarrete | A. Sattar | R. Wetprasit | R. Marin

An associative-categorical model of word meaning

JOURNAL ARTICLE published 1975 in Artificial Intelligence

Authors: Robert M. Haralick | Knut Ripken

Editorial Board

JOURNAL ARTICLE published March 2013 in Artificial Intelligence