3515 search results - page 48 / 703 » On the semantics of Strategy Logic |
174
click to vote
ENTCS
2002
15 years 6 months ago
2002
Meseguer's rewriting logic and the rewriting logic CRWL are two well-known approaches to rewriting as logical deduction that, despite some clear similarities, were designed w...
193
Voted
ADBIS
2003
Springer
16 years 5 days ago
2003
Springer
We present an approach of how to extract automatically an XML document structure from a conceptual data model that describes the content of a document. We use UML class diagrams as...
179
click to vote
CIE
2005
Springer
16 years 15 days ago
2005
Springer
We define a variant of the standard Kripke semantics for intuitionistic logic, motivated by the connection between constructive logic and the Medvedev lattice. We show that while...
208
click to vote
AIA
2006
15 years 8 months ago
2006
Epistemic logic allows to reason not only about situations, but also about the knowledge that a set of agents have about situations. In later years, epistemic logic has been appli...
149
Voted
INTERSPEECH
2010
15 years 1 months ago
2010
The semantic frame based spoken language understanding involves two decisions