2152 search results - page 297 / 431 » On Automating the Calculus of Relations |
134
Voted
ASP
2005
Springer
15 years 6 months ago
2005
Springer
Answer Set Programming (ASP) and propositional satisfiability (SAT) are closely related. In some recent work we have shown that, on a wide set of logic programs called “tight”...
111
click to vote
ECSQARU
2005
Springer
15 years 6 months ago
2005
Springer
Semi-revision is a model of belief change that differs from revision in that a new formula is not always accepted. Later, Fuhrmann defined multiple semi-revision by replacing a n...
92
Voted
ICCBR
2005
Springer
15 years 6 months ago
2005
Springer
We present a computational model of case-based visual problem solving. The Galatea model and the two experimental participants modeled in it show that 1) visual knowledge is suffic...
89
Voted
ISPEC
2005
Springer
15 years 6 months ago
2005
Springer
: Threats for today’s production networks range from fully automated worms and viruses to targeted, highly sophisticated multi-phase attacks carried out manually. In order to pro...
101
Voted
LPAR
2005
Springer
15 years 6 months ago
2005
Springer
Model checking is a useful method to verify automatically the correctness of a system with respect to a desired behavior, by checking whether a mathematical model of the system sat...