1746 search results - page 127 / 350 » A Constructive Semantics for ALC |
159
Voted
ECAI
2010
Springer
15 years 5 months ago
2010
Springer
Logic programs under the stable models semantics, or answer-set programs, provide an expressive rule based knowledge representation framework, featuring formal, declarative and wel...
151
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: Large volumes of morphological descriptions of whole organisms have been created as print or electronic text in a human-readable format. Converting the descriptions in...
152
Voted
IANDC
2006
15 years 4 months ago
2006
We give a coalgebraic formulation of timed processes and their operational semantics. We model time by a monoid called a "time domain", and we model processes by "t...
146
click to vote
WWW
2004
ACM
16 years 5 months ago
2004
ACM
As Web sites are now ordinary products, it is necessary to explicit the notion of quality of a Web site. The quality of a site may be linked to the easiness of accessibility and a...
159
click to vote
SEMWEB
2009
Springer
15 years 11 months ago
2009
Springer
A key question regarding the future of the semantic web is “how will we acquire structured information to populate the semantic web on a vast scale?” One approach is to enter t...