1588 search results - page 66 / 318 » On the Logic of Constitutive Rules |
191
click to vote
JAR
2010
15 years 1 months ago
2010
Based on inductive definitions, we develop a tool that automates the definition of partial recursive functions in higher-order logic (HOL) and provides appropriate proof rules for ...
199
click to vote
FLAIRS
2009
15 years 4 months ago
2009
Ensuring the consistency and completeness of Semantic Web ontologies is practically impossible, because of their scale and highly dynamic nature. Many web applications, therefore,...
147
click to vote
EDOC
2007
IEEE
16 years 16 days ago
2007
IEEE
A business process usually includes multiple business partners that use systems with their business logics represented in different rule (or policy) languages. The integration of ...
181
click to vote
AOSD
2007
ACM
15 years 10 months ago
2007
ACM
Design rules express constraints on the behavior and structure of a program. These rules can help ensure that a program follows a set of established practices, and avoids certain ...
202
click to vote
LICS
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--This paper summarizes results on a recently introduced family of Datalog-based languages, called Datalog+/-, which is a new framework for tractable ontology querying, and...