Has author Michael Kifer
From Tetherless World Wiki
A list of all pages that have property "Has author" with value "Michael Kifer"- Where Are the Rules? +
- Inheritance and Rules in Object-Oriented Semantic Web Languages +
- CTR-S: a logic for specifying contracts in semantic web services +
- On the complexity of schema inference from web pages in the presence of nullable data attributes +
- WSMO Choreography: From Abstract State Machines to Concurrent Transaction Logic +
- An Evidence-based Framework for a Theory of Inheritance +
- On the Declarative Semantics of Inheritance Networks +
- A Layered Architecture for Querying Dynamic Web Content +
- Querying Object-Oriented Databases +
- F-Logic: A Higher-Order language for Reasoning about Objects, Inheritance, and Scheme +
- Comprehensive Approach to the Design of Relational Database Schemes +
- Containment of Conjunctive Object Meta-Queries +
- A Logical Framework for Scheduling Workflows under Resource Allocation Constraints +
- Reasoning about the Behavior of Semantic Web Services with Concurrent Transaction Logic +
- RuleML Position Statement +
- Rules in the Semantic Web Services Language (SWSL): An Overview for Standardization Directions +
