2501 search results - page 176 / 501 » Logics with Rank Operators |
125
click to vote
TARK
1998
Springer
15 years 8 months ago
1998
Springer
: Salmetintroduced a notion of hypothetical knowledge and showed how it could be used to capture the type of counterfactual reasoning necessary to force the backwards induction sol...
169
click to vote
ARTS
1997
Springer
15 years 8 months ago
1997
Springer
We introduce PLC-Automata as a new class of automata which are tailored to deal with real-time properties of Programmable Logic Controllers (PLCs). These devices are often used in...
116
click to vote
ICCD
1994
IEEE
15 years 8 months ago
1994
IEEE
Systems for multi-level logic optimization are usually based on a set of specialized, loosely-related transformations which work on a network representation. The sequence of trans...
133
click to vote
CIA
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. W3C's OWL has gained wide acceptance in the agent community and it has already been used in many agent applications which we think syntactically. By taking advantage...
138
click to vote
ER
2006
Springer
15 years 8 months ago
2006
Springer
Transitive propagation along properties can be modelled in various ways in the OWL description logic. Doing so allows existing description logic reasoners based on the tableaux alg...