Suchergebnisse - "Logic and constraint programming"

Automated Generation of Consistent Graph Models With Multiplicity Reasoning von 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 …”
Volltext

VeriFly: On-the-fly Assertion Checking via Incrementality von 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 …”
Volltext

Incremental and Modular Context-sensitive Analysis von 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 …”
Volltext

FLARE: Fast layout for augmented reality applications von 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 …”
Volltext

The Inductive Constraint Programming Loop von 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 …”
Volltext

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

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

Resolution procedures for multiple-valued optimization von 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 …”
Volltext

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

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

A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming von 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 …”
Volltext

A Framework for Defining Logical Frameworks von 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 …”
Volltext

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

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