6355 search results - page 373 / 1271 » From Logic to Games |
204
click to vote
DLOG
2010
15 years 4 months ago
2010
Semantic interoperability is essential on the Semantic Web to enable different information systems to exchange data. Such interoperability can be achieved by identifying similar in...
183
click to vote
DLOG
2010
15 years 4 months ago
2010
Dynamic epistemic logic plays a key role in reasoning about multi-agent systems. Past approaches to dynamic epistemic logic have typically been focused on actions whose primary pur...
216
click to vote
WEBDB
2007
Springer
16 years 29 days ago
2007
Springer
XML information retrieval (XML-IR) systems utilize the logical structure of XML documents for retrieving relevant elements. From a practical point of view, displaying the search r...
156
click to vote
SAS
2005
Springer
16 years 10 days ago
2005
Springer
A method is developed to infer a polymorphic well-typing for a logic program. Our motivation is to improve the automation of termination analysis by deriving types from which norms...
183
click to vote
JIFS
2002
15 years 6 months ago
2002
Microarray technologies have allowed the measurement of expression of multiple genes simultaneously. Gene expression levels can be used to classify tissues into diagnostic or progn...