1998 search results - page 207 / 400 » Situated Control Rules |
141
Voted
JSYML
2000
15 years 4 months ago
2000
We introduce a sequent calculus B for a new logic, named basic logic. The aim of basic logic is to find a structure in the space of logics. Classical, intuitionistic, quantum and ...
155
click to vote
SMC
2010
IEEE
15 years 2 months ago
2010
IEEE
In this study, the task of obtaining accurate and comprehensible concept descriptions of a specific set of production instances has been investigated. The suggested method, inspire...
147
click to vote
MATES
2007
Springer
15 years 11 months ago
2007
Springer
The most common reason for plan repair are the violation of a plan’s temporal constraints. Air Traffic Control is an example of an area in which violations of the plan’s tempo...
138
Voted
FROCOS
2005
Springer
15 years 10 months ago
2005
Springer
Reasoning about the correctness of program transformations requires a notion of program equivalence. We present an observational semantics for the concurrent lambda calculus with f...
157
Voted
ECOOPW
2001
Springer
15 years 9 months ago
2001
Springer
Many object-oriented information systems share an architectural style that emphasizes flexibility and dynamically configurable. Business rules are stored in a database instead of ...