Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
The art of Prolog (2nd ed.): advanced programming techniques
The art of Prolog (2nd ed.): advanced programming techniques
Vicious circles: on the mathematics of non-wellfounded phenomena
Vicious circles: on the mathematics of non-wellfounded phenomena
Model checking
Types and programming languages
Types and programming languages
Knowledge Representation, Reasoning, and Declarative Problem Solving
Knowledge Representation, Reasoning, and Declarative Problem Solving
A Logical Encoding of the pi-Calculus: Model Checking Mobile Processes Using Tabled Resolution
VMCAI 2003 Proceedings of the 4th International Conference on Verification, Model Checking, and Abstract Interpretation
Mobile Processes with Local Clocks
Selected papers from the 5th LOMAPS Workshop on Analysis and Verification of Multiple-Agent Languages
Efficient Model Checking Using Tabled Resolution
CAV '97 Proceedings of the 9th International Conference on Computer Aided Verification
Binary Reachability Analysis of Pushdown Timed Automata with Dense Clocks
CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
Mathematical Models of Interactive Computing
Mathematical Models of Interactive Computing
A Solution to the Generalized Railroad Crossing Problem in ESTEREL
A Solution to the Generalized Railroad Crossing Problem in ESTEREL
Deductive multi-valued model checking
Deductive multi-valued model checking
Coinductive logic programming and its applications
ICLP'07 Proceedings of the 23rd international conference on Logic programming
Predicate answer set programming with coinduction
Predicate answer set programming with coinduction
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Coinductive logic programming with negation
LOPSTR'09 Proceedings of the 19th international conference on Logic-Based Program Synthesis and Transformation
Verifying complex continuous real-time systems with coinductive CLP(R)
LATA'10 Proceedings of the 4th international conference on Language and Automata Theory and Applications
Coinductive constraint logic programming
FLOPS'12 Proceedings of the 11th international conference on Functional and Logic Programming
| Hi-index | 0.00 |
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.