Search dblp for Publications

export results for "toc:db/conf/aisc/aisc2014.bht:"

 download as .bib file

@inproceedings{DBLP:conf/aisc/Aransay-AzofraDHLPRR14,
  author       = {Jes{\'{u}}s Aransay{-}Azofra and
                  Jose Divas{\'{o}}n and
                  J{\'{o}}nathan Heras and
                  Laureano Lamb{\'{a}}n and
                  Mar{\'{\i}}a Vico Pascual and
                  {\'{A}}ngel Luis Rubio and
                  Julio Rubio},
  editor       = {Gonzalo A. Aranda{-}Corral and
                  Jacques Calmet and
                  Francisco J. Mart{\'{\i}}n{-}Mateos},
  title        = {Obtaining an {ACL2} Specification from an Isabelle/HOL Theory},
  booktitle    = {Artificial Intelligence and Symbolic Computation - 12th International
                  Conference, {AISC} 2014, Seville, Spain, December 11-13, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8884},
  pages        = {49--63},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-13770-4\_6},
  doi          = {10.1007/978-3-319-13770-4\_6},
  timestamp    = {Tue, 17 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aisc/Aransay-AzofraDHLPRR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aisc/Benhamou14,
  author       = {Bela{\"{\i}}d Benhamou},
  editor       = {Gonzalo A. Aranda{-}Corral and
                  Jacques Calmet and
                  Francisco J. Mart{\'{\i}}n{-}Mateos},
  title        = {Dynamic Symmetry Breaking in Itemset Mining},
  booktitle    = {Artificial Intelligence and Symbolic Computation - 12th International
                  Conference, {AISC} 2014, Seville, Spain, December 11-13, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8884},
  pages        = {132--146},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-13770-4\_12},
  doi          = {10.1007/978-3-319-13770-4\_12},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aisc/Benhamou14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aisc/BeshajS14,
  author       = {Lubjana Beshaj and
                  Tony Shaska},
  editor       = {Gonzalo A. Aranda{-}Corral and
                  Jacques Calmet and
                  Francisco J. Mart{\'{\i}}n{-}Mateos},
  title        = {Decomposition of Some Jacobian Varieties of Dimension 3},
  booktitle    = {Artificial Intelligence and Symbolic Computation - 12th International
                  Conference, {AISC} 2014, Seville, Spain, December 11-13, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8884},
  pages        = {193--204},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-13770-4\_17},
  doi          = {10.1007/978-3-319-13770-4\_17},
  timestamp    = {Thu, 01 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aisc/BeshajS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aisc/BoussarsarBE14,
  author       = {Oumaima Boussarsar and
                  Imen Boukhris and
                  Zied Elouedi},
  editor       = {Gonzalo A. Aranda{-}Corral and
                  Jacques Calmet and
                  Francisco J. Mart{\'{\i}}n{-}Mateos},
  title        = {A Direct Propagation Method in Singly Connected Causal Belief Networks
                  with Conditional Distributions for all Causes},
  booktitle    = {Artificial Intelligence and Symbolic Computation - 12th International
                  Conference, {AISC} 2014, Seville, Spain, December 11-13, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8884},
  pages        = {64--75},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-13770-4\_7},
  doi          = {10.1007/978-3-319-13770-4\_7},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aisc/BoussarsarBE14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aisc/EglyKLP14,
  author       = {Uwe Egly and
                  Martin Kronegger and
                  Florian Lonsing and
                  Andreas Pfandler},
  editor       = {Gonzalo A. Aranda{-}Corral and
                  Jacques Calmet and
                  Francisco J. Mart{\'{\i}}n{-}Mateos},
  title        = {Conformant Planning as a Case Study of Incremental {QBF} Solving},
  booktitle    = {Artificial Intelligence and Symbolic Computation - 12th International
                  Conference, {AISC} 2014, Seville, Spain, December 11-13, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8884},
  pages        = {120--131},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-13770-4\_11},
  doi          = {10.1007/978-3-319-13770-4\_11},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aisc/EglyKLP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aisc/EssaidMSY14,
  author       = {Amira Essaid and
                  Arnaud Martin and
                  Gr{\'{e}}gory Smits and
                  Boutheina Ben Yaghlane},
  editor       = {Gonzalo A. Aranda{-}Corral and
                  Jacques Calmet and
                  Francisco J. Mart{\'{\i}}n{-}Mateos},
  title        = {A Distance-Based Decision in the Credal Level},
  booktitle    = {Artificial Intelligence and Symbolic Computation - 12th International
                  Conference, {AISC} 2014, Seville, Spain, December 11-13, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8884},
  pages        = {147--156},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-13770-4\_13},
  doi          = {10.1007/978-3-319-13770-4\_13},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aisc/EssaidMSY14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aisc/Gamallo-ChicanoRG14,
  author       = {Carlos Gamallo{-}Chicano and
                  Eugenio Roanes{-}Lozano and
                  Carlos Gamallo{-}Amat},
  editor       = {Gonzalo A. Aranda{-}Corral and
                  Jacques Calmet and
                  Francisco J. Mart{\'{\i}}n{-}Mateos},
  title        = {A Rule-Based Expert System for Vaginal Cytology Diagnosis},
  booktitle    = {Artificial Intelligence and Symbolic Computation - 12th International
                  Conference, {AISC} 2014, Seville, Spain, December 11-13, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8884},
  pages        = {34--48},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-13770-4\_5},
  doi          = {10.1007/978-3-319-13770-4\_5},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aisc/Gamallo-ChicanoRG14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aisc/InoueS14,
  author       = {Shutaro Inoue and
                  Yosuke Sato},
  editor       = {Gonzalo A. Aranda{-}Corral and
                  Jacques Calmet and
                  Francisco J. Mart{\'{\i}}n{-}Mateos},
  title        = {A Mathematical Hierarchy of Sudoku Puzzles and Its Computation by
                  Boolean Gr{\"{o}}bner Bases},
  booktitle    = {Artificial Intelligence and Symbolic Computation - 12th International
                  Conference, {AISC} 2014, Seville, Spain, December 11-13, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8884},
  pages        = {88--98},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-13770-4\_9},
  doi          = {10.1007/978-3-319-13770-4\_9},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aisc/InoueS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aisc/Jeffrey14,
  author       = {David J. Jeffrey},
  editor       = {Gonzalo A. Aranda{-}Corral and
                  Jacques Calmet and
                  Francisco J. Mart{\'{\i}}n{-}Mateos},
  title        = {Multivalued Elementary Functions in Computer-Algebra Systems},
  booktitle    = {Artificial Intelligence and Symbolic Computation - 12th International
                  Conference, {AISC} 2014, Seville, Spain, December 11-13, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8884},
  pages        = {157--167},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-13770-4\_14},
  doi          = {10.1007/978-3-319-13770-4\_14},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aisc/Jeffrey14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aisc/LardeuxM14,
  author       = {Fr{\'{e}}d{\'{e}}ric Lardeux and
                  {\'{E}}ric Monfroy},
  editor       = {Gonzalo A. Aranda{-}Corral and
                  Jacques Calmet and
                  Francisco J. Mart{\'{\i}}n{-}Mateos},
  title        = {From Declarative Set Constraint Models to "Good" {SAT} Instances},
  booktitle    = {Artificial Intelligence and Symbolic Computation - 12th International
                  Conference, {AISC} 2014, Seville, Spain, December 11-13, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8884},
  pages        = {76--87},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-13770-4\_8},
  doi          = {10.1007/978-3-319-13770-4\_8},
  timestamp    = {Tue, 23 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aisc/LardeuxM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aisc/Lucas14,
  author       = {Salvador Lucas},
  editor       = {Gonzalo A. Aranda{-}Corral and
                  Jacques Calmet and
                  Francisco J. Mart{\'{\i}}n{-}Mateos},
  title        = {Using Representation Theorems for Proving Polynomials Non-negative},
  booktitle    = {Artificial Intelligence and Symbolic Computation - 12th International
                  Conference, {AISC} 2014, Seville, Spain, December 11-13, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8884},
  pages        = {21--33},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-13770-4\_4},
  doi          = {10.1007/978-3-319-13770-4\_4},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aisc/Lucas14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aisc/LucasM14,
  author       = {Salvador Lucas and
                  Jos{\'{e}} Meseguer},
  editor       = {Gonzalo A. Aranda{-}Corral and
                  Jacques Calmet and
                  Francisco J. Mart{\'{\i}}n{-}Mateos},
  title        = {Models for Logics and Conditional Constraints in Automated Proofs
                  of Termination},
  booktitle    = {Artificial Intelligence and Symbolic Computation - 12th International
                  Conference, {AISC} 2014, Seville, Spain, December 11-13, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8884},
  pages        = {9--20},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-13770-4\_3},
  doi          = {10.1007/978-3-319-13770-4\_3},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aisc/LucasM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aisc/MartinezKSBASGKGP14,
  author       = {Maricarmen Mart{\'{\i}}nez and
                  Ulf Krumnack and
                  Alan Smaill and
                  Tarek Richard Besold and
                  Ahmed M. H. Abdel{-}Fattah and
                  Martin Schmidt and
                  Helmar Gust and
                  Kai{-}Uwe K{\"{u}}hnberger and
                  Markus Guhe and
                  Alison Pease},
  editor       = {Gonzalo A. Aranda{-}Corral and
                  Jacques Calmet and
                  Francisco J. Mart{\'{\i}}n{-}Mateos},
  title        = {Algorithmic Aspects of Theory Blending},
  booktitle    = {Artificial Intelligence and Symbolic Computation - 12th International
                  Conference, {AISC} 2014, Seville, Spain, December 11-13, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8884},
  pages        = {180--192},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-13770-4\_16},
  doi          = {10.1007/978-3-319-13770-4\_16},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aisc/MartinezKSBASGKGP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aisc/Roanes-LozanoH14,
  author       = {Eugenio Roanes{-}Lozano and
                  Antonio Hernando},
  editor       = {Gonzalo A. Aranda{-}Corral and
                  Jacques Calmet and
                  Francisco J. Mart{\'{\i}}n{-}Mateos},
  title        = {A Simple {GUI} for Developing Applications That Use Mathematical Software
                  Systems},
  booktitle    = {Artificial Intelligence and Symbolic Computation - 12th International
                  Conference, {AISC} 2014, Seville, Spain, December 11-13, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8884},
  pages        = {99--119},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-13770-4\_10},
  doi          = {10.1007/978-3-319-13770-4\_10},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aisc/Roanes-LozanoH14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aisc/Ruiz-Reina14,
  author       = {Jos{\'{e}}{-}Luis Ruiz{-}Reina},
  editor       = {Gonzalo A. Aranda{-}Corral and
                  Jacques Calmet and
                  Francisco J. Mart{\'{\i}}n{-}Mateos},
  title        = {Proving and Computing: Applying Automated Reasoning to the Verification
                  of Symbolic Computation Systems (Invited Talk)},
  booktitle    = {Artificial Intelligence and Symbolic Computation - 12th International
                  Conference, {AISC} 2014, Seville, Spain, December 11-13, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8884},
  pages        = {1--6},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-13770-4\_1},
  doi          = {10.1007/978-3-319-13770-4\_1},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aisc/Ruiz-Reina14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aisc/SendraGM14,
  author       = {Juana Sendra and
                  David G{\'{o}}mez and
                  Valerio Mor{\'{a}}n},
  editor       = {Gonzalo A. Aranda{-}Corral and
                  Jacques Calmet and
                  Francisco J. Mart{\'{\i}}n{-}Mateos},
  title        = {Rational Conchoid and Offset Constructions: Algorithms and Implementation},
  booktitle    = {Artificial Intelligence and Symbolic Computation - 12th International
                  Conference, {AISC} 2014, Seville, Spain, December 11-13, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8884},
  pages        = {168--179},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-13770-4\_15},
  doi          = {10.1007/978-3-319-13770-4\_15},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aisc/SendraGM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aisc/Sorge14,
  author       = {Volker Sorge},
  editor       = {Gonzalo A. Aranda{-}Corral and
                  Jacques Calmet and
                  Francisco J. Mart{\'{\i}}n{-}Mateos},
  title        = {Combining Systems for Mathematical Creativity (Invited Talk)},
  booktitle    = {Artificial Intelligence and Symbolic Computation - 12th International
                  Conference, {AISC} 2014, Seville, Spain, December 11-13, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8884},
  pages        = {7--8},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-13770-4\_2},
  doi          = {10.1007/978-3-319-13770-4\_2},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aisc/Sorge14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/aisc/2014,
  editor       = {Gonzalo A. Aranda{-}Corral and
                  Jacques Calmet and
                  Francisco J. Mart{\'{\i}}n{-}Mateos},
  title        = {Artificial Intelligence and Symbolic Computation - 12th International
                  Conference, {AISC} 2014, Seville, Spain, December 11-13, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8884},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-13770-4},
  doi          = {10.1007/978-3-319-13770-4},
  isbn         = {978-3-319-13769-8},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aisc/2014.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.