Výsledky vyhledávání - (("logic and constraint programming") OR ("login and constraint programming"))

Automated Generation of Consistent Graph Models With Multiplicity Reasoning Autor 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…”
Získat plný text

VeriFly: On-the-fly Assertion Checking via Incrementality Autor 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…”
Získat plný text

Incremental and Modular Context-sensitive Analysis Autor 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…”
Získat plný text

FLARE: Fast layout for augmented reality applications Autor 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…”
Získat plný text

The Inductive Constraint Programming Loop Autor 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…”
Získat plný text

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

“…Irregular computations pose some of the most interesting and challenging problems in automatic parallelization. Irregularity appears in certain kinds of…”
Získat plný text

Resolution procedures for multiple-valued optimization Autor 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…”
Získat plný text

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

“… Representation is based on the integration of object-oriented, logic and constraint programming…”
Získat plný text

A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming Autor 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…”
Získat plný text

A Framework for Defining Logical Frameworks Autor 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…”
Získat plný text

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

“…Symmetry had been well studied in classical logics and constraint programming since a decade…”
Získat plný text