Logic programming: functions, relations, and equations
Logic programming: functions, relations, and equations
Complex indeterminates in Prolog and its application to discourse models
New Generation Computing
Login: A logic programming language with built-in inheritance
Journal of Logic Programming
Journal of Logic Programming
Some issues and trends in the semantics of logic programming
Proceedings on Third international conference on logic programming
Semantics of infinite tree logic programming
Theoretical Computer Science
The Definition and Implementation of a Computer Programming Language Based on Constraints
The Definition and Implementation of a Computer Programming Language Based on Constraints
Efficient implementation of lattice operations
ACM Transactions on Programming Languages and Systems (TOPLAS)
EQL: The Language and its Implementation
IEEE Transactions on Software Engineering
The family of concurrent logic programming languages
ACM Computing Surveys (CSUR)
EPS II: estate planning with prototypes
ICAIL '89 Proceedings of the 2nd international conference on Artificial intelligence and law
CLP and constraint abstraction
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Constraint logic programming languages
Communications of the ACM
Communications of the ACM
RSF: A Formalism for Executable Requirement Specifications
IEEE Transactions on Software Engineering
Concurrent constraint programming
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Kaleidoscope: mixing objects, constraints, and imperative programming
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Set abstraction in functional and logic programming
FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture
The semantic foundations of concurrent constraint programming
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
On the representation of infinite temporal data and queries (extended abstract)
PODS '91 Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A methodology for managing hard constraints in CLP systems
PLDI '91 Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation
A fully abstract semantics for a first-order functional language with logic variables
ACM Transactions on Programming Languages and Systems (TOPLAS)
Toward the partial evaluation of CLP languages
PEPM '91 Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Partial evaluation of pattern matching in constraint logic programming languages
PEPM '91 Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Equate: an object-oriented constraint solver
OOPSLA '91 Conference proceedings on Object-oriented programming systems, languages, and applications
The importance of pointer variables in constraint models
UIST '91 Proceedings of the 4th annual ACM symposium on User interface software and technology
A general framework for Bi-directional translation between abstract and pictorial data
UIST '91 Proceedings of the 4th annual ACM symposium on User interface software and technology
New hope on data models and types: report of an NSF-INRIA workshop
ACM SIGMOD Record - Directions for future database research & development
The CLP( R ) language and system
ACM Transactions on Programming Languages and Systems (TOPLAS)
A CLP(R) system for solving partial differential equations
SAC '92 Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's
Implementing deductive databases by linear programming
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
ConstraintLisp: an object-oriented constraint programming language
ACM SIGPLAN Notices
An abstract machine for CLP(R)
PLDI '92 Proceedings of the ACM SIGPLAN 1992 conference on Programming language design and implementation
POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A general framework for bidirectional translation between abstract and pictorial data
ACM Transactions on Information Systems (TOIS) - Special issue on user interface software and technology
Finite representation of infinite query answers
ACM Transactions on Database Systems (TODS)
Indexing for data models with constraints and classes (extended abstract)
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
The 3 R's of optimizing constraint logic programs: refinement, removal and reordering
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Quantifier elimination for formulas constrained by quadratic equations
ISSAC '93 Proceedings of the 1993 international symposium on Symbolic and algebraic computation
Queries, constraints, updates and transactions within a logic-based language
CIKM '93 Proceedings of the second international conference on Information and knowledge management
Z-module reasoning: an equality-oriented proving method with built-in ring axioms
Journal of the ACM (JACM)
Semantics of constraint logic programs with optimization
ACM Letters on Programming Languages and Systems (LOPLAS)
Proving concurrent constraint programs correct
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Analyzing logic programs with dynamic scheduling
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Backtracking without trailing in CLP (RLin)
PLDI '94 Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation
On solving equations and disequations
Journal of the ACM (JACM)
Integrating pointer variables into one-way constraint models
ACM Transactions on Computer-Human Interaction (TOCHI)
Temporal and modal logic programming: an annotated bibliography
ACM SIGART Bulletin
Compiling query constraints (extended abstract)
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Functions as passive constraints in LIFE
ACM Transactions on Programming Languages and Systems (TOPLAS)
A pragmatic approach to software synthesis
IDL '94 Proceedings of the workshop on Interface definition languages
Parallel logic programming systems
ACM Computing Surveys (CSUR)
Database querying and constraint programming
ACM SIGACT News
Implementing constraint imperative programming languages: the Kaleidoscope'93 virtual machine
OOPSLA '94 Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications
Mixed integer programming methods for computing nonmonotonic deductive databases
Journal of the ACM (JACM)
Phonological analysis in typed feature systems
Computational Linguistics - Special issue on computational phonology
Representing calendrical algorithms and data in Prolog and Prolog III languages
ACM SIGPLAN Notices
Backtracking without trailing in CLP ( RLin )
ACM Transactions on Programming Languages and Systems (TOPLAS)
Constraint programming and database languages: a tutorial
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
The replacement operation for CLP modules
PEPM '95 Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Structural totality and constraint stratification
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
The LyriC language: querying constraint objects
SIGMOD '95 Proceedings of the 1995 ACM SIGMOD international conference on Management of data
Efficient maintenance of materialized mediated views
SIGMOD '95 Proceedings of the 1995 ACM SIGMOD international conference on Management of data
Implementing deductive databases by mixed integer programming
ACM Transactions on Database Systems (TODS)
Global analysis of constraint logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Foundations of multimedia database systems
Journal of the ACM (JACM)
Perspectives on database theory
ACM SIGACT News
Chasing constrained tuple-generating dependencies
PODS '96 Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Static analysis of intensional databases in U-Datalog (extended abstract)
PODS '96 Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Optimization and relaxation in constraint logic languages
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Strategic directions in constraint programming
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Constraint solving and programming: what's next?
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
Semiring-based constraint satisfaction and optimization
Journal of the ACM (JACM)
Exploring dataflow testing of arrays
ICSE '93 Proceedings of the 15th international conference on Software Engineering
A transformation system for CLP with dynamic scheduling and CCP
PEPM '97 Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Proving concurrent constraint programs correct
ACM Transactions on Programming Languages and Systems (TOPLAS)
Models and languages for parallel computation
ACM Computing Surveys (CSUR)
Safe query languages for constraint databases
ACM Transactions on Database Systems (TODS)
Safe stratified Datalog with integer order does not have syntax
ACM Transactions on Database Systems (TODS)
Partial evaluation of concurrent constraint languages
ACM Computing Surveys (CSUR) - Special issue: electronic supplement to the September 1998 issue
Partial evaluation of functional logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
A logical model for relational abstract domains
ACM Transactions on Programming Languages and Systems (TOPLAS)
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Constraint query languages (preliminary report)
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Handling infinite temporal data
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A framework for combining analysis and verification
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Analytic constraint solving and interval arithmetic
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Formal Methods in System Design - Special issue on The First Federated Logic Conference (FLOC'96), part II
SAC '94 Proceedings of the 1994 ACM symposium on Applied computing
A modular architecture for constraint logic programming
CSC '91 Proceedings of the 19th annual conference on Computer Science
Implementing non-linear constraints with cooperative solvers
SAC '96 Proceedings of the 1996 ACM symposium on Applied Computing
Incremental querying in the concurrent CLP language IFD-Constraint Pandora
SAC '96 Proceedings of the 1996 ACM symposium on Applied Computing
Resource-bounded Relational Reasoning: Induction and Deduction Through Stochastic Matching
Machine Learning - Special issue on multistrategy learning
ACM Transactions on Programming Languages and Systems (TOPLAS)
Extending constraint logic programming with open functions
Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming
Automated systematic testing for constraint-based interactive services
SIGSOFT '00/FSE-8 Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications
Constraints and constraint solving: an introduction
Constraints in computational logics
Constraints in computational logics
Functional and constraint logic programming
Constraints in computational logics
Building industrial applications with constraint programming
Constraints in computational logics
Semiring-based constraint logic programming: syntax and semantics
ACM Transactions on Programming Languages and Systems (TOPLAS)
Logic-based artificial intelligence
Polynomial-time computation via local inference relations
ACM Transactions on Computational Logic (TOCL)
Annals of Mathematics and Artificial Intelligence
Extending constraint logic programming for temporal reasoning
Annals of Mathematics and Artificial Intelligence
Logic programs with stable model semantics as a constraint programming paradigm
Annals of Mathematics and Artificial Intelligence
Constraint Programming: Strategic Directions
Constraints
Constraint Solving and Programming: What Next?
Constraints
Negation as Failure as Resolution
Constraints
A Methodological View of Constraint Solving
Constraints
SALSA: A Language for Search Algorithms
Constraints
Toupie: The µ-calculus over Finite Domains as a Constraint Language
Journal of Automated Reasoning
Reasoning about Solids Using Constraint Logic Programming
Journal of Automated Reasoning
Mathematical Programming Embeddings of Logic
Journal of Automated Reasoning
Soft Constraint Logic Programming and Generalized Shortest Path Problems
Journal of Heuristics
A Survey of Automated Timetabling
Artificial Intelligence Review
Consul: A Parallel Constraint Language
IEEE Software
Constraint-Based Query Evaluation in Deductive Databases
IEEE Transactions on Knowledge and Data Engineering
IEEE Transactions on Knowledge and Data Engineering
IEEE Transactions on Knowledge and Data Engineering
Transactions and Updates in Deductive Databases
IEEE Transactions on Knowledge and Data Engineering
Dynamic Programming in Datalog with Aggregates
IEEE Transactions on Knowledge and Data Engineering
A Constraint-Satisfaction Approach to Clerical Work
IEEE Intelligent Systems
Predictive Personnel Management
IEEE Intelligent Systems
IEEE Intelligent Systems
On proving left termination of constraint logic programs
ACM Transactions on Computational Logic (TOCL)
Incorporating decision procedures in implicit induction
Journal of Symbolic Computation - Integrated reasoning and algebra systems
Static Analysis of Logical Languages with Deferred Update Semantics
IEEE Transactions on Knowledge and Data Engineering
Temporal concurrent constraint programming: denotation, logic and applications
Nordic Journal of Computing
Proving the Equivalence of CLP Programs
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Propagation Completeness of Reactive Constraints
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Partial Information in Multimodal Dialogue
ICMI '00 Proceedings of the Third International Conference on Advances in Multimodal Interfaces
Fuzzy Prolog: A Simple General Implementation Using CLP(R)
LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
CLIP: A CLP(Intervals) Dialect for Metalevel Constraint Solving
PADL '00 Proceedings of the Second International Workshop on Practical Aspects of Declarative Languages
Modeling Engineering Structures with Constrained Objects
PADL '02 Proceedings of the 4th International Symposium on Practical Aspects of Declarative Languages
Reformulation and Approximation in Model Checking
SARA '02 Proceedings of the 4th International Symposium on Abstraction, Reformulation, and Approximation
Toward Practical Constraint Databases
VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
The Alma Project, or How First-Order Logic Can Help Us in Imperative Programming
Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Combining Constraints and Consistency Techniques in Knowledge-Based Expert Systems
ADVIS '00 Proceedings of the First International Conference on Advances in Information Systems
Object-Oriented Constraint Programming with J.CP
MICAI '02 Proceedings of the Second Mexican International Conference on Artificial Intelligence: Advances in Artificial Intelligence
Combining Constraint Logic Programming Techniques for Solving Linear Problems
Selected papers from the Joint ERCIM/Compulog Net Workshop on New Trends in Contraints
Interval Constraints: Results and Perspectives
Selected papers from the Joint ERCIM/Compulog Net Workshop on New Trends in Contraints
FroCoS '02 Proceedings of the 4th International Workshop on Frontiers of Combining Systems
A Foundation for Hybrid Knowledge Bases
Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science
Applying Static Analysis Techniques for Inferring Termination Conditions of Logic Programs
SAS '01 Proceedings of the 8th International Symposium on Static Analysis
SALSA: A Language for Search Algorithms
CP '98 Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming
A Generic Model and Hybrid Algorithm for Hoist Scheduling Problems
CP '98 Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming
Safe Datalog Queries with Linear Constraints
CP '98 Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming
A Constraint-Based Framework for Prototyping Distributed Virtual Applications
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
Modelling Digital Circuits Problems with Set Constraints
CL '00 Proceedings of the First International Conference on Computational Logic
Constraint Logic Programming for Local and Symbolic Model-Checking
CL '00 Proceedings of the First International Conference on Computational Logic
PN to CSP Methodology: Improved Bounds
CCIA '02 Proceedings of the 5th Catalonian Conference on AI: Topics in Artificial Intelligence
CP '98 Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming
Precise goal-independent abstract interpretation of constraint logic programs
Theoretical Computer Science
A retrospective on constraint databases
PCK50 Proceedings of the Paris C. Kanellakis memorial workshop on Principles of computing & knowledge: Paris C. Kanellakis memorial workshop on the occasion of his 50th birthday
PCK50 Proceedings of the Paris C. Kanellakis memorial workshop on Principles of computing & knowledge: Paris C. Kanellakis memorial workshop on the occasion of his 50th birthday
A new framework for declarative programming
Theoretical Computer Science
Constraints-based access control
Das'01 Proceedings of the fifteenth annual working conference on Database and application security
Proceedings of the 16th IEEE international conference on Automated software engineering
Constraint contextual rewriting
Journal of Symbolic Computation - Special issue: First order theorem proving
Journal of Automated Reasoning
PPPJ '03 Proceedings of the 2nd international conference on Principles and practice of programming in Java
Non-linear loop invariant generation using Gröbner bases
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
SyDeR—System design for reusability
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Category-based constraint logic
Mathematical Structures in Computer Science
Optimal Models of Disjunctive Logic Programs: Semantics, Complexity, and Computation
IEEE Transactions on Knowledge and Data Engineering
Constraint programming and maths programming
The Knowledge Engineering Review
A decomposition-based implementation of search strategies
ACM Transactions on Computational Logic (TOCL)
Processing language with logical types and active constraints
EACL '91 Proceedings of the fifth conference on European chapter of the Association for Computational Linguistics
An algorithm for plan recognition in collaborative discourse
ACL '91 Proceedings of the 29th annual meeting on Association for Computational Linguistics
A constraint satisfaction approach to predicting skilled interactive cognition
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Polymorphic lemmas and definitions in $\lambda$Prolog and Twelf
Theory and Practice of Logic Programming
Constraint Logic Programming with Hereditary Harrop formulas
Theory and Practice of Logic Programming
Distributed WWW programming using (Ciao-)Prolog and the PiLLoW library
Theory and Practice of Logic Programming
A Logical Approach to Quality of Service Specification in Video Databases
Multimedia Tools and Applications
Automatic software model checking via constraint logic
Science of Computer Programming - Special issue on 12th European symposium on programming (ESOP 2003)
Achieving flexibility in unification formalisms
COLING '94 Proceedings of the 15th conference on Computational linguistics - Volume 2
Morphology with a null-interface
COLING '94 Proceedings of the 15th conference on Computational linguistics - Volume 1
A lazy narrowing calculus for declarative constraint programming
PPDP '04 Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming
Typing constraint logic programs
Theory and Practice of Logic Programming
A logic-based framework for attribute based access control
Proceedings of the 2004 ACM workshop on Formal methods in security engineering
Constraint Solving for Proof Planning
Journal of Automated Reasoning
Dealing with incomplete knowledge on CLP(FD) variable domains
ACM Transactions on Programming Languages and Systems (TOPLAS)
Machine Learning
Nontermination inference of logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
A semantic framework for the abstract model checking of tccp programs
Theoretical Computer Science - Quantitative aspects of programming languages (QAPL 2004)
Generation of test sequences from formal specifications: GSM 11-11 standard case study
Software—Practice & Experience
Propositional Satisfiability and Constraint Programming: A comparative survey
ACM Computing Surveys (CSUR)
Interpreting vague utterances in context
COLING '04 Proceedings of the 20th international conference on Computational Linguistics
A grammar of integrity constraints in medical documentation systems
Computer Methods and Programs in Biomedicine
Integration of declarative and constraint programming
Theory and Practice of Logic Programming
A new generic scheme for functional logic programming with constraints
Higher-Order and Symbolic Computation
Programmed Search in a Timetabling Problem over Finite Domains
Electronic Notes in Theoretical Computer Science (ENTCS)
Optimized integration of test compression and sharing for SOC testing
Proceedings of the conference on Design, automation and test in Europe
A logical framework for scheduling workflows under resource allocation constraints
VLDB '02 Proceedings of the 28th international conference on Very Large Data Bases
Automatic generation of test data generators for synchronous programs: Lutess V2
Workshop on Domain specific approaches to software test automation: in conjunction with the 6th ESEC/FSE joint meeting
Hm(x) type inference is clp(x) solving
Journal of Functional Programming
Thermal-Aware SoC Test Scheduling with Test Set Partitioning and Interleaving
Journal of Electronic Testing: Theory and Applications
Model-driven constraint programming
Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming
Tchr: A framework for tabled clp
Theory and Practice of Logic Programming
Concurrency, Graphs and Models
Semiring-Based Soft Constraints
Concurrency, Graphs and Models
Constrained types for object-oriented languages
Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
CMSB '08 Proceedings of the 6th International Conference on Computational Methods in Systems Biology
Developing a labelled object-relational constraint database architecture for the projection operator
Data & Knowledge Engineering
Properties of General Semantic Operators Determined by Logic-Based Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Automatic construction of simple artifact-based business processes
Proceedings of the 12th International Conference on Database Theory
Vivid: A framework for heterogeneous problem solving
Artificial Intelligence
Gorgias-C: Extending Argumentation with Constraint Solving
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Oz: a programming language for multi-agent systems
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Semiring-based constraint logic programming
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
Composition in hierarchical CLP
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Termination of narrowing revisited
Theoretical Computer Science
Local consistency for extended CSPs
Theoretical Computer Science
On the cooperation of the constraint domains ℋ, ℛ, and ℱ in cflp
Theory and Practice of Logic Programming
A scheme for integrating concrete domains into concept languages
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Logic programming in artificial intelligence
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Building theories into instantiation
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Efficient parameterizable type expansion for typed feature formalisms
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Automatic Proofs of Termination With Elementary Interpretations
Electronic Notes in Theoretical Computer Science (ENTCS)
Constraint Functional Logic Programming Revisited
Electronic Notes in Theoretical Computer Science (ENTCS)
Monadic constraint programming
Journal of Functional Programming
The constraint database approach to software verification
VMCAI'07 Proceedings of the 8th international conference on Verification, model checking, and abstract interpretation
Automatic software model checking using CLP
ESOP'03 Proceedings of the 12th European conference on Programming
Constraint processing offers improved expressiveness and inference for interactive expert systems
ERCIM'02/CologNet'02 Proceedings of the 2002 Joint ERCIM/CologNet international conference on Constraint solving and constraint logic programming
POOC: a platform for object-oriented constraint programming
ERCIM'02/CologNet'02 Proceedings of the 2002 Joint ERCIM/CologNet international conference on Constraint solving and constraint logic programming
Constraint solving over OCR graphs
INAP'01 Proceedings of the Applications of prolog 14th international conference on Web knowledge management and decision support
CDB-PV: a constraint database-based program verifier
SARA'07 Proceedings of the 7th International conference on Abstraction, reformulation, and approximation
Multi-paradigm declarative languages
ICLP'07 Proceedings of the 23rd international conference on Logic programming
FLOPS'08 Proceedings of the 9th international conference on Functional and logic programming
Integer optimization by local search: a domain-independent approach
Integer optimization by local search: a domain-independent approach
A declarative agent programming language based on action theories
FroCoS'09 Proceedings of the 7th international conference on Frontiers of combining systems
Autonomous dynamic reconfiguration in multi-agent systems: improving the quality and efficiency of collaborative problem solving
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
A declarative semantics for clp with qualification and proximity*
Theory and Practice of Logic Programming
CP as a general-purpose constraint-language
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
CP as a general-purpose constraint-language
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Using constraints to model disjunctions in rule-based reasoning
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
The complexity of constraint satisfaction in prolog
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Nondeterministic lisp as a substrate for constraint logic programming
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Reasoning precisely with vague concepts
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Integrating a spatial reasoner with a resolution theorem-prover
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Theoretical foundations and semantics of logic programming
A 25-year perspective on logic programming
A 25-year perspective on logic programming
Concurrent and reactive constraint programming
A 25-year perspective on logic programming
Handling State-Machines Specifications with GATeL
Electronic Notes in Theoretical Computer Science (ENTCS)
Multi-agent systems: modeling and verification using hybrid automata
ProMAS'09 Proceedings of the 7th international conference on Programming multi-agent systems
A declarative language approach to device configuration
Proceedings of the sixteenth international conference on Architectural support for programming languages and operating systems
Constraint programming and genetic algorithms to solve layout design problem
EC'05 Proceedings of the 6th WSEAS international conference on Evolutionary computing
CLP projection for constraint handling rules
Proceedings of the 13th international ACM SIGPLAN symposium on Principles and practices of declarative programming
ICLP'05 Proceedings of the 21st international conference on Logic Programming
CoJava: optimization modeling by nondeterministic simulation
CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
Adding constraint solving to mercury
PADL'06 Proceedings of the 8th international conference on Practical Aspects of Declarative Languages
Disjunctive constraint lambda calculi
LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
POPL '12 Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Declarative programming with function patterns
LOPSTR'05 Proceedings of the 15th international conference on Logic Based Program Synthesis and Transformation
Probabilistic space partitioning in constraint logic programming
ASIAN'04 Proceedings of the 9th Asian Computing Science conference on Advances in Computer Science: dedicated to Jean-Louis Lassez on the Occasion of His 5th Cycle Birthday
Rule-based programming and proving: the ELAN experience outcomes
ASIAN'04 Proceedings of the 9th Asian Computing Science conference on Advances in Computer Science: dedicated to Jean-Louis Lassez on the Occasion of His 5th Cycle Birthday
A Declarative Language Approach to Device Configuration
ACM Transactions on Computer Systems (TOCS) - Special Issue APLOS 2011
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Testing concurrent systems: an interpretation of intuitionistic logic
FSTTCS '05 Proceedings of the 25th international conference on Foundations of Software Technology and Theoretical Computer Science
Representing and reasoning with operational semantics
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
Verifying the incorrectness of programs and automata
SARA'05 Proceedings of the 6th international conference on Abstraction, Reformulation and Approximation
On the implementation of gnu prolog
Theory and Practice of Logic Programming - Prolog Systems
The expressivity of constraint query languages with boolean algebra linear cardinality constraints
ADBIS'05 Proceedings of the 9th East European conference on Advances in Databases and Information Systems
Specializing narrowing for timetable generation: a case study
PADL'05 Proceedings of the 7th international conference on Practical Aspects of Declarative Languages
Explaining constraint programming
Processes, Terms and Cycles
CSCLP'05 Proceedings of the 2005 Joint ERCIM/CoLogNET international conference on Constraint Solving and Constraint Logic Programming
The attributed pi-calculus with priorities
Transactions on Computational Systems Biology XII
ARMC: the logical choice for software model checking with abstraction refinement
PADL'07 Proceedings of the 9th international conference on Practical Aspects of Declarative Languages
WFLP'09 Proceedings of the 18th international conference on Functional and Constraint Logic Programming
Formal reasoning about software object translations
Monterey'08 Proceedings of the 15th Monterey conference on Foundations of Computer Software: future Trends and Techniques for Development
Querying and updating constraint databases with incomplete information
ADBIS'97 Proceedings of the First East-European conference on Advances in Databases and Information systems
Paper: The representation of medical reasoning models in resolution-based theorem provers
Artificial Intelligence in Medicine
Paper: A constraint logic programming framework for constructing DNA restriction maps
Artificial Intelligence in Medicine
Paper: A causal and temporal reasoning model and its use in drug therapy applications
Artificial Intelligence in Medicine
Computer Languages
A survey of constraint-based programming paradigms
Computer Science Review
The finite domain constraint solver of SWI-Prolog
FLOPS'12 Proceedings of the 11th international conference on Functional and Logic Programming
An Open Automated Framework for Constraint Solver Extension: the SoleX Approach
Fundamenta Informaticae
Executing Suspended Logic Programs
Fundamenta Informaticae
Rule-Based Constraint Programming
Fundamenta Informaticae
Distributed Concurrent Constraint Programming
Fundamenta Informaticae
Engineering Applications of Artificial Intelligence
Representing and monitoring social commitments using the event calculus
Autonomous Agents and Multi-Agent Systems
Synthesis modulo recursive functions
Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications
Inference for a new probabilistic constraint logic
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Linear time-dependent constraints programming with MSVL
Journal of Combinatorial Optimization
Hi-index | 0.03 |
We address the problem of designing programming systems to reason with and about constraints. Taking a logic programming approach, we define a class of programming languages, the CLP languages, all of which share the same essential semantic properties. From a conceptual point of view, CLP programs are highly declarative and are soundly based within a unified framework of formal semantics. This framework not only subsumes that of logic programming, but satisfies the core properties of logic programs more naturally. From a user's point of view, CLP programs have great expressive power due to the constraints which they naturally manipulate. Intuition in the reasoning about programs is enhanced as a result of working directly in the intended domain of discourse. This contrasts with working in the Herbrand Universe wherein every semantic object has to be explicitly coded into a Herbrand term; this enforces reasoning at a primitive level. Finally, from an implementor's point of view, CLP systems can be efficient because of the exploitation of constraint solving techniques over specific domains.