2409 search results - page 53 / 482 » Logical systems for structured specifications |
88
Voted
FLAIRS
2008
15 years 3 months ago
2008
This paper presents proposals of certain extensions to the XTT knowledge representation model, a method of tabular specification for rule-based systems. The extensions concern
100
click to vote
ENTCS
2010
15 years 27 days ago
2010
Rules that are admissible can be used in any derivations in any axiomatic system of a logic. In this paper we introduce a method for checking the admissibility of rules in the mod...
145
click to vote
KBSE
2003
IEEE
15 years 6 months ago
2003
IEEE
Physics-based animation programs can often be modeled in terms of hybrid automata. A hybrid automaton includes both discrete and continuous dynamical variables. The discrete varia...
115
click to vote
JLP
2006
15 years 24 days ago
2006
One of the goals of software engineering is to provide what is necessary to write relevant, legible, useful descriptions of the systems to be developed, which will be the basis of...
123
click to vote
CSL
2007
Springer
15 years 7 months ago
2007
Springer
A focused proof system provides a normal form to cut-free proofs that structures the application of invertible and non-invertible inference rules. The focused proof system of Andre...