Coinductive logic programming and its applications

Authors:
Gopal Gupta;Ajay Bansal;Richard Min;Luke Simon;Ajay Mallya
Affiliations:
Department of Computer Science, University of Texas at Dallas, Richardson, TX;Department of Computer Science, University of Texas at Dallas, Richardson, TX;Department of Computer Science, University of Texas at Dallas, Richardson, TX;Department of Computer Science, University of Texas at Dallas, Richardson, TX;Department of Computer Science, University of Texas at Dallas, Richardson, TX
Venue:
ICLP'07 Proceedings of the 23rd international conference on Logic programming
Year:
2007

Citing 17
Cited 16

Foundations of logic programming; (2nd extended ed.)

Foundations of logic programming; (2nd extended ed.)
A theory of timed automata

Theoretical Computer Science
Vicious circles: on the mathematics of non-wellfounded phenomena

Vicious circles: on the mathematics of non-wellfounded phenomena
Types and programming languages

Types and programming languages
Knowledge Representation, Reasoning, and Declarative Problem Solving

Knowledge Representation, Reasoning, and Declarative Problem Solving
Fully Local and Efficient Evaluation of Alternating Fixed Points (Extended Abstract)

TACAS '98 Proceedings of the 4th International Conference on Tools and Algorithms for Construction and Analysis of Systems
Efficient Model Checking Using Tabled Resolution

CAV '97 Proceedings of the 9th International Conference on Computer Aided Verification
A constraint-based approach for specification and verification of real-time systems

RTSS '97 Proceedings of the 18th IEEE Real-Time Systems Symposium
Mathematical Models of Interactive Computing

Mathematical Models of Interactive Computing
Behavioral Verification of Distributed Concurrent Systems with BOBJ

QSIC '03 Proceedings of the Third International Conference on Quality Software
Transition predicate abstraction and fair termination

Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Transition predicate abstraction and fair termination

Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Extending logic programming with coinduction

Extending logic programming with coinduction
Deductive multi-valued model checking

Deductive multi-valued model checking
Towards next generation logic programming systems

Towards next generation logic programming systems
Liveness Checking as Safety Checking for Infinite State Spaces

Electronic Notes in Theoretical Computer Science (ENTCS)
Coinductive logic programming

ICLP'06 Proceedings of the 22nd international conference on Logic Programming

A Coinduction Rule for Entailment of Recursively Defined Properties

CP '08 Proceedings of the 14th international conference on Principles and Practice of Constraint Programming
Verification from Declarative Specifications Using Logic Programming

ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Analysis of Linear Hybrid Systems in CLP

Logic-Based Program Synthesis and Transformation
ActionScript bytecode verification with co-logic programming

Proceedings of the ACM SIGPLAN Fourth Workshop on Programming Languages and Analysis for Security
Transformations of logic programs on infinite lists

Theory and Practice of Logic Programming
Fo(fd): Extending classical logic with rule-based fixpoint definitions

Theory and Practice of Logic Programming
Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes

Fundamenta Informaticae - RCRA 2008 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
Coalgebraic semantics for parallel derivation strategies in logic programming

AMAST'10 Proceedings of the 13th international conference on Algebraic methodology and software technology
A logic-based modeling and verification of CPS

ACM SIGBED Review - Work-in-Progress (WiP) Session of the 2nd International Conference on Cyber Physical Systems
Infinite computation, co-induction and computational logic

CALCO'11 Proceedings of the 4th international conference on Algebra and coalgebra in computer science
Coalgebraic semantics for derivations in logic programming

CALCO'11 Proceedings of the 4th international conference on Algebra and coalgebra in computer science
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
Proving properties of co-logic programs by unfold/fold transformations

LOPSTR'11 Proceedings of the 21st international conference on Logic-Based Program Synthesis and Transformation
Goal-directed execution of answer set programs

Proceedings of the 14th symposium on Principles and practice of declarative programming
Model checking with probabilistic tabled logic programming

Theory and Practice of Logic Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

Coinduction has recently been introduced as a powerful technique for reasoning about unfounded sets, unbounded structures, and interactive computations. Where induction corresponds to least fixed point semantics, coinduction corresponds to greatest fixed point semantics. In this paper we discuss the introduction of coinduction into logic programming. We discuss applications of coinductive logic programming to verification and model checking, lazy evaluation, concurrent logic programming and non-monotonic reasoning.