1534 search results - page 158 / 307 » Error Reporting Logic |
136
Voted
CORR
2010
Springer
15 years 4 months ago
2010
Springer
The need to deal with vague information in Semantic Web languages is rising in importance and, thus, calls for a standard way to represent such information. We may address this is...
109
click to vote
ENTCS
2008
15 years 4 months ago
2008
We report our experience with exploring a new point in the design space for formal reasoning systems: the development of the programming language mega. mega is intended as both a ...
155
click to vote
IJAR
2008
15 years 4 months ago
2008
A model is defined that predicts an agent's ascriptions of causality (and related notions of facilitation and justification) between two events in a chain, based on backgroun...
134
click to vote
JALC
2006
15 years 4 months ago
2006
Membrane computing is a branch of molecular computing that aims to develop models and paradigms that are biologically motivated. It identifies an unconventional computing model, n...
148
click to vote
CSI
2007
15 years 4 months ago
2007
The subject of research in this paper is RM-ODP, an ISO/ITU-T international standard. We investigate an important challenge that the standard faces, specifically the absence of a ...