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

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

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

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

Towards next generation logic programming systems Autor Bansal, Ajay

“… Some of the highly successful extensions include coinductive logic programming, tabled logic programming, constraint logic programming and answer set programming…”
Získať plný text

Proceedings 37th International Conference on Logic Programming (Technical Communications) Autor misano, Andrea, Liu, Yanhong Annie, Bogaerts, Bart, Brik, Alex, Dahl, Veronica, Dodaro, Carmine, Fodor, Paul, Pozzato, Gian Luca, Vennekens, Joost, Zhou, Neng-Fa

“… 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

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

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

Modeling and verification of real-time and cyber-physical systems Autor Saeedloei, Neda

“…There has been a tremendous amount of work on incorporation of time in computation for modeling and implementing real-time systems. Most efforts incorporate…”
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

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

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

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

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

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