3005 search results - page 26 / 601 » Logical Information Systems: from Taxonomies to Logics |
102
Voted
DLOG
1996
15 years 3 months ago
1996
ESWA
2008
15 years 1 months ago
2008
120
Voted
CLEF
2005
Springer
15 years 7 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...
100
Voted
CLIMA
2007
15 years 3 months ago
2007
The proof theory of multi-agent epistemic logic extended with operators for distributed knowledge is studied. Distributed knowledge of A within a group G means that A follows from ...
110
click to vote
ENTCS
2007
15 years 1 months ago
2007
Logical connectives familiar from the study of hybrid logic can be added to the logical framework LF, a constructive type theory of dependent functions. This extension turns out t...