3440 search results - page 223 / 688 » Logics For Context-Free Languages |
210
click to vote
LOGCOM
2010
15 years 1 months ago
2010
When monitoring a system wrt. a property defined in a temporal logic such as LTL, a major concern is to settle with an adequate interpretation of observable system events; that is,...
233
click to vote
AIIA
2005
Springer
16 years 22 days ago
2005
Springer
Machine Learning systems are often distinguished according to the kind of representation they use, which can be either propositional or first-order logic. The framework working wi...
213
click to vote
ICFCA
2004
Springer
16 years 16 days ago
2004
Springer
Traditional logic can be understood as the investigation of the three main essential functions of thinking – concepts, judgements and conclusions. In the last years, in a new res...
174
click to vote
FSTTCS
2006
Springer
15 years 10 months ago
2006
Springer
We consider a general class of timed automata parameterized by a set of "input-determined" operators, in a continuous time setting. We show that for any such set of opera...
207
click to vote
ATAL
2008
Springer
15 years 9 months ago
2008
Springer
We present a logic for reasoning about properties of agent programs under different agent execution strategies. Using the agent programming language SimpleAPL as an example, we sh...