Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 5 of 1657 results
Sort by: relevance publication year

ECWA made easy

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

Authors: Vladimir Lifschitz

https://doi.org/10.1007/bf01530823 Actions

Modal nonmonotonic logics demodalized

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

Authors: Alexander Bochman

https://doi.org/10.1007/bf01535843 Actions

Preface

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

Authors: Sebastian Link | Henri Prade

https://doi.org/10.1007/s10472-012-9304-z Actions

Preface

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

Authors: Sergio Greco | Thomas Lukasiewicz

https://doi.org/10.1007/s10472-012-9284-z Actions

Preface

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

Authors: Temur Kutsia | Andrew M. Marshall

https://doi.org/10.1007/s10472-022-09796-0 Actions

Introduction

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

Authors: Jorge Lobo | Arcot Rajasekar

https://doi.org/10.1007/bf01530816 Actions

Representing diagnosis knowledge

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

Authors: David Poole

https://doi.org/10.1007/bf01530736 Actions

Modeling and shadowing paraconsistent BDI agents

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

Research funded by Narodowe Centrum Nauki (2015/19/B/ST6/02589)

Authors: Barbara Dunin-Kęplicz | Andrzej Szałas

https://doi.org/10.1007/s10472-023-09902-w Actions

Preface

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

Authors: Janos Csirik | Horst Bunke

https://doi.org/10.1007/bf01530827 Actions

An algorithmic debugging approach for belief-desire-intention agents

JOURNAL ARTICLE published 5 May 2023 in Annals of Mathematics and Artificial Intelligence

Authors: Tobias Ahlbrecht

https://doi.org/10.1007/s10472-023-09843-4 Actions

Cost-aware sequential diagnostics

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

Authors: Bernhard Ganter

https://doi.org/10.1007/s10472-022-09826-x Actions

Gunar E. Liepins

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

Authors: Michael R. Hilliard

https://doi.org/10.1007/bf01531275 Actions

Multi-valued autoepistemic logic

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

Authors: Robert F. Stärk

https://doi.org/10.1007/bf02127746 Actions

On hedonic games with common ranking property

JOURNAL ARTICLE published 23 August 2023 in Annals of Mathematics and Artificial Intelligence

Research funded by TÜBITAK (118E126)

Authors: Bugra Caskurlu | Fatih Erdem Kizilkaya

https://doi.org/10.1007/s10472-023-09892-9 Actions

Straightening Euclidean invariants

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

Authors: John P. Dalbec

https://doi.org/10.1007/bf01531325 Actions

A new definition for feature selection stability analysis

JOURNAL ARTICLE published 1 March 2024 in Annals of Mathematics and Artificial Intelligence

Authors: Teddy Lazebnik | Avi Rosenfeld

https://doi.org/10.1007/s10472-024-09936-8 Actions

Automated discovery of angle theorems

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

Authors: Philip Todd

https://doi.org/10.1007/s10472-023-09841-6 Actions

Altruism in coalition formation games

JOURNAL ARTICLE published 31 July 2023 in Annals of Mathematics and Artificial Intelligence

Research funded by Deutsche Forschungsgemeinschaft (RO 1202/14-2,RO 1202/21-1) | Ministerium für Kultur und Wissenschaft des Landes Nordrhein-Westfalen (NRW-Forschungskolleg Online-Partizipation)

Authors: Anna Maria Kerkmann | Simon Cramer | Jörg Rothe

https://doi.org/10.1007/s10472-023-09881-y Actions

Appendix: Short description of existing provers

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

https://doi.org/10.1007/bf01531329 Actions

Labelled splitting

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

Authors: Arnaud Fietzke | Christoph Weidenbach

https://doi.org/10.1007/s10472-009-9150-9 Actions
Feedback: support@crossref.org