2062 search results - page 125 / 413 » Derivatives of Logical Formulas |
153
click to vote
TLCA
2007
Springer
15 years 10 months ago
2007
Springer
A Kripke Semantics is defined for a higher-order logic programming language with constraints, based on Church’s Theory of Types and a generic constraint formalism. Our syntactic...
103
click to vote
CONCUR
2005
Springer
15 years 9 months ago
2005
Springer
In this paper we use the timed modal logic Lν to specify control objectives for timed plants. We show that the control problem for a large class of objectives can be reduced to a ...
142
click to vote
DIMACS
1996
15 years 5 months ago
1996
: We review the expressibility of some basic graph properties in certain fragments of Monadic Second-Order logic, like the set of Monadic-NP formulas. We focus on cases where a pro...
112
click to vote
CONCUR
2010
Springer
15 years 5 months ago
2010
Springer
We propose a logic for true concurrency whose formulae predicate about events in computations and their causal dependencies. The induced logical equivalence is hereditary history p...
128
click to vote
ECAI
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We show how to embed a framework for multilateral negotiation, in which a group of agents implement a sequence of deals concerning the exchange of a number of resources, ...