3658 search results - page 339 / 732 » The logic of proofs, semantically |
210
Voted
CADE
2008
Springer
15 years 8 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...
170
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...
172
click to vote
ATAL
2010
Springer
15 years 8 months ago
2010
Springer
Alternating-time Temporal Logic (ATL) [1] is used to reason about strategic abilities of agents. Aiming at strategies that can realistically be implemented in software, many varia...
222
Voted
SAC
2010
ACM
16 years 1 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...
174
click to vote
ESWS
2006
Springer
15 years 10 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...