59 search results - page 5 / 12 » Natural Semantics and Some of Its Meta-Theory in Elf |
176
click to vote
LPNMR
2011
Springer
14 years 12 days ago
2011
Springer
Communicating answer set programming is a framework to represent and reason about the combined knowledge of multiple agents using the idea of stable models. The semantics and expre...
61
Voted
JANCL
2008
14 years 9 months ago
2008
Consider any logical system, what is its natural repertoire of logical operations? This question has been raised in particular for first-order logic and its extensions with genera...
AIM
2005
14 years 9 months ago
2005
Intelligent access to information requires semantic integration of structured databases with unstructured textual resources. While the semantic integration problem has been widely...
PPDP
2007
Springer
15 years 3 months ago
2007
Springer
Orc is a language proposed by Jayadev Misra [19] for orchestration of distributed services. Orc is very simple and elegant, based on a few basic constructs, and allows succinct an...
86
Voted
ACTA
2000
14 years 9 months ago
2000
Thesaurus is a collection of words classified according to some relatedness measures among them. In this paper, we lay the theoretical foundations of thesaurus construction through...