Sciweavers

AMAI
2000
Springer
14 years 4 days ago
The logic of events
An event space is a set of instantaneous events that vary both in time and specificity. The concept of an event space provides a foundation for a logical--i.e., modular and open-a...
Glenn Shafer, Peter R. Gillett, Richard B. Scherl
AMAI
2000
Springer
14 years 4 days ago
A prospective on mathematics and artificial intelligence: Problem solving=Modeling+Theorem proving
This is a prospective on the research in the intersection of mathematics and artificial intelligence that I see as having been the most important over the past 10 years and that I...
Harvey J. Greenberg
AMAI
2000
Springer
14 years 4 days ago
Editor's remarks
Martin Charles Golumbic
AMAI
2000
Springer
14 years 4 days ago
A survey of temporal extensions of description logics
principled ones
Alessandro Artale, Enrico Franconi
AMAI
2000
Springer
14 years 3 months ago
On Solving Boolean Optimization with Satisfiability-Based Algorithms
This paper proposes new algorithms for the Binate Covering Problem (BCP), a well-known restriction of Boolean Optimization. Binate Covering finds application in many areas of Comp...
Vasco M. Manquinho, João P. Marques Silva
AMAI
2000
Springer
14 years 4 months ago
Using topology for spatial reasoning
Several formalisms have been proposed for qualitative reasoning about regions and their topological relations in space. These formalisms, based on pairwise relations, do not allow...
Boi Faltings