Search Results - "Theory and Practice of Logic Programming"

Call for Papers Verification and Computational Logic Special Issue of Theory and Practice of Logic Programming by 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…”
Get full text

Change in Knowledge Bases Special Issue of Theory and Practice of Logic Programming Submission deadline: July 31, 2001 by 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…”
Get full text

Combining decidability paradigms for existential rules. Theory and Practice of Logic Programming - CORRIGENDUM by 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…”
Get full text

Theory and practice of logic programming by Association for Logic Programming

Get full text

Theory and practice of logic programming

Get full text

Temporal Answer Set Programming on Finite Traces by 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…”
Get full text

Hybrid ASP-based Approach to Pattern Mining by 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…”
Get full text

Abstract Argumentation and Answer Set Programming: Two Faces of Nelson’s Logic by 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…”
Get full text

Integrating Cardinality Constraints into Constraint Logic Programming with Sets by 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…”
Get full text

Compositional Verification in Rewriting Logic by 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…”
Get full text

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

“… This paper is under consideration for publication in Theory and Practice of Logic Programming…”
Get full text

Scaling-up reasoning and advanced analytics on BigData by 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…”
Get full text

Editorial: 29th International conference on logic programming special issue – ADDENDUM by 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…”
Get full text

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

“… Theory and Practice of Logic Programming, 26th…”
Get full text

Multi-shot ASP solving with clingo by 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…”
Get full text

Introduction to the 30th International Conference on Logic Programming Special Issue by 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…”
Get full text

Constraint Answer Set Programming without Grounding by 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…”
Get full text

Automatic extraction of corollaries from semantic structure of text by 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…”
Get full text

SWI-Prolog by 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…”
Get full text

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

“…Probabilistic Answer Set Programming under the credal semantics (PASP) extends Answer Set Programming with probabilistic facts that represent uncertain…”
Get full text