120 search results - page 16 / 24 » Experimenting with Deduction Modulo |
VLDB
1998
ACM
15 years 1 months ago
1998
ACM
It is today widely acceptedthat "Business Rules Independence" is required for information systemsto better and more rapidly adjust to changesin thebusinessenvironment,Th...
WADT
1998
Springer
15 years 1 months ago
1998
Springer
Abstract. The ELAN system is an environment for specifying and prototyping constraint solvers, theorem provers and deduction systems in general. It also provides a framework for ex...
113
click to vote
AIIA
1991
Springer
15 years 1 months ago
1991
Springer
The use of approximation as a method for dealing with complex problems is a fundamental research issue in Knowledge Representation. Using approximation in symbolic AI is not strai...
AMAST
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. Vx86 is the first static analyzer for sequential Intel x86 assembler code using automated deductive verification. It proves the correctness of assembler code against func...
ICONIP
2009
14 years 7 months ago
2009
Malware (Malicious Software) of Windows OS has become more sophisticated. To take some countermeasures for recent infection, more intelligent and automated system log analysis is n...