Výsledky vyhľadávania - "Theory and practice of logic programming"

Call for Papers Verification and Computational Logic Special Issue of Theory and Practice of Logic Programming Autor Leuschel, Michael, Podelski, Andreas, Ramakrishnan, C. R., Ultes-Nitsche, Ulrich

“…Submission deadline: January 10, 2002 The past decade has seen dramatic growth in the application of model checking techniques to the validation and…”
Získať plný text

Change in Knowledge Bases Special Issue of Theory and Practice of Logic Programming Submission deadline: July 31, 2001 Autor Pereira, Luís Moniz, Przymusinski, Teodor

“… Accordingly, the journal Theory and Practice of Logic Programming has planned a special issue on Change in Knowledge Bases, tentatively scheduled to appear at the beginning of 2003…”
Získať plný text

Combining decidability paradigms for existential rules. Theory and Practice of Logic Programming - CORRIGENDUM Autor GOTTLOB, GEORG, MANNA, MARCO, PIERIS, ANDREAS

“…Figure 3 was left out in the article (Gottlob et al. 2013). The figure that is given there as figure 3 should in fact be figure 4. Further, the reference to…”
Získať plný text

Theory and practice of logic programming Autor Association for Logic Programming

Získať plný text

Theory and practice of logic programming

Získať plný text

Temporal Answer Set Programming on Finite Traces Autor CABALAR, PEDRO, KAMINSKI, ROLAND, SCHAUB, TORSTEN, SCHUHMANN, ANNA

“…In this paper, we introduce an alternative approach to Temporal Answer Set Programming that relies on a variation of Temporal Equilibrium Logic (TEL) for…”
Získať plný text

Hybrid ASP-based Approach to Pattern Mining Autor PARAMONOV, SERGEY, STEPANOVA, DARIA, MIETTINEN, PAULI

“…Detecting small sets of relevant patterns from a given data set is a central challenge in data mining. The relevance of a pattern is based on user-provided…”
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 of Nelson’s constructive logic N4. We do so…”
Získať plný text

Integrating Cardinality Constraints into Constraint Logic Programming with Sets Autor CRISTIÁ, MAXIMILIANO, ROSSI, GIANFRANCO

“…Formal reasoning about finite sets and cardinality is important for many applications, including software verification, where very often one needs to reason…”
Získať plný text

Compositional Verification in Rewriting Logic Autor MARTÍN, ÓSCAR, VERDEJO, ALBERTO, MARTÍ-OLIET, NARCISO

“…In previous work, summarized in this paper, we proposed an operation of parallel composition for rewriting-logic theories, allowing compositional specification…”
Získať plný text

First-order Answer Set Programming as Constructive Proof Search Autor SCHUBERT, ALEKSY, URZYCZYN, PAWEŁ

“… This paper is under consideration for publication in Theory and Practice of Logic Programming…”
Získať plný text

Scaling-up reasoning and advanced analytics on BigData Autor CONDIE, TYSON, DAS, ARIYAM, INTERLANDI, MATTEO, SHKAPSKY, ALEXANDER, YANG, MOHAN, ZANIOLO, CARLO

“…BigDatalog is an extension of Datalog that achieves performance and scalability on both Apache Spark and multicore systems to the point that its graph…”
Získať plný text

Editorial: 29th International conference on logic programming special issue – ADDENDUM Autor LAMMA, EVELINA, SWIFT, TERRANCE

“… All of the Technical Communications can be found here: https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/editorial-29th…”
Získať plný text

Splitting and updating hybrid knowledge bases Autor SLOTA, MARTIN, LEITE, JOÃO, SWIFT, TERRANCE

“… Theory and Practice of Logic Programming, 26th…”
Získať plný text

Multi-shot ASP solving with clingo Autor GEBSER, MARTIN, KAMINSKI, ROLAND, KAUFMANN, BENJAMIN, SCHAUB, TORSTEN

“…We introduce a new flexible paradigm of grounding and solving in Answer Set Programming (ASP), which we refer to as multi-shot ASP solving, and present its…”
Získať plný text

Introduction to the 30th International Conference on Logic Programming Special Issue Autor LEUSCHEL, MICHAEL, SCHRIJVERS, TOM

“… appear as a special issue of Theory and Practice of Logic Programming (TPLP) - the 30th International Conference on Logic Programming Special Issue…”
Získať plný text

Constraint Answer Set Programming without Grounding Autor ARIAS, JOAQUIN, CARRO, MANUEL, SALAZAR, ELMER, MARPLE, KYLE, GUPTA, GOPAL

“…Extending ASP with constraints (CASP) enhances its expressiveness and performance. This extension is not straightforward as the grounding phase, present in…”
Získať plný text

Automatic extraction of corollaries from semantic structure of text Autor Nurtazin, Abyz T., Khisamiev, Zarif G.

“…The aim of this study is to develop an algorithm for automatic representation of the text of natural language as a formal system for the subsequent automatic…”
Získať plný text

SWI-Prolog Autor WIELEMAKER, JAN, SCHRIJVERS, TOM, TRISKA, MARKUS, LAGER, TORBJÖRN

“…SWI-Prolog is neither a commercial Prolog system nor a purely academic enterprise, but increasingly a community project. The core system has been shaped to its…”
Získať plný text

Probabilistic Answer Set Programming with Discrete and Continuous Random Variables Autor Azzolini, Damiano, Riguzzi, Fabrizio

“…Probabilistic Answer Set Programming under the credal semantics (PASP) extends Answer Set Programming with probabilistic facts that represent uncertain…”
Získať plný text