Výsledky vyhľadávania - Coinductive Logic Programming

Flexible coinductive logic programming Autor DAGNINO, FRANCESCO, ANCONA, DAVIDE, ZUCCA, ELENA

“… We provide a detailed formal account of an extension of logic programming supporting flexible coinduction…”
Získať plný text

Extending Coinductive Logic Programming with Co-Facts Autor Ancona, Davide, Dagnino, Francesco, Zucca, Elena

“… As in coinductive logic programming, interpretations are subsets of the complete Herbrand basis, including infinite terms…”
Získať plný text

Flexible coinductive logic programming Autor Dagnino, Francesco, Ancona, Davide, Zucca, Elena

“… We provide a detailed formal account of an extension of logic programming supporting flexible coinduction…”
Získať plný text

Extending Coinductive Logic Programming with Co-Facts Autor Ancona, Davide, Dagnino, Francesco, Zucca, Elena

“… As in coinductive logic programming, interpretations are subsets of the complete Herbrand basis, including infinite terms…”
Získať plný text

The New Normal: We Cannot Eliminate Cuts in Coinductive Calculi, But We Can Explore Them Autor Komendantskaya, Ekaterina, Rozplokhas, Dmitry, Basold, Henning

“… The property is less studied in coinductive extensions of sequent calculi. In this paper, we use coinductive Horn clause theories to show that cut is not eliminable in a coinductive extension of LJ, a system we call CLJ…”
Získať plný text

Coinductive Streams in Monoidal Categories Autor Di Lavore, Elena, de Felice, Giovanni, Román, Mario

“… In the same way that streams provide semantics to dataflow programming with pure functions, monoidal streams provide semantics to dataflow programming with theories of processes represented…”
Získať plný text

Productive corecursion in logic programming Autor KOMENDANTSKAYA, EKATERINA, LI, YUE

“…Logic Programming is a Turing complete language. As a consequence, designing algorithms that decide termination and non-termination of programs or decide inductive/coinductive soundness of formulae is a challenging task…”
Získať plný text

Coaxioms: flexible coinductive definitions by inference systems Autor Dagnino, Francesco

“… This notion nicely subsumes standard inference systems and their inductive and coinductive interpretation, thus allowing formal reasoning in cases where the inductive and coinductive interpretation…”
Získať plný text

A generic framework for symbolic execution: A coinductive approach Autor Lucanu, Dorel, Rusu, Vlad, Arusoaie, Andrei

“…We propose a language-independent symbolic execution framework. The approach is parameterised by a language definition, which consists of a signature for the…”
Získať plný text

Coinductive Proofs for Temporal Hyperliveness Autor Correnson, Arthur, Finkbeiner, Bernd

“…Temporal logics for hyperproperties have recently emerged as an expressive specification technique for relational properties of reactive systems…”
Získať plný text

Finite-trace linear temporal logic: coinductive completeness Autor Roşu, Grigore

“…Linear temporal logic (LTL) is suitable not only for infinite-trace systems, but also for finite-trace systems…”
Získať plný text

Totality for Mixed Inductive and Coinductive Types Autor Hyvernat, Pierre

“…This paper introduces an ML / Haskell like programming language with nested inductive and coinductive algebraic datatypes called \chariot…”
Získať plný text

The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types Autor Clouston, Ranald, Bizjak, Aleš, Grathwohl, Hans Bugge, Birkedal, Lars

“…We present the guarded lambda-calculus, an extension of the simply typed lambda-calculus with guarded recursive and coinductive types…”
Získať plný text

An operational interpretation of coinductive types Autor Czajka, Łukasz

“… and coinductive definitions. Intuitively, we interpret lazy data structures in a higher-order functional language by potentially infinite terms corresponding to their complete unfoldings…”
Získať plný text

Structural Resolution for Abstract Compilation of Object-Oriented Languages Autor Franceschini, Luca, Ancona, Davide, Komendantskaya, Ekaterina

“…We propose abstract compilation for precise static type analysis of object-oriented languages based on coinductive logic programming…”
Získať plný text

Guarded Cubical Type Theory Autor Birkedal, Lars, Bizjak, Aleš, Clouston, Ranald, Grathwohl, Hans Bugge, Spitters, Bas, Vezzosi, Andrea

“… ( CTT ). GDTT is an extensional type theory with guarded recursive types, which are useful for building models of program logics, and for programming and reasoning with coinductive types…”
Získať plný text

The Size-Change Principle for Mixed Inductive and Coinductive types Autor Hyvernat, Pierre

“…This paper shows how to use Lee, Jones and Ben Amram's size-change principle to check correctness of arbitrary recursive definitions in an ML / Haskell like programming language with inductive and coinductive types…”
Získať plný text

Program Equivalence is Coinductive Autor Pattinson, Dirk, Schröder, Lutz

“… Based on a complete equational axiomatization of the memory (co)model, we then give a complete inductive-coinductive…”
Získať plný text

A case study in programming coinductive proofs: Howe’s method Autor MOMIGLIANO, ALBERTO, PIENTKA, BRIGITTE, THIBODEAU, DAVID

“…Bisimulation proofs play a central role in programming languages in establishing rich properties such as contextual equivalence…”
Získať plný text

Proceedings 38th International Conference on Logic Programming Autor Lierler, Yuliya, Morales, Jose F, Dodaro, Carmine, Dahl, Veronica, Gebser, Martin, Tekle, Tuncay

“… Related Paradigms and Synergies: Inductive and coinductive logic programming, Constraint logic programming, Answer set programming, Interaction with SAT, SMT and CSP…”
Získať plný text