Výsledky vyhľadávania - D.1.6 Logic Programming

WoMan: Logic-Based Workflow Learning and Management Autor Ferilli, Stefano

“… Manual engineering of workflow models is a complex, costly, and error-prone task. The WoMan framework for workflow management is based on first-order logic…”
Získať plný text

On the Strong Equivalences for LPMLN Programs Autor Wang, Bin, Shen, Jun, Zhang, Shutao, Zhang, Zhizheng

“…) and the probabilistic reasoning ability of Markov Logic Networks (MLN). In this paper, we study the strong equivalence for LPMLN programs, which is an important tool for program rewriting and theoretical investigations in the field of logic programming…”
Získať plný text

CHR(PRISM)-based probabilistic logic learning Autor Sneyers, Jon, Meert, Wannes, Vennekens, Joost, Kameya, Yoshitaka, Sato, Taisuke

Získať plný text

On the implementation ofGNU Prolog Autor Diaz, Daniel, Abreu, Salvador, Codognet, Philippe

Získať plný text

Foundations of linear-time logic programming Autor Orgun, M. A.

“…This paper lays down foundations of logic programming based on a linear-time temporal logic with unbounded past and future…”
Získať plný text

Ordered structures for parallel rule-based computations Autor Alonso, Cesar L., Vela, Camino R., Varela, Ramiro, puente, Jorge

“…In this paper we present an effective strategy to compute a partial order relation among the literals of a query given by a conjuction of first order literals…”
Získať plný text