Výsledky vyhľadávania - Logic programming] Terms

Non-termination in Term Rewriting and Logic Programming Autor Payet, Etienne

“…In this paper, we define two particular forms of non-termination, namely loops and binary chains , in an abstract framework that encompasses term rewriting and logic programming…”
Získať plný text

Random generation of closed simply typed λ-terms: A synergy between logic programming and Boltzmann samplers Autor BENDKOWSKI, MACIEJ, GRYGIEL, KATARZYNA, TARAU, PAUL

“… A prominent example is the successful use of randomness, in particular, random typable λ-terms, in testing functional programming compilers such as the Glasgow Haskell Compiler…”
Získať plný text

Random generation of closed simply typed[...]-terms: A synergy between logic programming and Boltzmann samplers Autor BENDKOWSKI, MACIEJ, GRYGIEL, KATARZYNA, TARAU, PAUL

“… A prominent example is the successful use of randomness, in particular, random typable[...]-terms, in testing functional programming compilers such as the Glasgow Haskell Compiler…”
Získať plný text

Glossary of computational terms as a stimulus to programming logic: a case study with deaf students Autor Granada, Rafael Pinto, Barwaldt, Regina, Espindola, Danbia Bueno

“… In addition, programming logic and geometry learning in deaf students will be stimulated. The work will be carried out in a bilingual high school, in the mathematics discipline…”
Získať plný text

Efficient relational calculation for software analysis Autor Beyer, D., Noack, A., Lewerentz, C.

“…Calculating with graphs and relations has many applications in the analysis of software systems, for example, the detection of design patterns or patterns of…”
Získať plný text

Strong categorical datatypes II: A term logic for categorical programming Autor Cockett, J.Robin B., Spencer, Dwight

“…This paper lifts earlier category-theoretic results on datatypes to the level of an abstract language suitable for categorical programming language implementation…”
Získať plný text

Non-Termination in Term Rewriting and Logic Programming Autor Payet, Etienne

“…In this paper, we define two particular forms of non-termination, namely loops and binary chains, in an abstract framework that encompasses term rewriting and logic programming…”
Získať plný text

Binary Non-Termination in Term Rewriting and Logic Programming Autor Payet, Étienne

“… and logic programming…”
Získať plný text

ONTOarg: A decision support framework for ontology integration based on argumentation Autor Gómez, Sergio Alejandro, Chesñevar, Carlos Iván, Simari, Guillermo Ricardo

“…) ontologies, translating them into the language of logic programming (LP). Even though DLP offers several advantages in terms of efficiency and reuse of existing…”
Získať plný text

Justifying answer sets using argumentation Autor SCHULZ, CLAUDIA, TONI, FRANCESCA

“… using arguments and attacks between them, whereas ABA-Based Answer Set Justifications express the same justification structure in logic programming terms, that is using…”
Získať plný text

Logic program proportions: Logic program proportions Autor Antić, Christian

“… into S ” as a mechanism for deriving similar programs by analogy-making. The idea is to instantiate a fragment of a recently introduced abstract algebraic framework of analogical proportions in the domain of logic programming…”
Získať plný text

Proof checking and logic programming Autor Miller, Dale

“…: instead, we only need to trust a (smaller and simpler) proof checker. Many approaches to building proof checkers require embedding within them a full programming language…”
Získať plný text

Abstract Argumentation and Answer Set Programming: Two Faces of Nelson’s Logic Autor FANDINNO, JORGE, FARIÑAS DEL CERRO, LUIS

“…In this work, we show that both logic programming and abstract argumentation frameworks can be interpreted in terms…”
Získať plný text

Stratified extended multi-adjoint logic programming Autor Cornejo, M. Eugenia, Lobo, David, Medina, Jesús

“…Extended multi-adjoint logic programming is a non-monotonic logic programming framework whose semantics is defined in terms of stable models…”
Získať plný text

Random generation of closed simply-typed \(\lambda\)-terms: a synergy between logic programming and Boltzmann samplers Autor Bendkowski, Maciej, Grygiel, Katarzyna, Tarau, Paul

“… A prominent example is the successful use of randomness, in particular random typeable \(\lambda\)-terms, in testing functional programming compilers such as the Glasgow Haskell Compiler…”
Získať plný text

Proof-relevant Horn Clauses for Dependent Type Inference and Term Synthesis Autor FARKA, FRANTIŠEK, KOMENDANTSKYA, EKATERINA, HAMMOND, KEVIN

“… We propose a calculus that translates type inference and term synthesis problems in a dependently typed language to a logic program and a goal in the proof-relevant first-order Horn clause logic…”
Získať plný text

Automated legal reasoning with discretion to act using s(LAW) Autor Arias, Joaquín, Moreno-Rebato, Mar, Rodriguez-García, Jose A., Ossowski, Sascha

“… Logic Programming, specially Answer Set Programming, has a rich semantics and has been used to very concisely express complex knowledge…”
Získať plný text

A Logic Programming Playground for Lambda Terms, Combinators, Types and Tree-based Arithmetic Computations Autor Tarau, Paul

“…With sound unification, Definite Clause Grammars and compact expression of combinatorial generation algorithms, logic programming is shown to conveniently host a declarative playground…”
Získať plný text

Fuzzy linguistic logic programming and its applications Autor LE, VAN HUNG, LIU, FEI, TRAN, DINH KHANG

“…The paper introduces fuzzy linguistic logic programming, which is a combination of fuzzy logic programming, introduced by P. Vojtáš…”
Získať plný text

Using possibilistic logic for modeling qualitative decision: Answer Set Programming algorithms Autor Confalonieri, Roberto, Prade, Henri

“… This approach has been transposed into possibilistic logic in which the available knowledge is described by formulas which are more or less certainly true and the goals are described in a separate prioritized base…”
Získať plný text