Search Results - "Logic and constraint programming General Terms Algorithms"

Dependency Management for the Eclipse Ecosystem: Eclipse p2, Metadata and Resolution

Authors: Daniel Le Berre Pascal Rapicault The Pennsylvania State University CiteSeerX Archives

Contributors: Daniel Le Berre Pascal Rapicault The Pennsylvania State University CiteSeerX Archives

Source: http://www.cril.univ-artois.fr/spip/publications/iwoce907-leberre.pdf.

Subject Terms: Categories and Subject Descriptors D.2.7 [ Distribution, Maintenance, and Enhancement, Extensibility, D.2.13 [Reusable Software, Reusable li- braries, F.4.1 [Mathematical Logic, Logic and constraint programming General Terms Algorithms, Design, Experimentation Keywords OSGi

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.588.660

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.588.660
http://www.cril.univ-artois.fr/spip/publications/iwoce907-leberre.pdf

Constraint Satisfaction Problems Solvable by Local Consistency Methods.

Authors: BARTO, LIBOR KOZIK, MARCIN

Source: Journal of the ACM; Jan2014, Vol. 61 Issue 1, p3-19, 19p

Subject Terms: THEORY of constraints, SATISFACTION, ALGORITHMS, LOGICAL prediction, INDUCTION (Logic)

Process Discovery under Precedence Constraints.

Authors: GRECO, GIANLUIGI GUZZO, ANTONELLA LUPIA, FRANCESCO et al.

Source: ACM Transactions on Knowledge Discovery from Data; Jun2015, Vol. 9 Issue 4, p32:1-32:39, 39p

Subject Terms: COMPUTATIONAL complexity, SYSTEMS theory, INFORMATION processing, ACQUISITION of data, ALGORITHMS

Constraint Propagation for First-Order Logic and Inductive Definitions.

Authors: WITTOCX, JOHAN DENECKER, MARC BRUYNOOGHE, MAURICE

Source: ACM Transactions on Computational Logic; Aug2013, Vol. 14 Issue 3, p1-45, 45p

Subject Terms: CONSTRAINT satisfaction, FIRST-order logic, ALGORITHMS, POLYNOMIALS, APPLICATION software, MATHEMATICAL models, QUERY (Information retrieval system)

Certainty Closure: Reliable Constraint Reasoning with Incomplete or Erroneous Data.

Authors: YORKE-SMITH, NEIL GERVET, CARMEN

Source: ACM Transactions on Computational Logic; Jan2009, Vol. 10 Issue 1, p3-3:41, 41p, 4 Diagrams, 5 Charts, 2 Graphs

Subject Terms: CONSTRAINT programming, COMBINATORIAL optimization, MATHEMATICAL optimization, COMPUTER programming, COMPUTER networks