1581 search results - page 117 / 317 » Mechanizing Inductive Reasoning |
185
click to vote
KI
1990
Springer
15 years 10 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. ...
199
click to vote
JAPLL
2007
15 years 6 months ago
2007
We extend answer set programming (ASP) with, possibly infinite, open domains. Since this leads to undecidable reasoning, we restrict the syntax of programs, while carefully guard...
189
click to vote
ICCBR
2005
Springer
15 years 11 months ago
2005
Springer
Small to medium enterprises require an internal control mechanism in order to monitor their modus operandi and to analyse whether they are achieving their goals. A tool for the dec...
181
click to vote
CADE
2007
Springer
16 years 6 months ago
2007
Springer
Fault tolerance mechanisms are a key ingredient of dependable systems. In particular, software-implemented hardware fault tolerance (SIHFT) is gaining in popularity, because of its...
131
click to vote
SAINT
2005
IEEE
15 years 12 months ago
2005
IEEE
There are many kinds of control networks which have been used in various non-IP network areas, such as BA (Building Automation), FA (Factory Automation) and PA (Process Automation...