MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Datalog and Constraints." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

43 documents found, showing 1 through 10. Next 10 →

ATOM

dcs: An Implementation of DATALOG with Constraints
by Deborah East, Miroslaw Truszczynski — 2000
…dcs: An Implementation of DATALOG with Constraints Deborah East and Miros/law Truszczy…
Cited by 16 (0 self) – Add To MetaCart

Datalog and constraint satisfaction with infinite templates
by Manuel Bodirsky, Víctor Dalmau — 2006 — In Proceedings of the 23rd International Symposium on Theoretical Aspects of Computer Science (STACS’06), LNCS 3884
…Datalog and Constraint Satisfaction with Infinite Templates Manuel Bodirsky 1 and Víctor Dalmau 2…
Cited by 13 (8 self) – Add To MetaCart

Datalog with Constraints: A Foundation for Trust Management Languages
by Ninghui Li, John C. Mitchell — 2003 — In PADL ’03: Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
…Datalog with Constraints: A Foundation for Trust Management Languages Ninghui Li and John C…
Cited by 62 (7 self) – Add To MetaCart

DATALOG with constraints -- an answer-set programming system
by Deborah East, Mirosław Truszczynski — 2000 — Proceedings of the 17th National Conference on Arti Intelligence
…DATALOG with constraints --- an answer-set programming system Deborah East and Mirosl/aw Truszczy…
Cited by 1 (0 self) – Add To MetaCart

Symmetric Datalog and constraint satisfaction problems in Logspace
by László Egri, Benoit Larose — 2007 — In LICS’07
…Symmetric Datalog and Constraint Satisfaction Problems in Logspace ∗ László Egri McGill University…
Cited by 4 (3 self) – Add To MetaCart

Memoing Evaluation for Constraint Extensions of Datalog
by David Toman, Raghu Ramakrishnan, Peter Stuckey — 1997 — Constraints
…, Boston. Manufactured in The Netherlands. Memoing Evaluation for Constraint Extensions of Datalog * DAVID…
Cited by 18 (2 self) – Add To MetaCart

Safe Datalog Queries with Linear Constraints
by Peter Z. Revesz, Peter Z. Revesz — 1998 — In Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming (CP98), number 1520 in LNCS
…Safe Datalog Queries with Linear Constraints ? Peter Z. Revesz Department of Computer Science…
Cited by 7 (2 self) – Add To MetaCart

Towards a constraint deductive database language based on hereditary harrop formulas
by S. Nieva, F. Sáenz-pérez, J. Sánchez-hernández — 2006 — Sextas Jornadas de Programación y Lenguajes, PROLE
… recursive views. In addition, the use of constraints permits of modelling infinite databases, as in Datalog…
Cited by 1 (1 self) – Add To MetaCart

A Tabulation Algorithm for CLP Revised Report
by Fred Mesnard, Sebastien Hoarau
… be powerful tool in many areas. The technique has been lifted to constraint extensions of Datalog…
Add To MetaCart

Static Analysis of JAVA Programs in a Rule–Based Framework 1
by M. Alpuente, M. A. Feliú, C. Joubert, A. Villanueva
… involving dynamically created objects. After extracting an initial set of Datalog constraints about the Java…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB