1581 search results - page 223 / 317 » Mechanizing Inductive Reasoning |
117
click to vote
ICLP
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. In this doctoral work we aim at developing a new approach to labelled semantics and equivalences for the Concurrent Constraint Programming (CCP) which will enable a broad...
WOTUG
2008
15 years 1 months ago
2008
Abstract. Communicating Sequential Processes (CSP) was developed around a formal algebra of processes and a semantics based on traces (and failures and divergences). A trace is a r...
113
click to vote
JACM
2010
14 years 10 months ago
2010
Description logics (DLs) and rules are formalisms that emphasize different aspects of knowledge representation: whereas DLs are focused on specifying and reasoning about conceptual...
133
click to vote
RR
2010
Springer
14 years 10 months ago
2010
Springer
Role-based access control is a standard mechanism in information systems. Based on the role a user has, certain information is kept from the user even if requested. For ontologies ...
188
click to vote
GIS
2004
ACM
16 years 28 days ago
2004
ACM
The advances in wireless communication and decreasing costs of mobile devices have enabled users to access desired information at any time. Coupled with positioning technologies l...