533 search results - page 13 / 107 » Representations of strategic knowledge in design |
MVA
1994
13 years 10 months ago
1994
The visual perceptional ability of computer systems to understand the environment is desirable in engineering design and manufacturing where automation is anticipated. I n order t...
ATAL
2009
Springer
14 years 3 months ago
2009
Springer
Alternating-time temporal logic (atl) is one of the most influential logics for reasoning about agents’ abilities. Constructive Strategic Logic (csl) is a variant of atl for im...
KCAP
2005
ACM
14 years 2 months ago
2005
ACM
For decades, researchers in knowledge representation (KR) have argued for and against various choices in KR formalisms, such as Rules, Frames, Semantic nets, and Formal logic. In ...
NAACL
1994
13 years 10 months ago
1994
The functionality of systems that extract information from texts can be specified quite simply: the input is a stream of texts and the output is some representation of the informa...
KNINVI
2005
Springer
14 years 2 months ago
2005
Springer
The timeworn claim that a picture is worth a thousand words is generally well-supported by empirical evidence, suggesting that diagrams and other information graphics can enhance h...