Výsledky vyhledávání - 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat plný text