JOURNAL ARTICLE published 2002 in Annals of Mathematics and Artificial Intelligence

A preferential semantics for causal reasoning about action

JOURNAL ARTICLE published 27 October 2006 in Annals of Mathematics and Artificial Intelligence

Authors: Mikhail Prokopenko

Categorical shape theory as a formal language for pattern recognition?

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

Authors: Timothy Porter

Consistency properties and set based logic programming

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

Authors: Anil Nerode | Jeffrey B. Remmel

Structured proof procedures

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

Authors: Enrico Giunchiglia | Alessandro Armando | Paolo Pecchiari

JOURNAL ARTICLE published 2003 in Annals of Mathematics and Artificial Intelligence

A formal concept analysis of harmonic forms and interval structures

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

Authors: Tobias Schlemmer | Stefan E. Schmidt

Feasibility in capacitated networks: The effect of individual arcs and nodes

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

Authors: Saied Ghannadan | Stein W. Wallace

MOO—MicroJIAC agents operating oxen

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

Authors: Erdene-Ochir Tuguldur | Marcel Patzlaff

Two hemispheres—two networks: a computational model explaining hemispheric asymmetries while reading ambiguous words

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

Authors: Orna Peleg | Larry Manevitz | Hananel Hazan | Zohar Eviatar

Guest editorial: special issue on answer set programming and other computing paradigms

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

Authors: Bart Bogaerts | Esra Erdem | Amelia Harrison

The Difficulty of Reduced Error Pruning of Leveled Branching Programs

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

Authors: Tapio Elomaa | Matti Kääriäinen

Preface

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

Authors: Manfred Jaeger | Lise Getoor | Kristian Kersting

Congruence relations on some hyperstructures

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

Authors: Inma P. Cabrera | Pablo Cordero | Gloria Gutiérrez | Javier Martínez | Manuel Ojeda-Aciego

JOURNAL ARTICLE published 2002 in Annals of Mathematics and Artificial Intelligence

Authors: Luca Chittaro | Carlo Combi

Rapid Prototyping of Large Multi-Agent Systems Through Logic Programming

JOURNAL ARTICLE published August 2004 in Annals of Mathematics and Artificial Intelligence

Authors: W. Vasconcelos | D. Robertson | C. Sierra | M. Esteva | J. Sabater | M. Wooldridge

Controlling sub-tournaments: easy or hard problem?

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

Authors: Noa Eidelstein | Lior Aronshtam | Eitan Eidelstein | Tammar Shrot

Formalization of a normalization theorem in simplicial topology

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

Authors: Laureano Lambán | Francisco-Jesús Martín–Mateos | Julio Rubio | José-Luis Ruiz–Reina

JOURNAL ARTICLE published 2000 in Annals of Mathematics and Artificial Intelligence

Authors: Andrew Ireland | Jamie Stark

LogAG: An algebraic non-monotonic logic for reasoning with graded propositions

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

Authors: Nourhan Ehab | Haythem O. Ismail