Sciweavers

8337 search results - page 197 / 1668
» Reasoning With Characteristic Models
Sort
View
145
Voted
EWCBR
2004
Springer
15 years 10 months ago
Improving Recommendation Ranking by Learning Personal Feature Weights
The ranking of offers is an issue in e-commerce that has received a lot of attention in Case-Based Reasoning research. In the absence of a sales assistant, it is important to provi...
Lorcan Coyle, Padraig Cunningham
AIMSA
2006
Springer
15 years 8 months ago
A Knowledge-Based Approach for Automatic Generation of Summaries of Behavior
Effective automatic summarization usually requires simulating asoning such as abstraction or relevance reasoning. In this paper we describe a solution for this type of reasoning in...
Martín Molina, Victor Flores
DLOG
2006
15 years 6 months ago
Finding Subsumers for Natural Language Presentation
This work is motivated by the task of describing in natural language a concept defined in an OWL DL ontology. However, rather than focussing on linguistic issues, we address the q...
Chris Mellish, Jeff Z. Pan
ICLP
2001
Springer
15 years 9 months ago
Fixed-Parameter Complexity of Semantics for Logic Programs
In the paper we establish the xed-parameter complexity for several parameterized decision problems involving models, supported models and stable models of logic programs. We also e...
Zbigniew Lonc, Miroslaw Truszczynski
135
Voted
LICS
1994
IEEE
15 years 9 months ago
Linear Logic, Totality and Full Completeness
I give a `totality space' model for linear logic [4], detaking an abstract view of computations on a datatype. The model has similarities with both the coherence space model ...
Ralph Loader