6355 search results - page 976 / 1271 » From Logic to Games |
188
click to vote
CADE
2007
Springer
16 years 28 days ago
2007
Springer
We develop and implement a novel algorithm for discovering the optimal sets of premisses for proving and disproving conjectures in first-order logic. The algorithm uses interpret...
177
click to vote
DRM
2007
Springer
16 years 27 days ago
2007
Springer
The goal of obfuscation is to transform a program, without affecting its functionality, such that some secret information within the program can be hidden for as long as possible...
162
Voted
LPNMR
2007
Springer
16 years 26 days ago
2007
Springer
We describe a new grounder system for logic programs under answer set semantics, called GrinGo. Our approach combines and extends techniques from the two primary grounding approach...
205
click to vote
CHARME
2005
Springer
16 years 8 days ago
2005
Springer
The application of model-checking tools to complex systems involves a nontrivial step of modelling the system by a finite-state model and a translation of the desired properties i...
181
click to vote
OTM
2005
Springer
16 years 7 days ago
2005
Springer
We propose to enhance a schema integration process with a validation phase employing logic-based data models. In our methodology, we validate the source schemas against the data mo...