1
Published 2010
Table of Contents: ... of Differential Constraints in Possible Conflict and ARR Computation -- On the Complexity of Program Debugging...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ... Computational Method for Defeasible Argumentation Based on a Recursive Warrant Semantics -- Evolutionary...
View full text
Electronic eBook
3
Published 2005
Table of Contents: ... -- New Rules for Hybrid Spatial Reasoning -- Using Pre-aggregation for Efficient Spatial Query Processing...
View full text
Electronic eBook