2386 search results - page 106 / 478 » Representing and Reasoning with Preferences |
JSS
2007
14 years 9 months ago
2007
Large systems often have a long life-span and comprise many intricately related elements. The verification and maintenance of these systems require a good understanding of their ...
COSIT
2009
Springer
14 years 7 months ago
2009
Springer
People intuitively understand that function and purpose are critical parts of what human-configured entities are about, but these notions have proved difficult to capture formally....
WWW
2008
ACM
15 years 10 months ago
2008
ACM
We propose a method of classifying XML documents and extracting XML schema from XML by inductive inference based on constraint logic programming. The goal of this work is to type ...
COSIT
2009
Springer
15 years 4 months ago
2009
Springer
Abstract.Abstract.Abstract. This paper proposes an automated approach for describing how geospatial objects evolve. We consider geospatial objects whose boundaries and properties c...
ICTAI
2008
IEEE
15 years 4 months ago
2008
IEEE
We elaborate upon the usage of action language C for representing and reasoning about biological models. First, we provide a simple extension of C allowing for variables and show ...