default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID12th AISC 2014: Seville, Spain
- Gonzalo A. Aranda-Corral
, Jacques Calmet, Francisco J. Martín-Mateos:
Artificial Intelligence and Symbolic Computation - 12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings. Lecture Notes in Computer Science 8884, Springer 2014, ISBN 978-3-319-13769-8
Invited Presentations
- José-Luis Ruiz-Reina:
Proving and Computing: Applying Automated Reasoning to the Verification of Symbolic Computation Systems (Invited Talk). 1-6 - Volker Sorge:
Combining Systems for Mathematical Creativity (Invited Talk). 7-8
Contributed Papers
- Salvador Lucas, José Meseguer:
Models for Logics and Conditional Constraints in Automated Proofs of Termination. 9-20 - Salvador Lucas:
Using Representation Theorems for Proving Polynomials Non-negative. 21-33 - Carlos Gamallo-Chicano, Eugenio Roanes-Lozano, Carlos Gamallo-Amat:
A Rule-Based Expert System for Vaginal Cytology Diagnosis. 34-48 - Jesús Aransay-Azofra, Jose Divasón, Jónathan Heras, Laureano Lambán, María Vico Pascual, Ángel Luis Rubio, Julio Rubio:
Obtaining an ACL2 Specification from an Isabelle/HOL Theory. 49-63 - Oumaima Boussarsar, Imen Boukhris, Zied Elouedi:
A Direct Propagation Method in Singly Connected Causal Belief Networks with Conditional Distributions for all Causes. 64-75 - Frédéric Lardeux, Éric Monfroy:
From Declarative Set Constraint Models to "Good" SAT Instances. 76-87 - Shutaro Inoue, Yosuke Sato:
A Mathematical Hierarchy of Sudoku Puzzles and Its Computation by Boolean Gröbner Bases. 88-98 - Eugenio Roanes-Lozano, Antonio Hernando:
A Simple GUI for Developing Applications That Use Mathematical Software Systems. 99-119 - Uwe Egly, Martin Kronegger, Florian Lonsing, Andreas Pfandler:
Conformant Planning as a Case Study of Incremental QBF Solving. 120-131 - Belaïd Benhamou:
Dynamic Symmetry Breaking in Itemset Mining. 132-146 - Amira Essaid, Arnaud Martin, Grégory Smits, Boutheina Ben Yaghlane:
A Distance-Based Decision in the Credal Level. 147-156 - David J. Jeffrey:
Multivalued Elementary Functions in Computer-Algebra Systems. 157-167 - Juana Sendra, David Gómez, Valerio Morán:
Rational Conchoid and Offset Constructions: Algorithms and Implementation. 168-179 - Maricarmen Martínez, Ulf Krumnack, Alan Smaill, Tarek Richard Besold, Ahmed M. H. Abdel-Fattah, Martin Schmidt, Helmar Gust, Kai-Uwe Kühnberger, Markus Guhe, Alison Pease:
Algorithmic Aspects of Theory Blending. 180-192 - Lubjana Beshaj, Tony Shaska:
Decomposition of Some Jacobian Varieties of Dimension 3. 193-204
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.
last updated on 2025-12-08 09:48 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
