Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 3 of 4581 results
Sort by: relevance publication year
Showing results for ISSN matching 0004-3702

A general multi-agent epistemic planner based on higher-order belief change

JOURNAL ARTICLE published December 2021 in Artificial Intelligence

Research funded by National Natural Science Foundation of China (61572535,61976232) | Guangzhou Municipal Science and Technology Project (201804010435)

Authors: Hai Wan | Biqing Fang | Yongmei Liu

https://doi.org/10.1016/j.artint.2021.103562 Actions

A logic of knowledge and justified assumptions

JOURNAL ARTICLE published October 1992 in Artificial Intelligence

Authors: Fangzhen Lin | Yoav Shoham

https://doi.org/10.1016/0004-3702(92)90019-t Actions

Conditional logics of normality: A modal approach

JOURNAL ARTICLE published July 1994 in Artificial Intelligence

Authors: Craig Boutilier

https://doi.org/10.1016/0004-3702(94)90096-5 Actions

On principle-based evaluation of extension-based argumentation semantics

JOURNAL ARTICLE published July 2007 in Artificial Intelligence

Authors: Pietro Baroni | Massimiliano Giacomin

https://doi.org/10.1016/j.artint.2007.04.004 Actions

Minimal belief and negation as failure

JOURNAL ARTICLE published October 1994 in Artificial Intelligence

Authors: Vladimir Lifschitz

https://doi.org/10.1016/0004-3702(94)90103-1 Actions

An examination of the geometry theorem machine

JOURNAL ARTICLE published January 1970 in Artificial Intelligence

Authors: P.C. Gilmore

https://doi.org/10.1016/0004-3702(70)90005-6 Actions

Man-machine theorem proving in graph theory

JOURNAL ARTICLE published May 1988 in Artificial Intelligence

Authors: Dragoš Cvetković | Irena Pevac

https://doi.org/10.1016/0004-3702(88)90030-6 Actions

Contents

JOURNAL ARTICLE published November 1979 in Artificial Intelligence

https://doi.org/10.1016/0004-3702(79)90012-2 Actions

An unfair review of Margaret Boden's The Creative Mind from the perspective of creative systems

JOURNAL ARTICLE published November 1995 in Artificial Intelligence

Authors: David Perkins

https://doi.org/10.1016/0004-3702(95)90026-8 Actions

Announcement

JOURNAL ARTICLE published April 1995 in Artificial Intelligence

https://doi.org/10.1016/0004-3702(95)90033-0 Actions

Computer chess move-ordering schemes using move influence

JOURNAL ARTICLE published July 2000 in Artificial Intelligence

Authors: Kieran Greer

https://doi.org/10.1016/s0004-3702(00)00026-6 Actions

Approximate planning

JOURNAL ARTICLE published July 1995 in Artificial Intelligence

Authors: Matthew L. Ginsberg

https://doi.org/10.1016/0004-3702(94)00077-e Actions

Consequence-based and fixed-parameter tractable reasoning in description logics

JOURNAL ARTICLE published April 2014 in Artificial Intelligence

Authors: František Simančík | Boris Motik | Ian Horrocks

https://doi.org/10.1016/j.artint.2014.01.002 Actions

Loop formulas for circumscription

JOURNAL ARTICLE published February 2006 in Artificial Intelligence

Authors: Joohyung Lee | Fangzhen Lin

https://doi.org/10.1016/j.artint.2005.09.003 Actions

A unifying action calculus

JOURNAL ARTICLE published January 2011 in Artificial Intelligence

Authors: Michael Thielscher

https://doi.org/10.1016/j.artint.2010.04.010 Actions

Editorial Board

JOURNAL ARTICLE published November 2014 in Artificial Intelligence

https://doi.org/10.1016/s0004-3702(14)00108-8 Actions

Editorial Board

JOURNAL ARTICLE published October 2020 in Artificial Intelligence

https://doi.org/10.1016/s0004-3702(20)30125-9 Actions

MUSCADET: An automatic theorem proving system using knowledge and metaknowledge in mathematics

JOURNAL ARTICLE published April 1989 in Artificial Intelligence

Authors: Dominique Pastre

https://doi.org/10.1016/0004-3702(89)90035-0 Actions

Editorial Board

JOURNAL ARTICLE published April 2016 in Artificial Intelligence

https://doi.org/10.1016/s0004-3702(16)30005-4 Actions

Language as a cognitive process, volume I: Syntax

JOURNAL ARTICLE published December 1985 in Artificial Intelligence

Authors: Mihai Nadin

https://doi.org/10.1016/0004-3702(85)90018-9 Actions
Feedback: support@crossref.org