Výsledky vyhledávání - "Constraint and logic programming"

No Cliques Allowed: The Next Step Towards BDD/FC Conjecture

Autoři: Larroque, Lucas Ostropolski-Nalewaja, Piotr Thomazo, Michaël

Přispěvatelé: Larroque, Lucas Ostropolski-Nalewaja, Piotr Thomazo, Michaël

Zdroj: Proceedings of the ACM on Management of Data. 3:1-20

Témata: Bounded Derivation Depth Property, CCS Concepts: Theory of computation → Constraint and logic programming Finite Model Theory Automated reasoning Logic and databases Chase, Logic and databases Chase, Automated reasoning, CCS Concepts, Finite unification sets, TGDs, FC/BDD Conjecture, Theory of computation → Constraint and logic programming, [INFO.INFO-DB] Computer Science [cs]/Databases [cs.DB], Existential Rules, Tuple Generating Dependencies, BDD, FO-Rewritability, Finite Model Theory, FUS, Finite Controllability

Popis souboru: application/pdf

Přístupová URL adresa: https://inria.hal.science/hal-05273623v1/document
https://inria.hal.science/hal-05273623v1
https://doi.org/10.1145/3725238

An approach to constraint inductive logic programming

Autoři: Lei Zheng Chunnian Liu Dong Jia a další

Zdroj: Lecture Notes in Computer Science ISBN: 9783540202561

Témata: 03 medical and health sciences, 0302 clinical medicine, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Přístupová URL adresa: https://ieeexplore.ieee.org/document/1259751/
https://link.springer.com/chapter/10.1007/978-3-540-39592-8_50
https://dblp.uni-trier.de/db/conf/ismis/ismis2003.html#ZhengLJZ03
http://ieeexplore.ieee.org/xpl/articleDetails.jsp?reload=true&arnumber=1259751&filter%3DAND%28p_IS_Number%3A28158%29

A Functorial Framework for Constraint Normal Logic Programming

Autoři: Fernando Orejas Edelmira Pasarella Paqui Lucio a další

Zdroj: Lecture Notes in Computer Science ISBN: 9783540354628

Témata: 0102 computer and information sciences, 0101 mathematics, 01 natural sciences

Přístupová URL adresa: http://www.sc.ehu.es/jiwlucap/festschrift_lncs3.pdf
http://www.sc.ehu.es/jiwlucap/festschrift_lncs3.pdf
https://dblp.uni-trier.de/db/journals/acs/acs16.html#LucioOPP08
https://core.ac.uk/display/20874064
https://rd.springer.com/chapter/10.1007/11780274_29
https://link.springer.com/chapter/10.1007%2F11780274_29
https://link.springer.com/content/pdf/10.1007%2F11780274_29.pdf

Constraint functional logic programming over finite domains

Autoři: Fernando Sáenz-Pérez Rafael del Vado-Virseda Antonio J. Fernández a další

Zdroj: Theory and Practice of Logic Programming. 7:537-582

Témata: FOS: Computer and information sciences, Computer Science - Programming Languages, D.3.2, D.3.3, 0202 electrical engineering, electronic engineering, information engineering, F.3.2, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Programming Languages (cs.PL)

Přístupová URL adresa: http://arxiv.org/pdf/cs/0601071
http://arxiv.org/abs/cs/0601071

A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming

Autoři: Antonio J. Fernández Mario Rodríguez-Artalejo R. del Vado-Vírseda a další

Zdroj: Electronic Notes in Theoretical Computer Science. 188:37-51

Témata: Cooperating Solvers, Functional Logic Programming, Implementation, Constraints, 0202 electrical engineering, electronic engineering, information engineering, Lazy Narrowing, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Theoretical Computer Science, Computer Science(all)

Přístupová URL adresa: https://core.ac.uk/display/82188877
http://gpd.sip.ucm.es/sonia/PROLE'06.pdf
https://dblp.uni-trier.de/db/journals/entcs/entcs188.html#MartinFHRSV07
https://www.sciencedirect.com/science/article/pii/S1571066107004793
https://www.sciencedirect.com/science/article/abs/pii/S1571066107004793

