4978 search results - page 230 / 996 » Logical models of argument |
199
click to vote
TARK
2009
Springer
16 years 8 days ago
2009
Springer
We study games in which the choices available to players are not fixed, and may change during the course of play. Specifically, we consider a model in which players may switch st...
154
click to vote
EDBT
1998
ACM
15 years 10 months ago
1998
ACM
In this paper we present MD, a logical model for OLAP systems, and show how it can be used in the design of multidimensional databases. Unlike other models for multidimensional dat...
142
click to vote
FORTE
2001
15 years 7 months ago
2001
The modal logic FULL is designed to capture strong bisimulation over early symbolic transition systems (STSs) for full LOTOS. It provides a compact way of expressing and verifying ...
150
click to vote
IFIP
2009
Springer
16 years 9 days ago
2009
Springer
Application or business logic, used in the development of services, has to do with the operations that define the application functionalities and not with the platform ones. Often...
174
click to vote
STACS
2007
Springer
15 years 12 months ago
2007
Springer
Hybrid logics extend modal logics by first-order concepts, in particular they allow a limited use of variables. Unfortunately, in general, satisfiability for hybrid formulas is u...