3028 search results - page 276 / 606 » Integrating Temporal Logics |
163
click to vote
ECAI
2004
Springer
16 years 7 days ago
2004
Springer
A critical aspect of an agent system is the ability to deal with unexpected situations to determine an appropriate course of action in a changing environment. In this paper, we inv...
199
Voted
IEEEICCI
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents an approach that integrates computational intelligence/soft computing paradigms with clinical investigation methods and knowledge. Computational intelligence m...
194
click to vote
AGP
1997
IEEE
15 years 11 months ago
1997
IEEE
We propose an algorithm for learning abductive logic programs from examples. We consider the Abductive Concept Learning framework, an extension of the Inductive Logic Programming ...
190
click to vote
TACS
1994
Springer
15 years 11 months ago
1994
Springer
Abstract. We have designed a programming logic based on an integration of functional programming languages with classical set theory. The logic merges a classical view of equality ...
155
click to vote
VLDB
1987
ACM
15 years 10 months ago
1987
ACM
A model for a historical database is described which is based upon time-stamped tuples as the unit of storage. The model includes both physical and logical time-stamps. The techni...