𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Towards semantic faceted search

✍ Scribed by Arenas, Marcelo ;Cuenca Grau, Bernardo ;Evgeny, Evgeny ;Marciuska, Sarunas ;Zheleznyakov, Dmitriy


Book ID
125449467
Publisher
ACM Press
Year
2014
Weight
368 KB
Series
undefined series for scimag
Category
Article

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Notes Towards a Semantics for Proof-sear
✍ David J. Pym πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 156 KB

Algorithmic proof-search is an essential enabling technology throughout informatics. Proof-search is the proof-theoretic realization of the formulation of logic not as a theory of deduction but rather as a theory of reduction. Whilst deductive logics typically have a well-developed semantics of proo

Semantic search
✍ Darrell W. Gunter πŸ“‚ Article πŸ“… 2009 πŸ› American Society for Information Science and Techn 🌐 English βš– 145 KB
Semantic search and interaction
✍ Lim, Sukhyun πŸ“‚ Article πŸ“… 2014 πŸ› Springer US 🌐 English βš– 107 KB