1401 search results - page 212 / 281 » Tool Integration for Reasoned Programming |
LPNMR
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. The logic FO(ID) uses ideas from the field of logic programming to extend first order logic with non-monotone inductive definitions. The goal of this paper is to exten...
135
click to vote
DKE
2008
15 years 1 months ago
2008
In this work, we present the design and implementation of a system for proof explanation in the Semantic Web, based on defeasible reasoning. Trust is a vital feature for Semantic ...
110
click to vote
ESWA
2006
15 years 1 months ago
2006
In the past, the selection of resources to execute various warehouse operation services was done solely by experts. In this paper, a RFIDbased Resource Management System (RFID-RMS...
114
click to vote
SEMWEB
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. The Rule Interchange Format Production Rule Dialect (RIFPRD) is a W3C Recommendation to define production rules for the Semantic Web, whose semantics is defined operation...
130
click to vote
TII
2010
14 years 8 months ago
2010
Behavior, Interaction, Priorities (BIP) is a component framework for constructing systems from a set of atomic components by using two kinds of composition operators: interactions ...