1438 search results - page 158 / 288 » An Expressive Extension of TLC |
168
click to vote
IJCAI
2007
15 years 7 months ago
2007
This article proposes a Diagnosis Interchange Format (DIF), an XML-based interchange format for Model-Based Diagnosis (MBD). Its main purposes are to allow sharing of diagnostic m...
136
click to vote
OWLED
2008
15 years 7 months ago
2008
In our experiences building systems that use Semantic Web technologies, we have often identified a requirement for a consistent way to associate data values with standard units. We...
205
click to vote
SEMWIKI
2008
15 years 7 months ago
2008
Although the Semantic Web vision is gaining momentum and the underlying technologies are used in many different areas, there still seems to be no agreement on how they should be us...
191
click to vote
AAAI
2004
15 years 7 months ago
2004
This paper presents a logical framework for negotiation based on belief revision theory. We consider that a negotiation process is a course or multiple courses of mutual belief re...
196
click to vote
ACSW
2004
15 years 7 months ago
2004
Ontologies represent a method of formally expressing a shared understanding of information, and have been seen by many authors as a prerequisite for the "Semantic web". ...