Reasoning by regression: pre-and postdiction procedures for logics of action and change with nondeterminism

Authors:
Marcus Bjareland;Lars Karlsson
Affiliations:
Department of Computer and Information Science, Linkopings University, Linkoping, Sweden;Department of Computer and Information Science, Linkopings University, Linkoping, Sweden
Venue:
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
Year:
1997

Citing 6
Cited 0

Toward a mathematical theory of plan synthesis

Toward a mathematical theory of plan synthesis
Predicate calculus and program semantics

Predicate calculus and program semantics
The frame problem in situation the calculus: a simple solution (sometimes) and a completeness result for goal regression

Artificial intelligence and mathematical theory of computation
Features and fluents (vol. 1): the representation of knowledge about dynamical systems

Features and fluents (vol. 1): the representation of knowledge about dynamical systems
Reasoning about action and change using Dijkstra's semantics for programming languages: preliminary report

IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Embracing causality in specifying the indeterminate effects of actions

AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1

Quantified Score

Hi-index	0.00

Visualization

Abstract

In order to rank the performance of machine learning algorithms, many researchers conduct experiments on benchmark data sets. Since most learning algorithms have domain-specific parameters, it is a popular custom to adapt these parameters to obtain a ...