Search results for "constraint logic programming"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	François Fages, Julian Fowler, Thierry Sola	Handling Preferences in Constraint Logic Programming with Relational Optimization.	PLILP	1994	DBLP DOI BibTeX RDF	hierarchical constraint logic programming, optimization, preference, constraint logic programming
3	Alessandro Dal Palù, Enrico Pontelli, Jing He, Yonggang Lu	A constraint logic programming approach to 3D structure determination of large protein complexes.	SAC	2006	DBLP DOI BibTeX RDF	constraint logic programming, protein structure
3	Fae Martin, Arthur Pinkney, Xinghuo Yu	Cane Railway Scheduling via Constraint Logic Programming: Labelling Order and Constraints in a Real-Life Application.	Annals OR	2001	DBLP DOI BibTeX RDF	cane railway scheduling, labelling order, constraint logic programming
3	Alessandra Raffaetà, Thom W. Frühwirth	Spatio-temporal Annotated Constraint Logic Programming.	PADL	2001	DBLP DOI BibTeX RDF	constraint logic programming, Spatio-temporal reasoning, annotated logics
3	Reem Bahgat, Samir E. Abdel-Rahman	Combining Constraint Logic Programming Techniques for Solving Linear Problems.	New Trends in Constraints	1999	DBLP DOI BibTeX RDF	Interval Reasoning, Domain Splitting, Simplex-Like Solver, Constraint Logic Programming
3	Eduard Cerny, Fen Jin	Verification of Real Time Controllers Against Timing Diagram Specifications Using Constraint Logic Programming.	ICCD	1999	DBLP DOI BibTeX RDF	Interface verification, interface controllers, relational interval arithmetic, constraint logic programming, timing verification, timing diagrams
3	Paolo Mancarella, Alessandra Raffaetà, Franco Turini	Temporal Annotated Constraint Logic Programming with Multiple Theories. (PDF / PS)	DEXA Workshops	1999	DBLP DOI BibTeX RDF	meta-logic, knowledge representation, temporal reasoning, constraint logic programming
2	Elvira Albert, Miguel Gómez-Zamalloa, Germán Puebla	PET: a partial evaluation-based test case generation tool for Java bytecode.	PEPM	2010	DBLP DOI BibTeX RDF	testing, partial evaluation, symbolic execution, constraint logic programming, test-case generation
2	Salvatore Ruggieri, Fred Mesnard	Variable ranges in linear constraints.	SAC	2010	DBLP DOI BibTeX RDF	parameterized polyhedra, interval arithmetic, constraint logic programming, linear constraints
2	Jinwei Hu, Ruixuan Li, Zhengding Lu	RBAC-Based Secure Interoperation Using Constraint Logic Programming.	CSE	2009	DBLP DOI BibTeX RDF
2	Veena S. Mellarkod, Michael Gelfond, Yuanlin Zhang	Integrating answer set programming and constraint logic programming.	Ann. Math. Artif. Intell.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 68T27, 68T35, 68T30, 68T20, 03B70
2	Joxan Jaffar	Constraint Logic Programming for program analysis.	ACSC	2008	DBLP DOI BibTeX RDF
2	Stefano Bistarelli, Francesco Santini	Propagating multitrust within trust networks.	SAC	2008	DBLP DOI BibTeX RDF	and-or graphs, soft constraint logic programming, trust propagation, trust network
2	Tertia Hörne, John A. van der Poll	Planning as model checking: the performance of ProB vs NuSMV.	SAICSIT Conf.	2008	DBLP DOI BibTeX RDF	tableaux theorem proving, model checking, planning, satisfiability, BDDs, constraint logic programming
2	Stefano Bistarelli, Francesco Santini	A Formal and Practical Framework for Constraint-Based Routing.	ICN	2008	DBLP DOI BibTeX RDF	Soft Constraint Logic Programming, Constraint-Based Routing
2	Pawel Sitek, Jaroslaw Wikarek	A Declarative Framework for Constrained Search Problems.	IEA/AIE	2008	DBLP DOI BibTeX RDF	Scheduling, DSS, Constraint Logic Programming
2	Jie Wang, Chunnian Liu	Fuzzy Constraint Logic Programming with Answer Set Semantics.	KSEM	2007	DBLP DOI BibTeX RDF	Logic Program, Fuzzy Constraint, Answer Set Semantics
2	Phan Huy Tu, Tran Cao Son, Enrico Pontelli	CPP: A Constraint Logic Programming Based Planner with Preferences.	LPNMR	2007	DBLP DOI BibTeX RDF
2	Stefano Bistarelli, Francesco Santini	SCLP for Trust Propagation in Small-World Networks.	CSCLP	2007	DBLP DOI BibTeX RDF
2	Hugues Malgouyres, Gilles Motet	A UML model consistency verification approach based on meta-modeling formalization.	SAC	2006	DBLP DOI BibTeX RDF	UML verification, consistency rules, meta-modeling, constraint logic programming
2	Tun Li, Yang Guo, Sikun Li, Dan Zhu	Applying Constraint Logic Programming to Predicate Abstraction of RTL Verilog Descriptions.	MICAI	2005	DBLP DOI BibTeX RDF
2	Tun Li, Yang Guo, Sikun Li, GongJie Liu	Predicate Abstraction of RTL Verilog Descriptions Using Constraint Logic Programming.	ATVA	2005	DBLP DOI BibTeX RDF
2	Jesús Manuel Almendros-Jiménez	Constraint logic programming over sets of spatial objects.	WCFLP	2005	DBLP DOI BibTeX RDF	logic programming, CLP
2	Thomas Sturm	Quantifier Elimination for Constraint Logic Programming.	CASC	2005	DBLP DOI BibTeX RDF
2	Kish Shen, Joachim Schimpf	Eplex: Harnessing Mathematical Programming Solvers for Constraint Logic Programming.	CP	2005	DBLP DOI BibTeX RDF
2	Emmanuel Coquery, François Fages	A Type System for CHR.	CSCLP	2005	DBLP DOI BibTeX RDF
2	Saket Kaushik, William H. Winsborough, Duminda Wijesekera, Paul Ammann	Email feedback: a policy-based approach to overcoming false positives.	FMSE	2005	DBLP DOI BibTeX RDF	email/spam control, policy advertisement, policy feedback, constraint logic programming
2	Saket Kaushik, Duminda Wijesekera, Paul Ammann	Policy-based dissemination of partial web-ontologies.	SWS	2005	DBLP DOI BibTeX RDF	ontology, access control, control, policy, OWL, RDF, inference, constraint logic programming
2	Susana Muñoz-Hernández, José Manuél Gómez-Pérez	Solving Collaborative Fuzzy Agents Problems with CLP(FD).	PADL	2005	DBLP DOI BibTeX RDF	Fuzzy Prolog, Constraint Programming Application, Multi-Agent Systems, Finite Domains, Collaborative Agents, Modeling Uncertainty, (Constraint) Logic Programming
2	Aleksandar M. Bakic, Matt W. Mutka	Integrating On-Line Performance Visualization and Real-Time System Design.	Real-Time Systems	2005	DBLP DOI BibTeX RDF	extension and glue language, real-time design, real-time linux, constraint logic programming, real-time visualization
2	François Fages, Sylvain Soliman, Rémi Coolen	CLPGUI: A Generic Graphical User Interface for Constraint Logic Programming.	Constraints	2004	DBLP DOI BibTeX RDF	program annotation, visualization, GUI, debugging, constraint programming, search trees
2	Mark Wallace, Joachim Schimpf, Kish Shen, Warwick Harvey	On Benchmarking Constraint Logic Programming Platforms. Response to Fernandez and Hill's "A Comparative Study of Eight Constraint Programming Languages over the Boolean and Finite Domains".	Constraints	2004	DBLP DOI BibTeX RDF	solver performance, Benchmarking, ECLiPSe, Unit Testing, constraint logic programming, Finite Domain, CLP
2	Tun Li, Yang Guo, Sikun Li	Assertion-based automated functional vectors generation using constraint logic programming.	ACM Great Lakes Symposium on VLSI	2004	DBLP DOI BibTeX RDF	test generation, assertion, constraint logic programming, functional verification, decision diagrams
2	Hongwei Zhu 0002, Stuart E. Madnick, Michael Siegel	Reasoning About Temporal Context Using Ontology and Abductive Constraint Logic Programming.	PPSWR	2004	DBLP DOI BibTeX RDF
2	Susana Muñoz-Hernández, Julio Mariño, Juan José Moreno-Navarro	Constructive Intensional Negation.	FLOPS	2004	DBLP DOI BibTeX RDF	Logic Programming Implementation, Program Transformation, Constraint Logic Programming, Negation, Constructive Negation
2	Susana Muñoz-Hernández, Juan José Moreno-Navarro	Implementation Results in Classical Constructive Negation.	ICLP	2004	DBLP DOI BibTeX RDF	Implementations of Logic Programming, Optimization, Constraint Logic Programming, Constructive Negation, Negation in Logic Programming
2	Fabrice Bouquet, Bruno Legeard, Fabien Peureux	CLPS-B - A constraint solver to animate a B specification.	STTT	2004	DBLP DOI BibTeX RDF	B notation, Evaluation of specifications, Animation, Constraint logic programming, Set constraints
2	Steve Barker, Peter J. Stuckey	Flexible access control policy specification with constraint logic programming.	ACM Trans. Inf. Syst. Secur.	2003	DBLP DOI BibTeX RDF	Role-based access control, constraint logic programming
2	Hamza Zidoum	Implementation of an Arabic Morphological Analyzer within Constraint Logic Programming Framework.	KES	2003	DBLP DOI BibTeX RDF
2	Barry O'Sullivan (eds.)	Recent Advances in Constraints, Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002. Selected Papers	International Workshop on Constraint Solving and Constraint Logic Programming	2003	DBLP BibTeX RDF
2	J. Doyle, C. Meudec	IBIS: an Interactive Bytecode Inspection System, using symbolic execution and constraint logic programming.	PPPJ	2003	DBLP DOI BibTeX RDF	logic programming, symbolic execution, constraint logic programming, Java Bytecode, automatic tests data generation, coverage testing
2	Nuno Gomes, Zita A. Vale, Carlos Ramos	Reduce and Assign: A Constraint Logic Programming and Local Search Integration Framework to Solve Combinatorial Search Problems.	CP	2003	DBLP DOI BibTeX RDF
2	Alessandro Dal Palù, Agostino Dovier, Federico Fogolari	Protein Folding in CLP(FD) with Empirical Contact Energies.	CSCLP	2003	DBLP DOI BibTeX RDF
2	Péter Szeredi	Teaching Constraints through Logic Puzzles.	CSCLP	2003	DBLP DOI BibTeX RDF
2	Agostino Dovier, Enrico Pontelli, Gianfranco Rossi	Intensional Sets in CLP.	ICLP	2003	DBLP DOI BibTeX RDF	Aggregates, Constraint Logic Programming, Sets
2	Susana Muñoz-Hernández, Juan José Moreno-Navarro	A Real Implementation for Constructive Negation.	ICLP	2003	DBLP DOI BibTeX RDF	Implementations of Logic Programming, Constraint Logic Programming, Constructive Negation, Negation in Logic Programming
2	Chong-Kan Chiu, Jimmy Ho-Man Lee	Efficient Interval Linear Equality Solving in Constraint Logic Programming.	Reliable Computing	2002	DBLP DOI BibTeX RDF
2	Mark Wallace	Constraint Logic Programming.	Computational Logic: Logic Programming and Beyond	2002	DBLP DOI BibTeX RDF
2	Luc De Raedt	Data Mining as Constraint Logic Programming.	Computational Logic: Logic Programming and Beyond	2002	DBLP DOI BibTeX RDF
2	Thomas Sturm	Integration of Quantifier Elimination with Constraint Logic Programming.	AISC	2002	DBLP DOI BibTeX RDF
2	Slim Abdennadher, Christophe Rigotti	Constraint Solver Synthesis Using Tabled Resolution for Constraint Logic Programming.	LOPSTR	2002	DBLP DOI BibTeX RDF
2	Marc R. C. van Dongen	Domain-Heuristics for Arc-Consistency Algorithms.	International Workshop on Constraint Solving and Constraint Logic Programming	2002	DBLP DOI BibTeX RDF
2	James Bowen	Constraint Processing Offers Improved Expressiveness and Inference for Interactive Expert Systems.	International Workshop on Constraint Solving and Constraint Logic Programming	2002	DBLP DOI BibTeX RDF
2	Steven David Prestwich	A Local Search Algorithm for Balanced Incomplete Block Designs.	International Workshop on Constraint Solving and Constraint Logic Programming	2002	DBLP DOI BibTeX RDF
2	Patrick Prosser, Evgeny Selensky	A Study of Encodings of Constraint Satisfaction Problems with 0/1 Variables.	International Workshop on Constraint Solving and Constraint Logic Programming	2002	DBLP DOI BibTeX RDF
2	Hans Schlenker, Georg Ringwelski	POOC: A Platform for Object-Oriented Constraint Programming.	International Workshop on Constraint Solving and Constraint Logic Programming	2002	DBLP DOI BibTeX RDF
2	Eugene C. Freuder, Chavalit Likitvivatanavong, Manuela Moretti, Francesca Rossi, Richard J. Wallace	Computing Explanations and Implications in Preference-Based Configurators.	International Workshop on Constraint Solving and Constraint Logic Programming	2002	DBLP DOI BibTeX RDF
2	Inês Lynce, João P. Marques Silva	The Effect of Nogood Recording in DPLL-CBJ SAT Algorithms.	International Workshop on Constraint Solving and Constraint Logic Programming	2002	DBLP DOI BibTeX RDF
2	Sebastian Brand	A Note on Redundant Rules in Rule-Based Constraint Programming.	International Workshop on Constraint Solving and Constraint Logic Programming	2002	DBLP DOI BibTeX RDF
2	Lucas Bordeaux, Eric Monfroy, Frédéric Benhamou	Towards Automated Reasoning on the Properties of Numerical Constraints.	International Workshop on Constraint Solving and Constraint Logic Programming	2002	DBLP DOI BibTeX RDF
2	Peter Zoeteweij	A Coordination-Based Framework for Distributed Constraint Solving.	International Workshop on Constraint Solving and Constraint Logic Programming	2002	DBLP DOI BibTeX RDF
2	Alan M. Frisch, Ian Miguel, Toby Walsh	CGRASS: A System for Transforming Constraint Satisfaction Problems.	International Workshop on Constraint Solving and Constraint Logic Programming	2002	DBLP DOI BibTeX RDF
2	Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García	Abstract Verification and Debugging of Constraint Logic Programs.	International Workshop on Constraint Solving and Constraint Logic Programming	2002	DBLP DOI BibTeX RDF
2	Roman Barták	Visopt ShopFloor: Going Beyond Traditional Scheduling.	International Workshop on Constraint Solving and Constraint Logic Programming	2002	DBLP DOI BibTeX RDF
2	Stefano Bistarelli, Boi Faltings, Nicoleta Neagu	Interchangeability in Soft CSPs.	International Workshop on Constraint Solving and Constraint Logic Programming	2002	DBLP DOI BibTeX RDF
2	Erlendur S. Thorsteinsson, Greger Ottosson	Linear Relaxations and Reduced-Cost Based Propagation of Continuous Variable Subscripts.	Annals OR	2002	DBLP DOI BibTeX RDF	dynamic linear relaxations, reduced costs, variable subscripts, mixed global constraints, integration, inference, Mixed Integer Programming, Constraint Logic Programming, propagation
2	Erlendur S. Thorsteinsson	Branch-and-Check: A Hybrid Framework Integrating Mixed Integer Programming and Constraint Logic Programming.	CP	2001	DBLP DOI BibTeX RDF
2	Bruno Legeard, Fabien Peureux	Generation of Functional Test Sequences from B Formal Specifications-Presentation and Industrial Case Study.	ASE	2001	DBLP DOI BibTeX RDF	B notation, GSM 11-11 standard, Constraint Logic Programming, specification-based testing
2	Alexander Pretschner, Heiko Lötzbeyer, Jan Philipps	Model Based Testing in Evolutionary Software Development.	IEEE International Workshop on Rapid System Prototyping	2001	DBLP DOI BibTeX RDF	Cleanroom SW Engineering, Rapid Prototyping, Extreme Programming, Reactive Systems, Constraint Logic Programming, Incremental Development, Test Case Generation
2	Susana Muñoz-Hernández, Juan José Moreno-Navarro, Manuel V. Hermenegildo	Efficient Negation Using Abstract Interpretation.	LPAR	2001	DBLP DOI BibTeX RDF	Implementations of Logic Programming, Program Analysis, Abstract Interpretation, Constraint Logic Programming, Negation in Logic Programming
2	Dietmar Seipel, Ulrich Geske	Cardinality Constraints in Disjunctive Deductive Databases.	Semantics in Databases	2001	DBLP DOI BibTeX RDF	hyperresolution, constraint logic programming, disjunctive logic programming, cardinality constraints
2	Agostino Dovier, Carla Piazza, Enrico Pontelli, Gianfranco Rossi	Sets and constraint logic programming.	ACM Trans. Program. Lang. Syst.	2000	DBLP DOI BibTeX RDF	computable set theory, constraints, declarative programming
2	Peter Chan, Georges Weil	Cyclical Staff Scheduling Using Constraint Logic Programming.	PATAT	2000	DBLP DOI BibTeX RDF
2	Baoqiu Cui, David Scott Warren	A System for Tabled Constraint Logic Programming.	Computational Logic	2000	DBLP DOI BibTeX RDF
2	Ulf Nilsson, Johan Lübcke	Constraint Logic Programming for Local and Symbolic Model-Checking.	Computational Logic	2000	DBLP DOI BibTeX RDF
2	Manuel V. Hermenegildo, Germán Puebla, Kim Marriott, Peter J. Stuckey	Incremental analysis of constraint logic programs.	ACM Trans. Program. Lang. Syst.	2000	DBLP DOI BibTeX RDF	static analysis, abstract interpretation, constraint logic programming, incremental computation
2	Thomas H. Kolbe, Lutz Plümer, Armin B. Cremers	Identifying Buildings in Aerial Images Using Constraint Relaxation and Variable Elimination. (PDF / PS)	IEEE Intelligent Systems	2000	DBLP DOI BibTeX RDF	building extraction, variable elimination, object recognition, constraint logic programming, geometric constraints, constraint relaxation, inexact graph matching
2	Takahisa Ando, Takao Uehara	Reasoning by Agents in Computer Bridge Bidding.	Computers and Games	2000	DBLP DOI BibTeX RDF	Computer bridge, Imperfect information game, Agent, Constraint logic programming, Bidding, Hypothetical reasoning
2	Hans-Joachim Goltz, Dirk Matzke	University Timetabling Using Constraint Logic Programming.	PADL	1999	DBLP DOI BibTeX RDF
2	Francesca Rossi	Constraint (Logic) Programming: A Survey on Research and Applications.	New Trends in Constraints	1999	DBLP DOI BibTeX RDF
2	Mario Rodríguez-Artalejo	Functional and Constraint Logic Programming.	CCL	1999	DBLP BibTeX RDF
2	Aleksandar M. Bakic, Matt W. Mutka	A Compiler-Based Approach to Design and Engineering of Complex Real-Time Systems.	ICDCS	1999	DBLP DOI BibTeX RDF	Distributed Real-Time System Design, Adaptive Computing Systems, Constraint Logic Programming
2	Flavius Gruian, Krzysztof Kuchcinski	Operation Binding and Scheduling for Low Power Using Constraint Logic Programming.	EUROMICRO	1998	DBLP DOI BibTeX RDF
2	Eduard Cerny, Fen Jin	Verification of Real Time Controllers Against Timing Diagram Specifications Using Constraint Logic Programming.	EUROMICRO	1998	DBLP DOI BibTeX RDF
2	Krzysztof Kuchcinski	An Approach to High-Level Synthesis Using Constraint Logic Programming.	EUROMICRO	1998	DBLP DOI BibTeX RDF
2	Andrew D. Kelly, Kim Marriott, Andrew D. Macdonald, Peter J. Stuckey, Roland H. C. Yap	Optimizing Compilation of CLP(R).	ACM Trans. Program. Lang. Syst.	1998	DBLP DOI BibTeX RDF	source-to-source program transformation, compilation, program analysis, constraint logic programming, program optimization
2	Julio C. Peralta, John P. Gallagher, Hüseyin Saglam	Analysis of Imperative Programs through Analysis of Constraint Logic Programs.	SAS	1998	DBLP DOI BibTeX RDF	Imperative Program Analysis, Operational Semantics, Partial Evaluation, Constraint Logic Programming
2	Pierre Girodias, Eduard Cerny	Interface timing verification with delay correlation using constraint logic programming.	ED&TC	1997	DBLP DOI BibTeX RDF
2	Renate Beckmann, Jürgen Herrmann	Using constraint logic programming in memory synthesis for general purpose computers.	ED&TC	1997	DBLP DOI BibTeX RDF
2	Evgeny Dantsin, Thomas Eiter, Georg Gottlob, Andrei Voronkov	Complexity and Expressive Power of Logic Programming. (PDF / PS)	IEEE Conference on Computational Complexity	1997	DBLP DOI BibTeX RDF	computational complexity, Logic programming, resolution, constraint logic programming, unification, expressive power
2	J. C. Tay, S. Y. Huang, Hiok Chai Quek	CSL (Part I): Modelling General N-ary, Logical CSPs. (PDF / PS)	ICTAI	1997	DBLP DOI BibTeX RDF	constraint specification language, CSL, user-defined constraints, N-ary logical constraint satisfaction problems, constraint logic programming languages, expressive algebra, extended versions, transparent access, data structures, constraint programming, unification, syntax, logic programming languages, numerical constraints
2	Krzysztof Kuchcinski	Embedded System Synthesis by Timing Constraints Solving. (PDF / PS)	ISSS	1997	DBLP DOI BibTeX RDF	Embedded Systems, Synthesis, Constraint Logic Programming
2	Gopal Gupta, Enrico Pontelli	A constraint-based approach for specification and verification of real-time systems. (PDF / PS)	IEEE Real-Time Systems Symposium	1997	DBLP DOI BibTeX RDF	constraint based approach, real time systems specification, real time systems verification, general constraint logic programming, real time event ordering, grammar productions, Definite Clause Grammar, CLP program, DCG, timed push down automata, real-time systems, timed automata, constraint logic program, constraint automata
2	Agata Wrzos-Kaminska	Partial Evaluation in Constraint Logic Programming.	ISMIS	1996	DBLP DOI BibTeX RDF
2	Peter J. Stuckey, Vincent Tam	Models for Using Stochastic Constraint Solvers in Constraint Logic Programming.	PLILP	1996	DBLP DOI BibTeX RDF
2	Maria J. García de la Banda, Manuel V. Hermenegildo, Maurice Bruynooghe, Veroniek Dumortier, Gerda Janssens, Wim Simoens	Global Analysis of Constraint Logic Programs.	ACM Trans. Program. Lang. Syst.	1996	DBLP DOI BibTeX RDF	global program analysis, program analysis, abstract interpretation, constraint logic programming
2	Hoon Hong	RISC-CLP(CF) Constraint Logic Programming over Complex Functions.	LPAR	1994	DBLP DOI BibTeX RDF
2	Jimmy Ho-Man Lee, Ho-fung Leung	IQ: towards incremental query processing in non-deterministic concurrent constraint logic programming.	SAC	1994	DBLP DOI BibTeX RDF	concurrent constraint logic programming, incremental execution
2	Thom W. Frühwirth	Annotated Constraint Logic Programming Applied to Temporal Reasoning.	PLILP	1994	DBLP DOI BibTeX RDF
2	George K. Papakonstantinou, C. Voliotis, Nikitas M. Sgouros	Dependency-Directed Binding of Variables For Constraint Logic Programming.	DEXA	1994	DBLP DOI BibTeX RDF	Expert Systems Architecture, Knowledge Engineering, Deductive Databases