895 search results - page 37 / 179 » A Spectrum of Applications of Automated Reasoning |
146
click to vote
DEON
2008
Springer
15 years 6 months ago
2008
Springer
The security policy of an information system may include a wide range of different requirements. The literature has primarily focused on access and information flow control require...
158
click to vote
GIS
2002
ACM
15 years 4 months ago
2002
ACM
Despite the recognition of cellular automata (CA) as a exible and powerful tool for urban growth simulation, the calibration of CA had been largely heuristic until recent eVorts to...
286
click to vote
CSL
2011
Springer
14 years 11 months ago
2011
Springer
How much can we infer about the pronunciation of a language – past or present – by observing which words its speakers rhyme? This paper explores the connection between pronunc...
160
click to vote
CADE
2006
Springer
16 years 5 months ago
2006
Springer
CEL (Classifier for EL) is a reasoner for the small description logic EL+ which can be used to compute the subsumption hierarchy induced by EL+ ontologies. The most distinguishing ...
138
click to vote
ICLP
2007
Springer
15 years 10 months ago
2007
Springer
This article describes the experiences developing a Semantic Web application entirely in Prolog. The application, a demonstrator that provides access to multiple art collections an...