Sciweavers

2409 search results - page 260 / 482
» Corpus-Based Knowledge Representation
Sort
View
104
Voted
ACL
2006
15 years 13 days ago
A Logic-Based Semantic Approach to Recognizing Textual Entailment
This paper proposes a knowledge representation model and a logic proving setting with axioms on demand successfully used for recognizing textual entailments. It also details a lex...
Marta Tatu, Dan I. Moldovan
DLOG
2004
15 years 13 days ago
On Subsumption and Instance Problem in ELH w.r.t. General TBoxes
Recently, it was shown for the DL EL that subsumption and instance problem w.r.t. cyclic terminologies can be decided in polynomial time. In this paper, we show that both problems...
Sebastian Brandt
DLOG
2006
15 years 13 days ago
SHIN ABox Reduction
We propose a technique to make consistency detection scalable for large Aboxes in secondary storage. We use static analysis of knowledge representation with summarization techniqu...
Achille Fokoue, Aaron Kershenbaum, Li Ma
FLAIRS
2006
15 years 13 days ago
Clue Deduction: Professor Plum Teaches Logic
In this paper, we describe curricular materials that use the game of Clue to teach basic concepts of propositional logic. While there are many ways of teaching concepts of logic, ...
Todd W. Neller, Zdravko Markov, Ingrid Russell
MMNS
2001
110views Multimedia» more  MMNS 2001»
15 years 12 days ago
A Framework for Supporting Intelligent Fault and Performance Management for Communication Networks
Abstract. In this paper, we present a framework for supporting intelligent fault and performance management for communication networks. Belief networks are taken as the basis for k...
Hongjun Li, John S. Baras