588 search results - page 24 / 118 » Differential Logic for Reasoning About Hybrid Systems |
WADT
1998
Springer
15 years 1 months ago
1998
Springer
Abstract. The conditions under which a formal system for reasoning about structural specifications, built over one logical system could be reused for reasoning about structured spe...
CORR
2004
Springer
14 years 9 months ago
2004
Springer
FLUX is a programming method for the design of agents that reason logically about their actions and sensor information in the presence of incomplete knowledge. The core of FLUX is...
117
click to vote
KR
1991
Springer
15 years 29 days ago
1991
Springer
Temporal logic can be used as a programming language. If temporal formulae are represented in the form of an implication where the antecedent refers to the past, and the consequen...
RULEML
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. Defeasible reasoning is a rule-based approach for efficient reasoning with incomplete and inconsistent information. Such reasoning is, among others, useful for ontology i...
101
click to vote
LPNMR
1999
Springer
15 years 1 months ago
1999
Springer
This paper continues the line of research on representing actions, on the automation of commonsense reasoning and on planning that deals with causal theories and with action langua...