Toward the partial evaluation of CLP languages
PEPM '91 Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Towards a theory of spatial database queries (extended abstract)
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Database querying and constraint programming
ACM SIGACT News
The LyriC language: querying constraint objects
SIGMOD '95 Proceedings of the 1995 ACM SIGMOD international conference on Management of data
In memoriam Paris C. Kanellakis
ACM Computing Surveys (CSUR)
Perspectives on database theory
ACM SIGACT News
Relational expressive power of constraint query languages
PODS '96 Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Linear vs. order constraint queries over rational databases (extended abstract)
PODS '96 Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Variable independence and aggregation closure
PODS '96 Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Chasing constrained tuple-generating dependencies
PODS '96 Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Strategic directions in constraint programming
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Constraint databases: promising technology or just intellectual exercise?
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
Uniform quantifier elimination and constraint query processing
ISSAC '97 Proceedings of the 1997 international symposium on Symbolic and algebraic computation
On the containment and equivalence of database queries with linear constraints (extended abstract)
PODS '97 Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Complete geometrical query languages (extended abstract)
PODS '97 Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
PODS '97 Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Languages for relational databases over interpreted structures
PODS '97 Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Relational expressive power of constraint query languages
Journal of the ACM (JACM)
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
An expressive language for linear spatial database queries
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Complexity of nonrecursive logic programs with complex values
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
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)
A constrant-based spatial extension to SQL
Proceedings of the 6th ACM international symposium on Advances in geographic information systems
Abstract and discrete modeling of spatio-temporal data types
Proceedings of the 6th ACM international symposium on Advances in geographic information systems
Exact and approximate aggregation in constraint query languages
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Queryable acyclic production systems
Proceedings of the eighth international conference on Information and knowledge management
Reachability and connectivity queries in constraint databases
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Fixed-point query languages for linear constraint databases
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Linear approximation of planar spatial databases using transitive-closure logic
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Uniform generation in spatial constraint databases and applications (Extended abstract)
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Relational queries over interpreted structures
Journal of the ACM (JACM)
On the orthographic dimension of definable sets
Information Processing Letters
Complexity and expressive power of logic programming
ACM Computing Surveys (CSUR)
Tractable disjunctions of linear constraints: basic results and applications to temporal reasoning
Theoretical Computer Science
A framework for data mining and KDD
Proceedings of the 2002 ACM symposium on Applied computing
On moving object queries: (extended abstract)
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Enhancing GISs for spatio-temporal reasoning
Proceedings of the 10th ACM international symposium on Advances in geographic information systems
Efficient Querying and Animation of Periodic Spatio-Temporal Databases
Annals of Mathematics and Artificial Intelligence
Querying Temporal Constraint Networks: A Unifying Approach
Applied Intelligence
Constraint Programming: Strategic Directions
Constraints
Refining Restriction Enzyme Genome Maps
Constraints
Reasoning about Solids Using Constraint Logic Programming
Journal of Automated Reasoning
A Taxonomy of Spatial Data Integrity Constraints
Geoinformatica
Spatio-Temporal Data Handling with Constraints
Geoinformatica
A Knowledge-Based Approach to Visual Information
Journal of Intelligent Information Systems
The VLDB Journal — The International Journal on Very Large Data Bases - Prototypes of deductive database systems
An Extended Algebra for Constraint Databases
IEEE Transactions on Knowledge and Data Engineering
Dynamic Programming in Datalog with Aggregates
IEEE Transactions on Knowledge and Data Engineering
IEEE Transactions on Knowledge and Data Engineering
A Database Approach for Modeling and Querying Video Data
IEEE Transactions on Knowledge and Data Engineering
On query optimization in a temporal SPC algebra
Data & Knowledge Engineering - Special issue: Temporal representation and reasoning
Parametric Rectangles: A Model for Querying and Animation of Spatiotemporal Databases
EDBT '00 Proceedings of the 7th International Conference on Extending Database Technology: Advances in Database Technology
Querying with Intrinsic Preferences
EDBT '02 Proceedings of the 8th International Conference on Extending Database Technology: Advances in Database Technology
On Capturing First-Order Topological Properties of Planar Spatial Databases
ICDT '99 Proceedings of the 7th International Conference on Database Theory
On the Orthographic Dimension of Constraint Databases
ICDT '99 Proceedings of the 7th International Conference on Database Theory
Deciding Termination of Query Evaluation in Transitive-Closure Logics for Constraint Databases
ICDT '03 Proceedings of the 9th International Conference on Database Theory
Operational Semantics for Fixed-Point Logics on Constraint Databases
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Query Languages for Real Number Databases Based on Descriptive Complexity over R
MFCS '99 Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science
Spatio-temporal Annotated Constraint Logic Programming
PADL '01 Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages
Constraint Database Models Characterizing Timed Bisimilarity
PADL '01 Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages
DATALOG with Constraints: A Foundation for Trust Management Languages
PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
Approximating Data in Constraint Databases
SARA '02 Proceedings of the 4th International Symposium on Abstraction, Reformulation, and Approximation
Reformulation and Approximation in Model Checking
SARA '02 Proceedings of the 4th International Symposium on Abstraction, Reformulation, and Approximation
The 3W Model and Algebra for Unified Data Mining
VLDB '00 Proceedings of the 26th International Conference on Very Large Data Bases
MuTACLP: A Language for Temporal Reasoning with Multiple Theories
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
A Framework for Goal-Directed Bottom-Up Evaluation of Functional Logic Programs
FLOPS '01 Proceedings of the 5th International Symposium on Functional and Logic Programming
Animating Spatiotemporal Constraint Databases
STDBM '99 Proceedings of the International Workshop on Spatio-Temporal Database Management
STDBM '99 Proceedings of the International Workshop on Spatio-Temporal Database Management
Approximation Techniques for Indexing Two-Dimensional Constraint Databases
DASFAA '99 Proceedings of the Sixth International Conference on Database Systems for Advanced Applications
A Nondeterministic Polynomial-Time Unification Algorithm for Bags, Sets and Trees
FoSSaCS '99 Proceedings of the Second International Conference on Foundations of Software Science and Computation Structure, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99
Constraint (Logic) Programming: A Survey on Research and Applications
Selected papers from the Joint ERCIM/Compulog Net Workshop on New Trends in Contraints
A Comparison of Spatio-temporal Interpolation Methods
GIScience '02 Proceedings of the Second International Conference on Geographic Information Science
Composing Cardinal Direction Relations
SSTD '01 Proceedings of the 7th International Symposium on Advances in Spatial and Temporal Databases
Moving Objects: Logical Relationships and Queries
SSTD '01 Proceedings of the 7th International Symposium on Advances in Spatial and Temporal Databases
Introducing External Functions in Constraint Query Languages
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
Efficient Querying of Periodic Spatiotemporal Objects
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
MuTACLP: A Language for Declarative GIS Analysis
CL '00 Proceedings of the First International Conference on Computational Logic
Descriptive Complexity Theory for Constraint Databases
CSL '99 Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic
Definability over Linear Constraints
Proceedings of the 14th Annual Conference of the EACSL on Computer Science Logic
Applications of Alfred Tarski's Ideas in Database Theory
CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic
A Representation Independent Language for Planar Spatial Databases with Euclidean Distance
DBPL '99 Revised Papers from the 7th International Workshop on Database Programming Languages: Research Issues in Structured and Semistructured Database Programming
DBPL '01 Revised Papers from the 8th International Workshop on Database Programming Languages
Modelling uncertainty in multimedia database systems: an extended possibilistic approach
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
Set constraints with intersection
Information and Computation - Special issue: LICS'97
In Memoriam: Paris C. Kanellakis
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 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
Extending the constraint database framework
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
On the Structure of Queries in Constraint Query Languages
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Complexity and Expressive Power of Logic Programming
CCC '97 Proceedings of the 12th Annual IEEE Conference on Computational Complexity
Reachability and connectivity queries in constraint databases
Journal of Computer and System Sciences - Special issue on PODS 2000
WISE '00 Proceedings of the First International Conference on Web Information Systems Engineering (WISE'00)-Volume 2 - Volume 2
Variable independence for first-order definable constraints
ACM Transactions on Computational Logic (TOCL)
Classes of Spatio-Temporal Objects and their Closure Properties
Annals of Mathematics and Artificial Intelligence
Variable Independence in Constraint Databases
IEEE Transactions on Knowledge and Data Engineering
Preference formulas in relational queries
ACM Transactions on Database Systems (TODS)
Composing cardinal direction relations
Artificial Intelligence
A Logical Approach to Quality of Service Specification in Video Databases
Multimedia Tools and Applications
An expressive language for linear spatial database queries
Journal of Computer and System Sciences
A characterization of first-order topological properties of planar spatial data
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
On the consistency of cardinal direction constraints
Artificial Intelligence
Theoretical Computer Science - Database theory
The relationship among GIS-oriented spatiotemporal databases
dg.o '03 Proceedings of the 2003 annual national conference on Digital government research
DOAS: a drought online analysis system with constraint databases
dg.o '04 Proceedings of the 2004 annual national conference on Digital government research
A characterization of first-order topological properties of planar spatial data
Journal of the ACM (JACM)
Database query languages and functional logic programming
New Generation Computing
Uniform generation in spatial constraint databases and applications
Journal of Computer and System Sciences
Spatiotemporal reasoning about epidemiological data
Artificial Intelligence in Medicine
Integration of declarative and constraint programming
Theory and Practice of Logic Programming
A representation independent language for planar spatial databases with Euclidean distance
Journal of Computer and System Sciences
Database querying under changing preferences
Annals of Mathematics and Artificial Intelligence
First-order complete and computationally complete query languages for spatio-temporal databases
ACM Transactions on Computational Logic (TOCL)
Querying continuous functions in a database system
Proceedings of the 2008 ACM SIGMOD international conference on Management of data
Algorithms and data structures for external memory
Foundations and Trends® in Theoretical Computer Science
Tchr: A framework for tabled clp
Theory and Practice of Logic Programming
QUESTO: A Query Language for Uncertain and Exact Spatio-temporal Objects
ADBIS '08 Proceedings of the 12th East European conference on Advances in Databases and Information Systems
Automatic construction of simple artifact-based business processes
Proceedings of the 12th International Conference on Database Theory
Satisfiability and relevance for queries over active documents
Proceedings of the twenty-eighth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Temporal Data Classification Using Linear Classifiers
ADBIS '09 Proceedings of the 13th East European Conference on Advances in Databases and Information Systems
On the consistency of cardinal direction constraints
Artificial Intelligence
A comparison of abstract data type and constraint database approaches to GIS query languages
Proceedings of the 17th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems
Artifact-Centric Workflow Dominance
ICSOC-ServiceWave '09 Proceedings of the 7th International Joint Conference on Service-Oriented Computing
The constraint database approach to software verification
VMCAI'07 Proceedings of the 8th international conference on Verification, model checking, and abstract interpretation
SQLST: a spatio-temporal data model and query language
ER'00 Proceedings of the 19th international conference on Conceptual modeling
CDB-PV: a constraint database-based program verifier
SARA'07 Proceedings of the 7th International conference on Abstraction, reformulation, and approximation
Spatial-yap: a logic-based geographic information system
ICLP'07 Proceedings of the 23rd international conference on Logic programming
Classification integration and reclassification using constraint databases
Artificial Intelligence in Medicine
A linear-programming approach to temporal reasoning
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Temporal data classification using linear classifiers
Information Systems
MLPQ: a linear constraint database system with aggregate operators
IDEAS'97 Proceedings of the 1997 international conference on International database engineering and applications symposium
Contracting preference relations for database applications
Artificial Intelligence
Expressive power of query languages for constraint complex value databases
DASFAA'11 Proceedings of the 16th international conference on Database systems for advanced applications: Part II
Efficient traffic crash and snow complaint GIS system
Proceedings of the 12th Annual International Digital Government Research Conference: Digital Government Innovation in Challenging Times
CLP(QS): a declarative spatial reasoning framework
COSIT'11 Proceedings of the 10th international conference on Spatial information theory
ICICS'06 Proceedings of the 8th international conference on Information and Communications Security
Trust management with safe privilege propagation
APPT'05 Proceedings of the 6th international conference on Advanced Parallel Processing Technologies
Distributed access control for grid environments using trust management approach
ISPA'05 Proceedings of the 2005 international conference on Parallel and Distributed Processing and Applications
Inconsistency issues in spatial databases
Inconsistency Tolerance
Verifying the incorrectness of programs and automata
SARA'05 Proceedings of the 6th international conference on Abstraction, Reformulation and Approximation
Constraint-based melody representation
CMMR'04 Proceedings of the Second international conference on Computer Music Modeling and Retrieval
Iterative modification and incremental evaluation of preference queries
FoIKS'06 Proceedings of the 4th international conference on Foundations of Information and Knowledge Systems
Pattern based management: data models and architectural aspects
EDBT'04 Proceedings of the 2004 international conference on Current Trends in Database Technology
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
Towards more controllable and practical delegation
MMM-ACNS'05 Proceedings of the Third international conference on Mathematical Methods, Models, and Architectures for Computer Network Security
Deductive and inductive reasoning on spatio-temporal data
INAP'04/WLP'04 Proceedings of the 15th international conference on Applications of Declarative Programming and Knowledge Management, and 18th international conference on Workshop on Logic Programming
ESWC'10 Proceedings of the 7th international conference on The Semantic Web: research and Applications - Volume Part I
A general implementation framework for tabled CLP
FLOPS'12 Proceedings of the 11th international conference on Functional and Logic Programming
A sound and complete chase procedure for constrained tuple-generating dependencies
Journal of Intelligent Information Systems
A temporal-probabilistic database model for information extraction
Proceedings of the VLDB Endowment
Hi-index | 0.00 |