Search Results - "Logic and Constraint Programming"

Automated Generation of Consistent Graph Models With Multiplicity Reasoning by Marussy, Kristof, Semerath, Oszkar, Varro, Daniel

“…Advanced tools used in model-based systems engineering (MBSE) frequently represent their models as graphs. In order to test those tools, the automated…”
Get full text

VeriFly: On-the-fly Assertion Checking via Incrementality by SANCHEZ-ORDAZ, MIGUEL A., GARCIA-CONTRERAS, ISABEL, PEREZ, VICTOR, MORALES, JOSÉ F., LOPEZ-GARCIA, PEDRO, HERMENEGILDO, MANUEL V.

“…Assertion checking is an invaluable programmer’s tool for finding many classes of errors or verifying their absence in dynamic languages such as Prolog. For…”
Get full text

Incremental and Modular Context-sensitive Analysis by GARCIA-CONTRERAS, ISABEL, MORALES, JOSÉ F., HERMENEGILDO, MANUEL V.

“…Context-sensitive global analysis of large code bases can be expensive, which can make its use impractical during software development. However, there are many…”
Get full text

FLARE: Fast layout for augmented reality applications by Gal, Ran, Shapira, Lior, Ofek, Eyal, Kohli, Pushmeet

“…Creating a layout for an augmented reality (AR) application which embeds virtual objects in a physical environment is difficult as it must adapt to any…”
Get full text

The Inductive Constraint Programming Loop by BESSIERE, Christian, de Raedt, Luc, Guns, Tias, Kotthoff, Lars, Nanni, Mirco, Nijssen, Siegfried, O'Sullivan, Barry, Paparrizou, Anastasia, Pedreschi, Dino, Simonis, Helmut

“…Constraint programming is used for a variety of real-world optimization problems, such as planning, scheduling and resource allocation problems. At the same…”
Get full text

Parallelizing irregular and pointer-based computations automatically: Perspectives from logic and constraint programming by Hermenegildo, Manuel

“…Irregular computations pose some of the most interesting and challenging problems in automatic parallelization. Irregularity appears in certain kinds of…”
Get full text

Resolution procedures for multiple-valued optimization by Ansótegui, Carlos, Bonet, María Luisa, Levy, Jordi, Manyà, Felip

“…Signed clausal forms offer a suitable logical framework for automated reasoning in multiple-valued logics. It turns out that the satisfiability problem of any…”
Get full text

BatchKit—A knowledge integration environment for process engineering by Hofmeister, M.

“… Representation is based on the integration of object-oriented, logic and constraint programming…”
Get full text

A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming by Estévez-Martín, S., Fernández, A.J., Hortalá-González, T., Rodríguez-Artalejo, M., Sáenz-Pérez, F., del Vado-Vírseda, R.

“…This paper presents a proposal for the cooperation of solvers in constraint functional logic programming, a quite expressive programming paradigm which combines functional, logic and constraint…”
Get full text

A Framework for Defining Logical Frameworks by Honsell, Furio, Lenisa, Marina, Liquori, Luigi

“…In this paper, we introduce a General Logical Framework, called GLF, for defining Logical Frameworks, based on dependent types, in the style of the well known…”
Get full text

Reasoning by symmetry in non-monotonic inference by Benhamou, B, Nabhani, T, Siegel, P

“…Symmetry had been well studied in classical logics and constraint programming since a decade…”
Get full text