811 search results - page 68 / 163 » Semantic Web Reasoning with Conceptual Logic Programs |
65
Voted
DAGSTUHL
2008
15 years 3 months ago
2008
From 3 February to 8 February 2008, the Dagstuhl Seminar 08061 State" Conference and Research Center (IBFI), Schloss Dagstuhl. 45 researchers, with interests and expertise in ...
124
Voted
ICLP
2010
Springer
15 years 5 months ago
2010
Springer
[6]. An SBML model can be interpreted in Biocham at three abstraction levels: • the Boolean semantics (asynchronuous Boolean state transitions on the presence/absence of molecule...
104
Voted
ICALP
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We describe a cryptographically sound formal logic for proving protocol security properties without explicitly reasoning about probability, asymptotic complexity, or the ...
150
click to vote
FLAIRS
2009
14 years 11 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,...
110
click to vote
TPLP
2010
15 years 6 days ago
2010
The need for integration of ontologies with nonmonotonic rules has been gaining importance in a number of areas, such as the Semantic Web. A number of researchers addressed this p...