137 search results - page 16 / 28 » Reasoning About Transfinite Sequences |
ISKI
1994
13 years 11 months ago
1994
This paper aims at integrating techniques of non-monotonic reasoning about updates and of object-oriented specification of information systems. We present how to utilize defaults i...
LILOG
1989
13 years 11 months ago
1989
We propose a theory for reasoning about actions based on order-sorted predicate logic where one can consider an elaborate taxonomy of objects. We are interested in the projection ...
BIOCOMP
2008
13 years 9 months ago
2008
- Integrating information about protein sequence and structure allows further exploration and establishment of protein sequence-structure-function relations. However, protein data ...
UAI
2008
13 years 9 months ago
2008
Model-based Bayesian reinforcement learning has generated significant interest in the AI community as it provides an elegant solution to the optimal exploration-exploitation trade...
ENTCS
2007
13 years 7 months ago
2007
Reasoning about graph and model transformation systems is an important means to underpin model-driven software engineering, such as Model-Driven Architecture (MDA) and Model Integ...