9145 search results - page 212 / 1829 » Description Logic Systems |
178
click to vote
DAS
2008
Springer
15 years 8 months ago
2008
Springer
Patent document images maintained by the U.S. patent database have a specific format, in which figures and text descriptions are separated into different sections. This makes it d...
171
click to vote
ISCA
2002
IEEE
15 years 6 months ago
2002
IEEE
This paper introduces the Simulation Architecture Description Language (SADL) developed at the National Aeronautics and Space Administration's Marshall Space Flight Center to...
191
click to vote
DAGSTUHL
2007
15 years 8 months ago
2007
Abstract. We explain the raison d’ˆetre and basic ideas of our gametheoretic approach to normative multiagent systems, sketching the central elements with pointers to other publ...
174
click to vote
ECIR
1998
Springer
15 years 7 months ago
1998
Springer
Probabilistic Argumentation Systems (PAS) are a technique for representing uncertainty both symbolically and numerically. It is shown that this technique, which combines symbolic ...
177
click to vote
JLP
2008
15 years 6 months ago
2008
Currently known sequent systems for temporal logics such as linear time temporal logic and computation tree logic either rely on a cut rule, an invariant rule, or an infinitary ru...