268 search results - page 54 / 54 » Expressive Power of Grammatical Formalisms |
ICLP
2011
Springer
12 years 10 months ago
2011
Springer
Transaction Logic is an extension of classical logic that gracefully integrates both declarative and procedural knowledge and has proved itself as a powerful formalism for many ad...
PLDI
2011
ACM
12 years 10 months ago
2011
ACM
Information flow is an important security property that must be incorporated from the ground up, including at hardware design time, to provide a formal basis for a system’s roo...
CIKM
2011
Springer
12 years 7 months ago
2011
Springer
We present Nyaya, a system for the management of Semantic-Web data which couples a general-purpose and extensible storage mechanism with efficient ontology reasoning and querying ...