Sciweavers

76 search results - page 2 / 16
» kr 2004
Sort
View
121
Voted
KR
2004
Springer
15 years 10 months ago
Meaning and Links: A Semantic Odyssey
William A. Woods
82
Voted
KR
2004
Springer
15 years 10 months ago
On the Use of an ATMS for Handling Conflicting Desires
Leila Amgoud, Claudette Cayrol
85
Voted
KR
2004
Springer
15 years 10 months ago
Automated Reformulation of Specifications by Safe Delay of Constraints
Marco Cadoli, Toni Mancini
85
Voted
KR
2004
Springer
15 years 10 months ago
A Polynomial-Time Algorithm for Constructing k-Maintainable Policies
Chitta Baral, Thomas Eiter
KR
2004
Springer
15 years 10 months ago
Axiomatizing the Cyclic Interval Calculus
Jean-François Condotta, Gérard Ligoz...