Speeding up operations on feature terms using constraint programming and variable symmetry

&
Artificial Intelligence 220 (C):104-120 (2015)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2014.11.010

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,127

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Computational molecular biology: A promising application using logic programming and constraint logic programming.J. Cohen - 1999 - In P. Brezillon & P. Bouquet (eds.), Lecture Notes in Artificial Intelligence. Springer.
Belief base change operations for answer set programming.Patrick Krümpelmann & Gabriele Kern-Isberner - 2012 - In Luis Farinas del Cerro, Andreas Herzig & Jerome Mengin (eds.), Logics in Artificial Intelligence. Springer. pp. 294--306.
SYM-1, a program that detects symmetry of variable-valued logic functions.Gerald M. Jensen - 1975 - Urbana: Dept of Computer Science, University of Illinois at Urbana-Champaign.
Handbook of Logic in Artificial Intelligence and Logic Programming.Dov M. Gabbay, Christopher John Hogger & J. A. Robinson - 1993
Category-based Semantics for Equational and Constraint Logic Programming.Răzvan Diaconescu - 1994
Predicting learners performance using artificial neural networks in linear programming intelligent tutoring system.Samy S. Abu Naser - 2012 - International Journal of Artificial Intelligence and Applications 3 (2):65.
Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings.Matthias Baaz & Andrei Voronkov - 2002 - Springer.
Artificial Intelligence in Simulation.Iván Futó & Tamás Gergely - 1990 - Prentice-Hall.
Finding orthogonal arrays using satisfiability checkers and symmetry breaking constraints.Feifei Ma & Jian Zhang - 2008 - In Tu-Bao Ho & Zhi-Hua Zhou (eds.), Pricai 2008: Trends in Artificial Intelligence. Springer. pp. 247--259.
Programming with Constraints: An Introduction.Kim Marriott & Peter J. Stuckey - 1998 - MIT Press.

Analytics

Added to PP
2020-12-22

Downloads
4 (#1,644,260)

6 months
2 (#1,259,876)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

The domain of set-valued feature structures.M. Andrew Moshier & Carl J. Pollard - 1994 - Linguistics and Philosophy 17 (6):607-631.

Add more references