2291 search results - page 353 / 459 » Representational Reasoning and Verification |
ATAL
2010
Springer
13 years 11 months ago
2010
Springer
Alternating-time Temporal Logic (ATL) [1] is used to reason about strategic abilities of agents. Aiming at strategies that can realistically be implemented in software, many varia...
ECAI
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. This paper is centered on the problem of merging (possibly conflicting) information coming from different sources. Though this problem has attracted much attention in pro...
COMAD
2009
13 years 11 months ago
2009
An ontology is an explicit specification of shared conceptualization. The Web Ontology Language (OWL) is a family of knowledge representation languages for authoring ontologies, a...
GECCO
2008
Springer
13 years 11 months ago
2008
Springer
This paper introduces a procedure based on genetic programming to evolve XSLT programs (usually called stylesheets or logicsheets). XSLT is a general purpose, document-oriented fu...
ICPR
2010
IEEE
13 years 10 months ago
2010
IEEE
Animals are known to alter their behavior in response to changes in their environments. Therefore, automatic visual monitoring of animal behavior is currently of great interest be...