85 search results - page 10 / 17 » Semantic Modularity and Module Extraction in Description Log... |
CLEF
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. In this paper the methodology followed to build a questionanswering system for the Portuguese language is described. The system modules are built using computational ling...
JAIR
2010
14 years 8 months ago
2010
As historically acknowledged in the Reasoning about Actions and Change community, intuitiveness of a logical domain description cannot be fully automated. Moreover, like any other...
ESWS
2007
Springer
15 years 3 months ago
2007
Springer
WSML is an ontology language specifically tailored to annotate Web Services, and part of its semantics adheres to the rule-based knowledge representation paradigm of logic program...
100
click to vote
ENTCS
2006
14 years 9 months ago
2006
This paper presents a game semantics for LP, Artemov's Logic of Proofs. The language of LP extends that of propositional logic by adding formula-labeling terms, permitting us...
ELPUB
2008
ACM
14 years 11 months ago
2008
ACM
In this paper, we present our online summarization system of web topics. The user defines the topic by a set of keywords. Then the system searches the Web for the relevant documen...