Search results for "CLP"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
34	James H. Andrews	Foundational Issues in Implementing Constraint Logic Programming Systems.	ESOP	1994	DBLP DOI BibTeX RDF
34	Alessandra Di Pierro, Catuscia Palamidessi	A Logical Denotational Semantics for Constraint Logic Programming.	ESOP	1994	DBLP DOI BibTeX RDF
34	Pascal Van Hentenryck, Yves Deville	Operational Semantics of Constraint Logic Programming over Finite Domains.	PLILP	1991	DBLP DOI BibTeX RDF
29	Neng-Fa Zhou	Encoding Table Constraints in CLP(FD) Based on Pair-Wise AC.	ICLP	2009	DBLP DOI BibTeX RDF
29	Agostino Dovier, Andrea Formisano 0001, Enrico Pontelli	Representing Multi-agent Planning in CLP.	LPNMR	2009	DBLP DOI BibTeX RDF
29	Franco Fummi, Cristina Marconcini, Graziano Pravadelli, Ian G. Harris	A CLP-Based Functional ATPG for Extended FSMs.	MTV	2007	DBLP DOI BibTeX RDF
29	Marluce Rodrigues Pereira, Patrícia Kayser Vargas, Maria Clicia Stelling de Castro, Felipe Maia Galvão França, Inês de Castro Dutra	Automatic Constraint Partitioning to Speed Up CLP Execution.	SBAC-PAD	2007	DBLP DOI BibTeX RDF
29	Izabela Tomczuk-Pirog, Robert Wójcik, Zbigniew Antoni Banaszak	Decision Support Systems Based on CLP Approach in SMEs.	ETFA	2006	DBLP DOI BibTeX RDF
29	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
29	Tun Li, Yang Guo 0003, Sikun Li	CLP Based Static Property Checking.	ATVA	2004	DBLP DOI BibTeX RDF
29	Ana Paula Tomás, José Paulo Leal	A CLP-Based Tool for Computer Aided Generation and Solving of Maths Exercises.	PADL	2003	DBLP DOI BibTeX RDF
29	Agostino Dovier, Enrico Pontelli, Gianfranco Rossi	Intensional Sets in CLP.	ICLP	2003	DBLP DOI BibTeX RDF	Aggregates, Constraint Logic Programming, Sets
29	Claudio Vaucheret, Sergio Guadarrama, Susana Muñoz-Hernández	Fuzzy Prolog: A Simple General Implementation Using CLP(R).	LPAR	2002	DBLP DOI BibTeX RDF	Fuzzy Prolog, Constraint Programming Application, Implementation of Fuzzy Prolog, Logic Programming, Modeling Uncertainty
29	Mireille Ducassé, Ludovic Langevine	Automated Analysis of CLP(FD) Program Execution Traces.	ICLP	2002	DBLP DOI BibTeX RDF
29	Timothy J. Hickey	CLIP: A CLP(Intervals) Dialect for Metalevel Constraint Solving.	PADL	2000	DBLP DOI BibTeX RDF
29	Arnaud Gotlieb, Bernard Botella, Michel Rueher	A CLP Framework for Computing Structural Test Data.	Computational Logic	2000	DBLP DOI BibTeX RDF
29	Claude Laï	Using Constraints in Local Proofs for CLP Debugging.	PADL	1999	DBLP DOI BibTeX RDF
29	Gerda Janssens, Maurice Bruynooghe, Vincent Englebert	Abstracting Numerical Values in CLP(H, N).	PLILP	1994	DBLP DOI BibTeX RDF
29	Philippe Codognet, Daniel Diaz 0001	clp(B): Combining Simplicity and Efficiency in Boolean Constraint Solving.	PLILP	1994	DBLP DOI BibTeX RDF
29	Olga Caprotti	Extending RISC-CLP (Real) to Handle Symbolic Functions.	DISCO	1993	DBLP DOI BibTeX RDF
29	Agostino Dovier	A Language with Finite Sets Embedded in the CLP-scheme.	ELP	1993	DBLP DOI BibTeX RDF
24	Francisco Azevedo	Cardinal: A Finite Sets Constraint Solver.	Constraints An Int. J.	2007	DBLP DOI BibTeX RDF	Constraint Logic Programming - PI, Primary Input - TG, Test Generation, CLP
24	Agostino Dovier, Carla Piazza, Enrico Pontelli	Disunification in ACI1 Theories.	Constraints An Int. J.	2004	DBLP DOI BibTeX RDF	disunification, ACI, complexity, sets, equational theories, CLP
24	Yongxiang Liu, Anahita Shayesteh, Gokhan Memik, Glenn Reinman	Scaling the issue window with look-ahead latency prediction.	ICS	2004	DBLP DOI BibTeX RDF	LHT, MNM, SILO, instruction sorting, CLP
24	Puri Arenas-Sánchez, Agostino Dovier	Minimal Set Unification	PLILP	1995	DBLP DOI BibTeX RDF	Logic Programming with Sets, Unification, CLP
23	Patrick Albers, Jacques Bellone	A Planning System for Aircraft Production with Parallel Constraint Logic Programming.	Euro-Par, Vol. II	1996	DBLP DOI BibTeX RDF	aircraft production, parallel CLP, optimization, production cost
23	Ammar Mohammed, Christian Schwarz	HieroMate: A Graphical Tool for Specification and Verification of Hierarchical Hybrid Automata.	KI	2009	DBLP DOI BibTeX RDF
23	Mireille Ducassé	(C)LP Tracing and Debugging.	ICLP	2009	DBLP DOI BibTeX RDF
23	Zhiyuan He 0002, Zebo Peng, Petru Eles, Paul M. Rosinger, Bashir M. Al-Hashimi	Thermal-Aware SoC Test Scheduling with Test Set Partitioning and Interleaving.	J. Electron. Test.	2008	DBLP DOI BibTeX RDF	Thermal-aware testing, Test scheduling, SoC testing
23	Changyu Dong, Giovanni Russello, Naranker Dulay	Flexible Resolution of Authorisation Conflicts in Distributed Systems.	DSOM	2008	DBLP DOI BibTeX RDF
23	Elvira Albert, Puri Arenas, Michael Codish, Samir Genaim, Germán Puebla, Damiano Zanardini	Termination Analysis of Java Bytecode.	FMOODS	2008	DBLP DOI BibTeX RDF
23	Ali-Reza Adl-Tabatabai, Anwar M. Ghuloum, Shobhit O. Kanaujia	Compression in cache design.	ICS	2007	DBLP DOI BibTeX RDF	cache compression, prefetching, cache design
23	Hai-Feng Guo, Miao Liu, Bharat Jayaraman	Relaxation on Optimization Predicates.	ICLP	2006	DBLP DOI BibTeX RDF
23	Jorge Torres 0002, Juan Manuel Dodero, Ignacio Aedo, Paloma Díaz 0001	Designing the Execution of Learning Activities in Complex Learning Processes Using LPCEL.	ICALT	2006	DBLP DOI BibTeX RDF
23	Giorgio Delzanno, Maurizio Gabbrielli	Compositional Verification of Asynchronous Processes via Constraint Solving.	ICALP	2005	DBLP DOI BibTeX RDF
23	Tun Li, Yang Guo 0003, Sikun Li, GongJie Liu	Predicate Abstraction of RTL Verilog Descriptions Using Constraint Logic Programming.	ATVA	2005	DBLP DOI BibTeX RDF
23	Tun Li, Yang Guo 0003, Sikun Li, Dan Zhu	Applying Constraint Logic Programming to Predicate Abstraction of RTL Verilog Descriptions.	MICAI	2005	DBLP DOI BibTeX RDF
23	Joxan Jaffar, Roland H. C. Yap, Kenny Qili Zhu	Coordination of Many Agents.	ICLP	2005	DBLP DOI BibTeX RDF
23	Thomas Sturm 0001	Quantifier Elimination for Constraint Logic Programming.	CASC	2005	DBLP DOI BibTeX RDF
23	François Fages, Sylvain Soliman, Rémi Coolen	CLPGUI: A Generic Graphical User Interface for Constraint Logic Programming.	Constraints An Int. J.	2004	DBLP DOI BibTeX RDF	program annotation, visualization, GUI, debugging, constraint programming, search trees
23	Antonio J. Fernández 0001, Patricia M. Hill	An interval constraint system for lattice domains.	ACM Trans. Program. Lang. Syst.	2004	DBLP DOI BibTeX RDF	Constraint, indexicals, cooperation, lattice, propagation
23	Michael Lees, Brian S. Logan 0001, Rob Minson, Ton Oguara, Georgios Theodoropoulos 0001	Distributed Simulation of MAS.	MABS	2004	DBLP DOI BibTeX RDF
23	Timothy J. Hickey, David K. Wittenberg	Rigorous Modeling of Hybrid Systems Using Interval Arithmetic Constraints.	HSCC	2004	DBLP DOI BibTeX RDF
23	Susana Muñoz-Hernández, José Manuél Gómez-Pérez	Collaborative Fuzzy Agents Using Constraint Logic Programming over Finite Domains.	OTM Workshops	2004	DBLP DOI BibTeX RDF
23	Hamza Zidoum	Implementation of an Arabic Morphological Analyzer within Constraint Logic Programming Framework.	KES	2003	DBLP DOI BibTeX RDF
23	Daniel Riera, Neil Yorke-Smith	An Improved Hybrid Model for the Generic Hoist Scheduling Problem.	Ann. Oper. Res.	2002	DBLP DOI BibTeX RDF	hoist scheduling, modelling, benchmarks, hybrid methods
23	Kenny Qili Zhu, Andrew E. Santosa	A Meeting Scheduling System Based on Open Constraint Programming.	CAiSE	2002	DBLP DOI BibTeX RDF
23	Fae Martin, Arthur Pinkney, Xinghuo Yu 0001	Cane Railway Scheduling via Constraint Logic Programming: Labelling Order and Constraints in a Real-Life Application.	Ann. Oper. Res.	2001	DBLP DOI BibTeX RDF	cane railway scheduling, labelling order, constraint logic programming
23	Stefano Bistarelli, Ugo Montanari, Francesca Rossi 0001	Semiring-based contstraint logic programming: syntax and semantics.	ACM Trans. Program. Lang. Syst.	2001	DBLP DOI BibTeX RDF	semantics, constraints, soft constraints
23	Marco Comini, Roberta Gori, Giorgio Levi	How to Transform an Analyzer into a Verifier.	LPAR	2001	DBLP DOI BibTeX RDF
23	Javier Leach, Susana Nieva	A Higher-Order Logic Programming Language with Constraints.	FLOPS	2001	DBLP DOI BibTeX RDF
23	Maria J. García de la Banda, Peter J. Stuckey, Warwick Harvey, Kim Marriott	Model Checking in HAL.	Computational Logic	2000	DBLP DOI BibTeX RDF
23	Francesca Rossi 0001	Constraint (Logic) Programming: A Survey on Research and Applications.	New Trends in Constraints	1999	DBLP DOI BibTeX RDF
23	Reem Bahgat, Samir E. AbdelRahman	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
23	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
23	Philippe Refalo	Approaches to the Incremental Detection of Implicit Equalities with the Revised Simplex Method.	PLILP/ALP	1998	DBLP DOI BibTeX RDF
23	Eduard Cerny, Fen Jin	Verification of Real Time Controllers Against Timing Diagram Specifications Using Constraint Logic Programming.	EUROMICRO	1998	DBLP DOI BibTeX RDF
23	Frédéric Benhamou	Heterogeneous Constraint Solving.	ALP	1996	DBLP DOI BibTeX RDF
23	Agata Wrzos-Kaminska	Partial Evaluation in Constraint Logic Programming.	ISMIS	1996	DBLP DOI BibTeX RDF
23	Chie Dou, Ming-Der Shieh	A CAM-Based VLSI Architecture for Shared Buffer ATM Switch with Fuzzy Controlled Buffer Management.	ICCD	1996	DBLP DOI BibTeX RDF	Shared Buffer ATM Switch, VLSI, Fuzzy Control, Buffer Management, CAM
23	Ranga Vemuri, R. Kalyanaraman	Generation of design verification tests from behavioral VHDL programs using path enumeration and constraint programming.	IEEE Trans. Very Large Scale Integr. Syst.	1995	DBLP DOI BibTeX RDF
23	Enea Zaffanella, Roberto Giacobazzi, Giorgio Levi	Abstracting Synchronization in Concurrent Constraint Programming.	PLILP	1994	DBLP DOI BibTeX RDF
23	Marc-Michel Corsini, Antoine Rauzy	Symbolic Model Checking and Constraint Logic Programming: a Cross-Fertilization.	ESOP	1994	DBLP DOI BibTeX RDF	Symbolic Model Checking, Constraint Languages
23	Kim Marriott, Peter J. Stuckey	Semantics of Constraint Logic Programs with Optimization.	LOPLAS	1993	DBLP DOI BibTeX RDF	semantics, constraint logic programming
23	Kim Marriott, Peter J. Stuckey	The 3 R's of Optimizing Constraint Logic Programs: Refinement, Removal and Reordering.	POPL	1993	DBLP DOI BibTeX RDF
23	John F. Koegel	Parallel objects on distributed constraint logic programming machines.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF	POOL
23	Toshio Kawamura, Hayato Ohwada, Fumio Mizoguchi	CS-Prolog: A Generalized Unification Based Constraint Solver.	LP	1987	DBLP DOI BibTeX RDF
23	Joxan Jaffar, Jean-Louis Lassez	From Unification to Constraints.	LP	1987	DBLP DOI BibTeX RDF
18	Yuqing Wang, Malvika Pillai, Yun Zhao 0001, Catherine M. Curtin, Tina Hernandez-Boussard	FairEHR-CLP: Towards Fairness-Aware Clinical Predictions with Contrastive Learning in Multimodal Electronic Health Records.	CoRR	2024	DBLP DOI BibTeX RDF
18	Mohadeseh Ghayekhloo, Ahmad Nickabadi	CLP-GCN: Confidence and label propagation applied to Graph Convolutional Networks.	Appl. Soft Comput.	2023	DBLP DOI BibTeX RDF
18	Chong Zhang, Luoyi Fu, Fei Long, Xinbing Wang, Chenghu Zhou	CLP: A Community based Label Propagation Framework for Multiple Source Detection.	INFOCOM	2023	DBLP DOI BibTeX RDF
18	Arpita Vats, Gheorghi Guzun, David C. Anastasiu	CLP: A Platform for Competitive Learning.	EC-TEL	2022	DBLP DOI BibTeX RDF
18	Hao Ding, Yongfeng Gu, Hua Wu, Jun Zhou 0011	NL-SOMA-CLP for real parameter single objective bound constrained optimization.	GECCO Companion	2022	DBLP DOI BibTeX RDF
18	Tomas Kadavy, Michal Pluhacek, Adam Viktorin, Roman Senkerik	SOMA-CLP for competition on bound constrained single objective numerical optimization benchmark: a competition entry on bound constrained single objective numerical optimization at the genetic and evolutionary computation conference (GECCO) 2021.	GECCO Companion	2021	DBLP DOI BibTeX RDF
18	Kirk Rodrigues, Yu Luo 0006, Ding Yuan 0004	CLP: Efficient and Scalable Search on Compressed Text Logs.	OSDI	2021	DBLP BibTeX RDF
18	Shashank Sheshar Singh, Shivansh Mishra, Ajay Kumar 0006, Bhaskar Biswas	CLP-ID: Community-based link prediction using information diffusion.	Inf. Sci.	2020	DBLP DOI BibTeX RDF
18	Fred Mesnard, Étienne Payet, Germán Vidal	Concolic Testing in CLP.	CoRR	2020	DBLP BibTeX RDF
18	Fred Mesnard, Étienne Payet, Germán Vidal	Concolic Testing in CLP.	Theory Pract. Log. Program.	2020	DBLP DOI BibTeX RDF
18	Alessandro Bertagnon, Marco Gavanelli	Improved Filtering for the Euclidean Traveling Salesperson Problem in CLP(FD).	AAAI	2020	DBLP DOI BibTeX RDF
18	Joaquín Arias, Manuel Carro	Evaluation of the Implementation of an Abstract Interpretation Algorithm using Tabled CLP.	CoRR	2019	DBLP BibTeX RDF
18	Joaquín Arias, Manuel Carro	Description, Implementation, and Evaluation of a Generic Design for Tabled CLP.	Theory Pract. Log. Program.	2019	DBLP DOI BibTeX RDF
18	Joaquín Arias, Manuel Carro	Evaluation of the Implementation of an Abstract Interpretation Algorithm using Tabled CLP.	Theory Pract. Log. Program.	2019	DBLP DOI BibTeX RDF
18	Changjie Li, Yun Xing	CLP at SemEval-2019 Task 3: Multi-Encoder in Hierarchical Attention Networks for Contextual Emotion Detection.	SemEval@NAACL-HLT	2019	DBLP DOI BibTeX RDF
18	Wim Vanhoof, Gonzague Yernaux	Generalization-Driven Semantic Clone Detection in CLP.	LOPSTR	2019	DBLP DOI BibTeX RDF
18	Hadrien Bride, Olga Kouchnarenko, Fabien Peureux, Guillaume Voiron	Assessing SMT and CLP approaches for workflow nets verification.	Int. J. Softw. Tools Technol. Transf.	2018	DBLP DOI BibTeX RDF
18	Joaquín Arias, Manuel Carro	Description, Implementation, and Evaluation of a Generic Design for Tabled CLP.	CoRR	2018	DBLP BibTeX RDF
18	Sebastian Krings, Michael Leuschel, Philipp Körner, Stefan Hallerstede, Miran Hasanagic	Three Is a Crowd: SAT, SMT and CLP on a Chessboard.	PADL	2018	DBLP DOI BibTeX RDF
18	Pawel Sitek, Jaroslaw Wikarek, Tadeusz Stefanski	A Hybrid CLP/MP Approach to Modeling and Solving Resource-Constrained Scheduling Problems with Logic Constraints.	AUTOMATION	2017	DBLP DOI BibTeX RDF
18	Faten Nabli, Thierry Martinez, François Fages, Sylvain Soliman	On enumerating minimal siphons in Petri nets using CLP and SAT solvers: theoretical and practical complexity.	Constraints An Int. J.	2016	DBLP DOI BibTeX RDF
18	Besik Dundua, Mário Florido, Temur Kutsia, Mircea Marin	CLP(H): Constraint logic programming for hedges.	Theory Pract. Log. Program.	2016	DBLP DOI BibTeX RDF
18	Ehsan Variani, Tara N. Sainath, Izhak Shafran, Michiel Bacchiani	Complex Linear Projection (CLP): A Discriminative Approach to Joint Feature Extraction and Acoustic Modeling.	INTERSPEECH	2016	DBLP DOI BibTeX RDF
18	Joaquín Arias	Tabled CLP for Reasoning Over Stream Data.	ICLP (Technical Communications)	2016	DBLP DOI BibTeX RDF
18	Hadrien Bride, Olga Kouchnarenko, Fabien Peureux, Guillaume Voiron	Workflow Nets Verification: SMT or CLP?	FMICS-AVoCS	2016	DBLP DOI BibTeX RDF
18	Joaquín Arias, Manuel Carro	Description and evaluation of a generic design to integrate CLP and tabled execution.	PPDP	2016	DBLP DOI BibTeX RDF
18	Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa	Testing of concurrent and imperative software using CLP.	PPDP	2016	DBLP DOI BibTeX RDF
18	Besik Dundua, Mário Florido, Temur Kutsia, Mircea Marin	CLP(H): Constraint Logic Programming for Hedges.	CoRR	2015	DBLP BibTeX RDF
18	Jigen Peng, Shigang Yue, Haiyang Li	$NP/CLP$ Equivalence: A Phenomenon Hidden Among Sparsity Models for Information Processing.	CoRR	2015	DBLP BibTeX RDF
18	Sergii Dymchenko, Mariia Mykhailova	Declaratively solving tricky google code jam problems with prolog-based ECLiPSe CLP system.	SAC	2015	DBLP DOI BibTeX RDF
18	Carl Schultz 0001, Mehul Bhatt	Encoding Relative Orientation and Mereotopology Relations with Geometric Constraints in CLP(QS).	LQMR@FedCSIS	2015	DBLP BibTeX RDF
18	Joaquín Arias, Manuel Carro	Towards a Generic Interface to Integrate CLP and Tabled Execution (Extended Abstract).	ICLP (Technical Communications)	2015	DBLP BibTeX RDF