Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.
Abstem
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Temporal Equilibrium Logic (TEL) is a non-monotonic temporal logic that extends Answer Set Programming (ASP) by introducing modal… Expand
1984
1984
The structure of the major urinary metabolite of cyanamide, the active component of the alcohol deterrent agents Temposil… Expand
1983
1983
The alcohol-sensitizing drugs are used with the expectation of deterring alcoholics from further drinking. Even though many drugs… Expand