Sciweavers

4573 search results - page 169 / 915
» Automated Reasoning
Sort
View
KR
2004
Springer
15 years 9 months ago
On the Use of an ATMS for Handling Conflicting Desires
Leila Amgoud, Claudette Cayrol
KR
2004
Springer
15 years 9 months ago
Axiomatizing the Cyclic Interval Calculus
Jean-François Condotta, Gérard Ligoz...
90
Voted
KR
2004
Springer
15 years 9 months ago
Precondition Control and the Progression Algorithm
Alfredo Gabaldon