Sciweavers

169 search results - page 8 / 34
» Temporal Reasoning in Nested Temporal Networks with Alternat...
Sort
View
FLAIRS
2008
13 years 9 months ago
A Framework for Merging Qualitative Constraints Networks
Spatial or temporal reasoning is an important task for many applications in Artificial Intelligence, such as space scheduling, navigation of robots, etc. Several qualitative appro...
Jean-François Condotta, Souhila Kaci, Nicol...
AAAI
1996
13 years 8 months ago
Formalizing Narratives Using Nested Circumscription
The representation of narratives of actions and observations is a current issue in Knowledge Representation, where traditional plan-oriented treatments of action seem to fall shor...
Chitta Baral, Alfredo Gabaldon, Alessandro Provett...
IWANN
2001
Springer
13 years 12 months ago
Verifying Properties of Neural Networks
In the beginning of nineties, Hava Siegelmann proposed a new computational model, the Artificial Recurrent Neural Network (ARNN), and proved that it could perform hypercomputation....
Pedro Rodrigues, José Félix Costa, H...
TIME
2006
IEEE
14 years 1 months ago
Ultimately Periodic Simple Temporal Problems (UPSTPs)
In this paper, we consider quantitative temporal or spatial constraint networks whose constraints evolve over time in an ultimately periodic fashion. These constraint networks are...
Jean-François Condotta, Gérard Ligoz...
ATAL
2003
Springer
14 years 22 days ago
Distributing the control of a temporal network among multiple agents
Agents collaborating on a set of tasks subject to temporal constraints must coordinate their activities to ensure that all of the temporal constraints are ultimately satisfied. S...
Luke Hunsberger