4978 search results - page 304 / 996 » Logical models of argument |
156
Voted
FORMATS
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. We show how to transform formulae written in the real-time temporal logic MITL into timed automata that recognize their satisfying models. This compositional construction...
152
click to vote
WSC
2007
15 years 8 months ago
2007
The HLA time management is an important factor that limits the scalability of distributed simulations. An efficient algorithm of Greatest Available Logical Time (GALT) is thus muc...
147
Voted
JAPLL
2007
15 years 6 months ago
2007
Starting off from the infinitary system for common knowledge over multi-modal epistemic logic presented in Alberucci and J¨ager [1], we apply the finite model property to “...
140
click to vote
EMISA
2002
Springer
15 years 6 months ago
2002
Springer
DAWN is technique for modelling and verifying network algorithms, which is based on Petri nets and temporal logic. In this paper, we present a different perspective of DAWN that al...
157
Voted
ICLP
2007
Springer
16 years 8 days ago
2007
Springer
Abstract. The system presented in this paper aims at using Contextual Logic Programming as a computational hub for knowledge modeled by web ontologies and enable querying that repr...