Constraint Functional Logic Programming Revisited

Autoři: Rafael del Vado Vírseda F. Javier López-Fraguas Mario Rodríguez-Artalejo

Zdroj: Electronic Notes in Theoretical Computer Science. 117:5-50

Témata: Logic Programming, Functional Programming, Constraints, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Theoretical Computer Science, Computer Science(all)

Přístupová URL adresa: https://www.sciencedirect.com/science/article/abs/pii/S1571066104052934
https://www.sciencedirect.com/science/article/pii/S1571066104052934
https://dblp.uni-trier.de/db/journals/entcs/entcs117.html#Lopez-FraguasRV05
https://core.ac.uk/display/82685587
http://gpd.sip.ucm.es/uploads/pdf/LMR05_RV-wrla04.pdf
https://www.sciencedirect.com/science/article/abs/pii/S1571066104052934#!

Cooperative constraint functional logic programming

Autoři: Mircea Marin Taro Suzuki Tetsuo Ida

Zdroj: Proceedings International Symposium on Principles of Software Evolution. :214-220

Témata: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Přístupová URL adresa: http://ieeexplore.ieee.org/document/913241/

a concurrent operational semantics for constraint functional logic programming

Autoři: del Vado Vírseda, Rafael Pérez Morente, Fernando García Toledo, Marcos Miguel a další

Přispěvatelé: del Vado Vírseda, Rafael Pérez Morente, Fernando García Toledo, Marcos Miguel a další

Témata: concurrent logic programming, Constraint logic programming, functional logic programming, ddc:004

Popis souboru: application/pdf

Přístupová URL adresa: https://drops.dagstuhl.de/opus/volltexte/2012/3618/pdf/16.pdf
https://dblp.uni-trier.de/db/conf/iclp/iclp2012.html#VirsedaMT12
https://drops.dagstuhl.de/opus/volltexte/2012/3618/
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.154

Constraint and Logic Programming: Ugo Montanari’s Main Contributions and Introduction to the Volume Section

Autoři: Francesca Rossi

Zdroj: Lecture Notes in Computer Science ISBN: 9783540686767

Přístupová URL adresa: https://link.springer.com/chapter/10.1007/978-3-540-68679-8_10
https://rd.springer.com/chapter/10.1007/978-3-540-68679-8_10
https://link.springer.com/content/pdf/10.1007%2F978-3-540-68679-8_10.pdf
https://dblp.uni-trier.de/db/conf/birthday/montanari2008.html#Rossi08

Proceedings of the 13th International Colloquium on Implementation of Constraint and LOgic Programming Systems

Autoři: Rocha, Ricardo Have, Christian Theil

Témata: Computer Science - Programming Languages, text

URL: http://arxiv.org/abs/1307.8389

Proceedings of the 12th International Colloquium on Implementation of Constraint and LOgic Programming Systems

Autoři: Angelopoulos, Nicos Bagnara, Roberto

Témata: Computer Science - Programming Languages, Computer Science - Artificial Intelligence, text

URL: http://arxiv.org/abs/1302.0126

A Concurrent Operational Semantics for Constraint Functional Logic Programming

Témata: Constraint logic programming, concurrent logic programming, functional logic programming., Data processing Computer science, InProceedings, publishedVersion

A new Constraint Programming model for the Multiple Constant Multiplication

Autoři: Cantaloube, Théo Peng, Xiao Solnon, Christine a další

Přispěvatelé: Cantaloube, Théo Peng, Xiao Solnon, Christine a další

Témata: Hardware Optimization, Constraint and logic programming, [INFO] Computer Science [cs], Multiple Constant Multiplication, Constraint Programming, Theory of computation

Popis souboru: application/pdf

Přístupová URL adresa: https://hal.science/hal-05251229v1

Complexity of minimum-size arc-inconsistency explanations

Autoři: Bessiere, Christian Carbonnel, Clément Cooper, Martin C. a další

