588 search results - page 46 / 118 » Differential Logic for Reasoning About Hybrid Systems |
118
click to vote
ATAL
2009
Springer
15 years 8 months ago
2009
Springer
We present a logic for reasoning about strategic games. The logic is a modal formalism, based on the Coalition Logic of Propositional Control, to which we add the notions of outco...
138
click to vote
CADE
2012
Springer
13 years 4 months ago
2012
Springer
The problem of SPARQL query containment is defined as determining if the result of one query is included in the result of another for any RDF graph. Query containment is important...
138
click to vote
ICFP
2005
ACM
16 years 1 months ago
2005
ACM
We study the relation between Nominal Logic and the Theory of Contexts, two approaches for specifying and reasoning about datatypes with binders. We consider a natural-deduction s...
132
click to vote
JACM
2010
15 years 10 days ago
2010
Description logics (DLs) and rules are formalisms that emphasize different aspects of knowledge representation: whereas DLs are focused on specifying and reasoning about conceptual...
128
Voted
KI
1990
Springer
15 years 6 months ago
1990
Springer
ue to a lack of abstraction in the formalization of deductive mechanisms involved in programming reasoning tools for the development of program synthesizers are not yet available. ...