A requirements speciication is the rst formal description of a program. Formal methods of program construction can be practically useful only when the requirements speciication can be shown to be adequate. This must be done by informal means: inspection and testing. Current speciication languages do not easily support both inspection and testing. We propose… (More)
We give an overview of the coinductive logic programming paradigm. We discuss its applications to modeling ω-automata, model checking, verification, non-monotonic reasoning, developing SAT solvers, etc. We also discuss future research directions.
ACKNOWLEDGMENTS This dissertation would not exist without the help and support of several wonderful individuals , and I am grateful to them all. Dr. Gopal Gupta, my adviser, introduced me to both logic programming and answer set programming. Without his guidance and support, I would never have made it this far. Dr. Feliks Klu´zniak provided me with… (More)