113 search results - page 11 / 23 » Logical Forms in the Core Language Engine |
176
click to vote
CORR
2011
Springer
14 years 7 months ago
2011
Springer
The integration of reasoning and computation services across system and language boundaries has been mostly treated from an engineering perspective. In this paper we take a foundat...
150
Voted
VMCAI
2010
Springer
15 years 10 months ago
2010
Springer
This paper upgrades Regular Linear Temporal Logic (RLTL) with past operators and complementation. RLTL is a temporal logic that extends the expressive power of linear temporal logi...
122
click to vote
DRM
2007
Springer
15 years 9 months ago
2007
Springer
The goal of obfuscation is to transform a program, without affecting its functionality, such that some secret information within the program can be hidden for as long as possible...
113
Voted
FOAL
2007
ACM
15 years 7 months ago
2007
ACM
The relation between aspects and monads is a recurring topic in discussions in the programming language community, although it has never been elaborated whether their resemblences...
134
Voted
ESWS
2007
Springer
15 years 9 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...