3515 search results - page 219 / 703 » On the semantics of Strategy Logic |
218
click to vote
CADE
2008
Springer
15 years 9 months ago
2008
Springer
LogAnswer is an open domain question answering system which employs an automated theorem prover to infer correct replies to natural language questions. For this purpose LogAnswer o...
189
click to vote
EUSFLAT
2001
15 years 8 months ago
2001
The aim of this paper is to build a formal model for similarity-based fuzzy unification in multi-adjoint logic programs. Specifically, a general framework of logic programming whi...
247
click to vote
SAC
2010
ACM
16 years 2 months ago
2010
ACM
Extensive research activities are recently directed towards the Semantic Web as a future form of the Web. Consequently, Web search as the key technology of the Web is evolving tow...
197
click to vote
ESWS
2006
Springer
15 years 11 months ago
2006
Springer
The Semantic Web (SW) offers an opportunity to develop novel, sophisticated forms of question answering (QA). Specifically, the availability of distributed semantic markup on a lar...
210
click to vote
GLVLSI
2008
IEEE
16 years 1 months ago
2008
IEEE
Novel nano-scale devices have shown promising potential to overcome physical barriers faced by complementary metaloxide semiconductor (CMOS) technology in future circuit design. H...