1860 search results - page 168 / 372 » A Temporal Logic of Robustness |
77
Voted
TIME
1994
IEEE
15 years 4 months ago
1994
IEEE
The frame problem was originally de ned in the context of the situation calculus. The problem also manifests itself in more sophisticated temporal logics that can represent interv...
RANLP
2003
15 years 2 months ago
2003
This paper reports a research effort in scenario recognition task in information extraction. The presented approach uses partial semantic analysis based on logical form representa...
133
Voted
JAIR
2012
13 years 3 months ago
2012
Circumscription and logic programs under the stable model semantics are two wellknown nonmonotonic formalisms. The former has served as a basis of classical logic based action for...
112
click to vote
IPPS
2000
IEEE
15 years 5 months ago
2000
IEEE
We propose a high-level language based on rst order logic for expressing synchronization in concurrent object-oriented programs. The language allows the programmer to declaratively...
131
Voted
WILF
2007
Springer
15 years 7 months ago
2007
Springer
Background: Quantitative analysis of differential protein expressions requires to align temporal elution measurements from liquid chromatography coupled to mass spectrometry (LC/M...