Mathematical Specification and Logic Modelling in the context of IR.

Miguel Martinez-Alvarez Marco Bonzanini Thomas Roelleke

Published in: ICTIR (2013)

Keyphrases

information retrieval
contextual information
asynchronous circuits
logic programming
linear temporal logic
computer algebra
modelling language
state machine
information retrieval systems
context sensitive
mathematical models
active rules
predicate logic
modal logic
relevance feedback
search engine
neural network