474 search results - page 31 / 95 » Spatial Agents Implemented in a Logical Expressible Language |
AAAI
2004
13 years 10 months ago
2004
A logic of conditional preferences is defined, with a language which allows the compact representation of certain kinds of conditional preference statements, a semantics and a pro...
AAAI
2010
13 years 10 months ago
2010
Large scale ontology applications require efficient and robust description logic (DL) reasoning services. Expressive DLs usually have very high worst case complexity while tractab...
GEOS
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Semantic similarity measurement gained attention as a methodology for ontology-based information retrieval within GIScience over the last years. Several theories explain ...
POPL
2010
ACM
14 years 6 months ago
2010
ACM
The method of logical relations is a classic technique for proving the equivalence of higher-order programs that implement the same observable behavior but employ different intern...
CIMCA
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper describes a Rule Based Service Level Agreement language called RBSLA which is based on RuleML. With this language SLAs can be implemented in a machine readable syntax w...