Přispěvatelé: Bessiere, Christian Carbonnel, Clément Cooper, Martin C. a další

Zdroj: Constraints. 28:427-449

Témata: [INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], Theory of computation → Problems, reductions and completeness, constraint propagation, Minimum explanations, Complexity, Constraint propagation, minimum explanations, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], Theory of computation → Fixed parameter tractability, Theory of computation → Constraint and logic programming, Fixed parameter tractability, Constraint programming, Constraint and logic programming, ddc:004, complexity

Popis souboru: application/pdf

Přístupová URL adresa: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CP.2022.9
https://hal-lirmm.ccsd.cnrs.fr/lirmm-03833388v1
https://hal-lirmm.ccsd.cnrs.fr/lirmm-03833388v1/document
https://doi.org/10.4230/lipics.cp.2022.9

Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming

Autoři: Mario Rodríguez Artalejo Rafael del Vado Vírseda Rafael Caballero

Zdroj: Lecture Notes in Computer Science ISBN: 9783540789680

Přístupová URL adresa: http://gpd.sip.ucm.es/rafa/papers/flops08.pdf
https://rd.springer.com/chapter/10.1007%2F978-3-540-78969-7_22
https://dl.acm.org/doi/10.5555/1788446.1788478
https://link.springer.com/chapter/10.1007%2F978-3-540-78969-7_22
http://gpd.sip.ucm.es/rafa/papers/flops08.pdf
https://core.ac.uk/display/20717619

Constraint Functional Logic Programming for Origami Construction

Autoři: Hidekazu Takahashi Tetsuo Ida Mircea Marin

Zdroj: Lecture Notes in Computer Science ISBN: 9783540205364

Přístupová URL adresa: https://dblp.uni-trier.de/db/conf/aplas/aplas2003.html#IdaMT03
https://link.springer.com/10.1007/978-3-540-40018-9_6
https://core.ac.uk/display/20766296
https://rd.springer.com/chapter/10.1007/978-3-540-40018-9_6
https://link.springer.com/chapter/10.1007%2F978-3-540-40018-9_6

Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming

Autoři: Mario Rodríguez Artalejo Rafael del Vado Vírseda Rafael Caballero

Zdroj: Lecture Notes in Computer Science ISBN: 9783540746089

Přístupová URL adresa: https://rd.springer.com/chapter/10.1007/978-3-540-74610-2_29
https://link.springer.com/chapter/10.1007%2F978-3-540-74610-2_29
https://dblp.uni-trier.de/db/conf/iclp/iclp2007.html#CaballeroRV07
http://gpd.sip.ucm.es/rafa/papers/crv07.pdf

A general scheme for constraint functional logic programming

Autoři: Francisco Javier López Fraguas

Zdroj: Lecture Notes in Computer Science ISBN: 354055873X

Přístupová URL adresa: https://rd.springer.com/chapter/10.1007/BFb0013828
https://dblp.uni-trier.de/db/conf/alp/alp92.html#Lopez-Fraguas92
https://link.springer.com/chapter/10.1007%2FBFb0013828

Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming

Autoři: Rafael Caballero Rafael del Vado Vírseda Mario Rodríguez Artalejo

Zdroj: Lecture Notes in Computer Science ISBN: 9783540366355

Přístupová URL adresa: http://gpd.sip.ucm.es/uploads/pdf/CRV06_RV-ICLP06.pdf
https://core.ac.uk/display/106175254
https://link.springer.com/chapter/10.1007%2F11799573_31
https://dblp.uni-trier.de/db/conf/iclp/iclp2006.html#CaballeroRV06
https://rd.springer.com/chapter/10.1007/11799573_31

Constraint Functional Logic Programming over Finite Domains

Autoři: Fernandez, Antonio J. Hortala-Gonzalez, Teresa Saenz-Perez, Fernando a další

Témata: Computer Science - Programming Languages, D.3.2, D.3.3, F.3.2, text

URL: http://arxiv.org/abs/cs/0601071