3468 search results - page 86 / 694 » An open logical framework |
144
Voted
JMLR
2012
13 years 3 months ago
2012
Open-text semantic parsers are designed to interpret any statement in natural language by inferring a corresponding meaning representation (MR – a formal representation of its s...
98
Voted
JUCS
2010
14 years 11 months ago
2010
: In this paper we consider a multiagent system with multiple ontologies. The agents maintain the ontologies individually which leads to frequent changes and possible knowledge inc...
105
click to vote
AIML
2006
15 years 2 months ago
2006
We propose a framework for comparing the expressive power and computational behaviour of modal logics designed for reasoning about qualitative aspects of metric spaces. Within this...
148
Voted
MSR
2006
ACM
15 years 6 months ago
2006
ACM
To improve software productivity, when constructing new software systems, developers often reuse existing class libraries or frameworks by invoking their APIs. Those APIs, however...
CSL
2008
Springer
15 years 2 months ago
2008
Springer
Interval logics are an important area of computer science. Although attention has been mainly focused on unary operators, an early work by Venema (1991) introduced an expressively ...