BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
logic (10)
knowledg (7)
retriev (6)
base (6)
inform (6)

Stem terminolog$ (all stems)

49 papers:

ITiCSEITiCSE-2015-DiethelmG #education
Questions on Spoken Language and Terminology for Teaching Computer Science (ID, JG), pp. 21–26.
CIKMCIKM-2014-DuQF #approach #fine-grained #owl
A Practical Fine-grained Approach to Resolving Incoherent OWL 2 DL Terminologies (JD, GQ, XF), pp. 919–928.
DocEngDocEng-2013-DuthilCCO #documentation #visual notation
Visual saliency and terminology extraction for document annotation (BD, MC, VC, JMO), pp. 103–106.
HCIDUXU-CXC-2013-Heimgartner #design #human-computer #question #user interface
Intercultural User Interface Design — Culture-Centered HCI Design — Cross-Cultural User Interface Design: Different Terminology or Different Approaches? (RH), pp. 62–71.
HCIHCI-AS-2013-KalwarHP #concept #internet #named
SWord: A Concept Application for Mitigating Internet Terminology Anxiety (SKK, KH, JP), pp. 239–248.
CIKMCIKM-2012-AmiriC #mining #sentiment
Mining sentiment terminology through time (HA, TSC), pp. 2060–2064.
SIGIRSIGIR-2012-LarsenLFS #case study #metadata #retrieval
Preliminary study of technical terminology for the retrieval of scientific book metadata records (BL, CL, IF, HS), pp. 1131–1132.
SACSAC-2012-FreitasCO #approach #linked data #open data #semantics #web
A distributional approach for terminological semantic search on the Linked Data Web (AF, EC, SO), pp. 384–391.
HCIDUXU-v1-2011-KarschS #precise #safety #usability
Terminological Precision — A Key Factor in Product Usability and Safety (BIK, GS), pp. 138–147.
KEODKEOD-2011-AarnioSK #industrial #lightweight #semantics
A Lightweight Element Matching Method for Industrial Terminology Harmonization — Exploiting Minimal Semantics based on Naming Conventions (PA, SS, KK), pp. 390–395.
CIKMCIKM-2010-KaluarachchiVBWPF #evolution #query #retrieval
Incorporating terminology evolution for query translation in text retrieval with association rules (ACK, ASV, SJB, GW, JP, AF), pp. 1789–1792.
SACSAC-2010-BagheriE #reasoning
Evidential reasoning for the treatment of incoherent terminologies (EB, FE), pp. 1381–1387.
SACSAC-2010-FanizzidE #induction #towards
Towards the induction of terminological decision trees (NF, Cd, FE), pp. 1423–1427.
CIKMCIKM-2009-SahlgrenK #mining #social #social media
Terminology mining in social media (MS, JK), pp. 405–414.
KEODKEOD-2009-RocheCDR #named #paradigm
Ontoterminology — A New Paradigm for Terminology (CR, MCC, LD, PR), pp. 321–326.
KEODKEOD-2009-ZambachM #implementation #logic #ontology
Applying Terminological Methods and Description Logic for Creating and Implementing an Ontology on Inhibition (SZ, BNM), pp. 452–455.
CIKMCIKM-2008-Ibekwe-SanjuanSV #composition #graph #information management
Decomposition of terminology graphs for domain knowledge acquisition (FIS, ES, MSEV), pp. 1463–1464.
RERE-2008-WolterSBK #requirements #reuse #specification
Reusing Terminology for Requirements Specifications from WordNet (KW, MS, DB, HK), pp. 325–326.
IJCARIJCAR-2008-KonevWW #difference #logic #problem
The Logical Difference Problem for Description Logic Terminologies (BK, DW, FW), pp. 259–274.
RERE-2006-NiuE #grid #modelling
Managing Terminological Interference in Goal Models with Repertory Grid (NN, SME), pp. 296–299.
SIGIRSIGIR-2003-Anick #feedback #refinement #using #web
Using terminological feedback for web search refinement: a log-based study (PGA), pp. 88–95.
SIGIRSIGIR-2003-SadatYU #automation #corpus #information retrieval
Enhancing cross-language information retrieval by an automatic acquisition of bilingual terminology from comparable corpora (FS, MY, SU), pp. 397–398.
SACSAC-2003-NenadicSA #mining
Terminology-driven Mining of Biomedical Literature (GN, IS, SA), pp. 83–87.
ITiCSEITiCSE-2002-LevyL #recursion #syntax
Shared terminology, private syntax: the case of recursive descriptions (DL, TL), pp. 89–93.
FSEESEC-FSE-2001-Wendorff #approach #assessment #formal method #information management #modelling
A formal approach to the assessment and improvement of terminological models used in information systems engineering (PW), pp. 83–87.
KRKR-2000-BaaderKM #concept #using
Rewriting Concepts Using Terminologies (FB, RK, RM), pp. 297–308.
SIGIRSIGIR-1999-AnickT #feedback
The Paraphrase Search Assistant: Terminological Feedback for Iterative Information Seeking (PGA, ST), pp. 153–159.
KRKR-1998-Kusters #automaton #finite #semantics #using
Characterizing the Semantics of Terminological Cycles in ALN Using Finite Automata (RK), pp. 499–511.
SIGIRSIGIR-1998-Jean-David #automation #corpus #query
Automatic Acquisition of Terminological Relations from a Corpus for Query Expansion (SJD), pp. 371–372.
AdaTRI-Ada-1996-RybinS #ada #difference
Ada and ASIS: Justification of Differences in Terminology and Mechanisms (SR, AS), pp. 249–254.
KDDAKDDM-1996-KlosgenZ #database #information management
Knowledge Discovery in Database Terminology (WK, JMZ), pp. 573–592.
SEKESEKE-1996-AdamsW #generative #information management #interface #natural language #representation
Generating Natural Language Interfaces for Terminological Knowledge Representation Systems (RA, HW), pp. 585–594.
SIGIRSIGIR-1996-MeghiniS #information retrieval #logic
A Relevance Terminological Logic for Information Retrieval (CM, US), pp. 197–205.
KDDKDD-1994-KlosgenZ
Machine Discovery Terminology (WK, JMZ), p. 463–?.
KRKR-1994-Jaeger #logic #probability #reasoning
Probabilistic Reasoning in Terminological Logics (MJ), pp. 305–316.
KRKR-1994-Koehler #logic #reasoning
An Application of Terminological Logics to Case-based Reasoning (JK), pp. 351–362.
KRKR-1994-PadghamL #framework #logic
A Framework for Part-of Hierarchies in Terminological Logics (LP, PL), pp. 485–496.
KRKR-1994-Schild #calculus
Terminological Cycles and the Propositional µ-Calculus (KS), pp. 509–520.
SIGIRSIGIR-1994-Sebastiani #information retrieval #logic #modelling #probability
A Probabilistic Terminological Logic for Modelling Information Retrieval (FS0), pp. 122–130.
SIGIRSIGIR-1993-MeghiniSST #information retrieval #logic
A Model of Information Retrieval Based on a Terminological Logic (CM, FS, US, CT), pp. 298–307.
KRKR-1992-BaaderH #information management #representation
Embedding Defaults into Terminological Knowledge Representation Formalisms (FB, BH), pp. 306–317.
KRKR-1992-BaaderHNPF #analysis #empirical #optimisation #representation
An Empirical Analysis of Optimization Techniques for Terminological Representation Systems, or Making KRIS Get a Move On (FB, BH, BN, HJP, EF), pp. 270–281.
KRKR-1992-QuantzR #logic #semantics
A Preference Semantics for Defaults in Terminological Logics (JQ, VR), pp. 294–305.
KRKR-1992-WeidaL #constraints #network #reasoning #recognition
Terminological Reasoning with Constraint Networks and an Application to Plan Recognition (RAW, DJL), pp. 282–293.
KRKR-1991-DevanbuL #reasoning
Plan-Based Terminological Reasoning (PTD, DJL), pp. 128–138.
KRKR-1989-Schmolze #information management #representation
Terminological Knowledge Representation Systems Supporting N-ary Terms (JGS), pp. 432–443.
SIGMODSIGMOD-1988-Naeymi-RadCTGWE #database #design #knowledge base #multi #relational #standard
A Relational Database Design in Support of Standard Medical Terminology in Multi-domain Knowledge Bases (FNR, LAC, DAT, CG, MHW, MWE), p. 203.
CSCWCSCW-1986-Neches #people #tool support
Tools help people co-operate only to the extent that they help them share goals and terminology (RN), pp. 192–201.
SIGMODSIGMOD-1985-EickL #database #design #using
Acquisition of Terminological Knowledge Using Database Design Techniques (CFE, PCL), pp. 84–94.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.