Can one design a geometry engine?

JOURNAL ARTICLE published April 2019 in Annals of Mathematics and Artificial Intelligence

Authors: Johann A. Makowsky

A new tractable class of constraint satisfaction problems

JOURNAL ARTICLE published May 2005 in Annals of Mathematics and Artificial Intelligence

Authors: V�ctor Dalmau

The representation and manipulation of the algorithmic probability measure for problem solving

JOURNAL ARTICLE published September 1991 in Annals of Mathematics and Artificial Intelligence

Authors: A. J. Gammerman

On the lengths of tree-like and Dag-like cutting plane refutations of Horn constraint systems

JOURNAL ARTICLE published October 2022 in Annals of Mathematics and Artificial Intelligence

Research funded by Air Force Office of Scientific Research (FA9550-19-1-017)

Authors: P. Wojciechowski | K. Subramani

Convergence analysis of convex incremental neural networks

JOURNAL ARTICLE published January 2008 in Annals of Mathematics and Artificial Intelligence

Authors: Lei Chen | Hung Keng Pung

Consistency checking reduced to satisfiability of concepts in terminological systems

JOURNAL ARTICLE published September 1996 in Annals of Mathematics and Artificial Intelligence

Authors: Bernhard Hollunder

Generalized feature similarity measure

JOURNAL ARTICLE published September 2020 in Annals of Mathematics and Artificial Intelligence

Authors: Firuz Kamalov

Boosting evolutionary algorithm configuration

JOURNAL ARTICLE published September 2022 in Annals of Mathematics and Artificial Intelligence

Research funded by None (0)

Authors: Carlos Ansótegui | Josep Pon | Meinolf Sellmann

Approximate well-founded semantics, query answering and generalized normal logic programs over lattices

JOURNAL ARTICLE published April 2009 in Annals of Mathematics and Artificial Intelligence

Authors: Yann Loyer | Umberto Straccia

A description logic based situation calculus

JOURNAL ARTICLE published February 2010 in Annals of Mathematics and Artificial Intelligence

Authors: Yilan Gu | Mikhail Soutchanski

Interchangeability with thresholds and degradation factors for Soft CSPs

JOURNAL ARTICLE published February 2013 in Annals of Mathematics and Artificial Intelligence

Authors: S. Bistarelli | B. Faltings | N. Neagu

Comparing the notions of optimality in CP-nets, strategic games and soft constraints

JOURNAL ARTICLE published January 2008 in Annals of Mathematics and Artificial Intelligence

Authors: Krzysztof R. Apt | Francesca Rossi | Kristen Brent Venable

Actors, actions, and initiative in normative system specification

JOURNAL ARTICLE published March 1993 in Annals of Mathematics and Artificial Intelligence

Authors: R. J. Wieringa | J. -J. Ch. Meyer

Integrated inventory and production policy for manufacturing with perishable raw materials

JOURNAL ARTICLE published September 2021 in Annals of Mathematics and Artificial Intelligence

Research funded by National Natural Science Foundation of China (71922009, 71871080, 72071056, 71690235, 71501058, 71601060) | Innovative Research Group Project of the National Natural Science Foundation of China (71521001)

Authors: Chaoming Hu | Min Kong | Jun Pei | Xinbao Liu | Panos M. Pardalos

Planning in partially-observable switching-mode continuous domains

JOURNAL ARTICLE published April 2010 in Annals of Mathematics and Artificial Intelligence

Authors: Emma Brunskill | Leslie Pack Kaelbling | Tomás Lozano-Pérez | Nicholas Roy

Using default and causal reasoning in diagnosis

JOURNAL ARTICLE published March 1994 in Annals of Mathematics and Artificial Intelligence

Authors: Kurt Konolige

Socially conscious stability for tiered coalition formation games

JOURNAL ARTICLE published 15 November 2023 in Annals of Mathematics and Artificial Intelligence

Authors: Nathan Arnold | Sarah Snider | Judy Goldsmith

Correction to: The logic of secrets and the interpolation rule

JOURNAL ARTICLE published December 2023 in Annals of Mathematics and Artificial Intelligence

Authors: Zuojun Xiong | Thomas Ågotnes

Introduction

JOURNAL ARTICLE published March 1994 in Annals of Mathematics and Artificial Intelligence

Authors: Luca Console | Gerhard Friedrich

JOURNAL ARTICLE published 1997 in Annals of Mathematics and Artificial Intelligence

Authors: Jan T.A. Koster