201 search results - page 7 / 41 » An Authorization Logic With Explicit Time |
120
Voted
SYNTHESE
2008
15 years 3 months ago
2008
We add a limited but useful form of quantification to Coalition Logic, a popular formalism for reasoning about cooperation in game-like multi-agent systems. The basic constructs o...
140
Voted
SEMWEB
2009
Springer
15 years 10 months ago
2009
Springer
Most languages for the Semantic Web have their logical basis in some fragment of first-order logic. Thus, integrating first-order logic with probability is fundamental for represen...
124
Voted
LPNMR
1999
Springer
15 years 8 months ago
1999
Springer
We introduce choice logic programs as negation-free datalog programs that allow rules to have exclusive-only (possibly empty) disjunctions in the head. Such programs naturally mod...
120
Voted
CSR
2008
Springer
15 years 5 months ago
2008
Springer
We define a denotational semantics for Light Affine Logic (LAL) which has the property that denotations of functions are polynomial time computable by construction of the model. Th...
128
Voted
SEFM
2009
IEEE
15 years 10 months ago
2009
IEEE
Interval temporal logics are based on interval structures over linearly (or partially) ordered domains, where time intervals, rather than time instants, are the primitive ontologi...