| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Moritz Minzlaff, Jacques Calmet |
A New Definition for Passivity and Its Relation to Coherence.  |
AISC  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Wenqin Zhou, Jacques Carette, David J. Jeffrey, Michael B. Monagan |
Hierarchical Representations with Signatures for Large Expression Management. |
AISC |
2006 |
DBLP DOI BibTeX RDF |
Veiling Strategy, Zero Test, Large Expression Management, Symbolic LU Decomposition, Time Complexity, Signature, Hierarchical Representation |
| 1 | Yongli Sun, Jianping Yu |
Implicitization of Rational Curves. |
AISC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Songxin Liang, David J. Jeffrey |
An Algorithm for Computing the Complete Root Classification of a Parametric Polynomial. |
AISC |
2006 |
DBLP DOI BibTeX RDF |
Complete discrimination system, complete root classification, root classification, parametric polynomial |
| 1 | Ichiro Mitsuhashi, Michio Oyamaguchi, Florent Jacquemard |
The Confluence Problem for Flat TRSs. |
AISC |
2006 |
DBLP DOI BibTeX RDF |
Flat, Term rewriting system, Confluence, Decision problem |
| 1 | Heisuke Hironaka |
Algebra and Geometry. |
AISC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ekaterina Shemyakova |
A Full System of Invariants for Third-Order Linear Partial Differential Operators. |
AISC |
2006 |
DBLP DOI BibTeX RDF |
Laplace invariants, partial differential operators, Maple |
| 1 | William McCune |
Semantic Guidance for Saturation Provers. |
AISC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Arjeh M. Cohen |
Interactive Mathematical Documents. |
AISC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Philip Feinsilver, René Schott |
Operator Calculus Approach to Solving Analytic Systems. |
AISC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Sheng Liu, Jian Zhang 0001 |
Using Hajós' Construction to Generate Hard Graph 3-Colorability Instances. |
AISC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Li |
An Inductive Inference System and Its Rationality. |
AISC |
2006 |
DBLP DOI BibTeX RDF |
inference, induction, Belief, rationality, refutation |
| 1 | Lu Yang, Bican Xia |
Quantifier Elimination for Quartics. |
AISC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Ratschan, Zhikun She |
Constraints for Continuous Reachability in the Verification of Hybrid Systems. |
AISC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jun Yan, Jian Zhang 0001, Zhongxing Xu |
Finding Relations Among Linear Constraints. |
AISC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Weikun Sun, Hongbo Li |
On the Mixed Cayley-Sylvester Resultant Matrix. |
AISC |
2006 |
DBLP DOI BibTeX RDF |
Mixed Cayley-Sylvester resultant matrix, Cayley quotient, Sylvester dialytic, block structure |
| 1 | Tetsuya Mizutani, Shigeru Igarashi, Yasuwo Ikeda, Masayuki Shio |
Labeled @-Calculus: Formalism for Time-Concerned Human Factors. |
AISC |
2006 |
DBLP DOI BibTeX RDF |
Labeled @-calculus, time-concerned knowledge and belief, Shigaraki Kougen Railway accident |
| 1 | Michael Kohlhase, Ioan Sucan |
A Search Engine for Mathematical Formulae. |
AISC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Immanuel Normann |
Enhanced Theorem Reuse by Partial Theory Inclusions. |
AISC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Calmet, Tetsuo Ida, Dongming Wang (eds.) |
Artificial Intelligence and Symbolic Computation, 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings |
AISC |
2006 |
DBLP BibTeX RDF |
|
| 1 | Khalil Djelloul, Thi-Bich-Hanh Dao |
Extension of First-Order Theories into Trees. |
AISC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Hoon Hong, Liyun Li, Tielin Liang, Dongming Wang |
Solving Dynamic Geometric Constraints Involving Inequalities. |
AISC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Yong-Bin Li |
Some Properties of Triangular Sets and Improvement Upon Algorithm CharSer. |
AISC |
2006 |
DBLP DOI BibTeX RDF |
quasi-normal zero, algorithm CharSer, characteristic set, Triangular sets |
| 1 | David Déharbe, Abdessamad Imine, Silvio Ranise |
Abstraction-Driven Verification of Array Programs. |
AISC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruno Buchberger |
Algorithm-Supported Mathematical Theory Exploration: A Personal View and Strategy. |
AISC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesús Aransay, Clemens Ballarin, Julio Rubio |
Four Approaches to Automated Reasoning with Differential Algebraic Structures. |
AISC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Temur Kutsia |
Solving Equations Involving Sequence Variables and Sequence Functions. |
AISC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jian Zhang 0001, Hantao Zhang |
Extending Finite Model Searching with Congruence Closure Computation. |
AISC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Dolzmann, Lorenz A. Gilch |
Generic Hermitian Quantifier Elimination. |
AISC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Nao Hirokawa, Aart Middeldorp |
Polynomial Interpretations with Negative Coefficients. |
AISC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Mahat Khelfallah, Belaid Benhamou |
Two Revision Methods Based on Constraints: Application to a Flooding Problem. |
AISC |
2004 |
DBLP DOI BibTeX RDF |
Linear constraints, Geographic information, Revision |
| 1 | Helmut Schwichtenberg |
Proof Search in Minimal Logic. |
AISC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jørgen Villadsen |
A Paraconsistent Higher Order Logic. |
AISC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexei D. Miasnikov |
Recognition of Whitehead-Minimal Elements in Free Groups of Large Ranks. |
AISC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Zbigniew Stachniak |
Finite Algebras and AI: From Matrix Semantics to Stochastic Local Search. |
AISC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugenio Roanes-Lozano, E. López-Vidriero Jr., Luis M. Laita, E. López-Vidriero, Victor Maojo, Eugenio Roanes-Macías |
An Expert System on Detection, Evaluation and Treatment of Hypertension. |
AISC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Christelle Scharff, Leo Bachmair |
On the Combination of Congruence Closure and Completion. |
AISC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Björn Gottfried |
Singularities in Qualitative Reasoning. |
AISC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Tetsuo Ida, Dorin Tepeneu, Bruno Buchberger, Judit Robu |
Proving and Constraint Solving in Computational Origami. |
AISC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Inmaculada Medina-Bulo, Francisco Palomo-Lozano, José A. Alonso-Jiménez, José-Luis Ruiz-Reina |
Verified Computer Algebra in Acl2. Gröbner Bases Computation. |
AISC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruno Buchberger, John A. Campbell (eds.) |
Artificial Intelligence and Symbolic Computation, 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004, Proceedings |
AISC |
2004 |
DBLP BibTeX RDF |
|
| 1 | Laurent Granvilliers, Mina Ouabiba |
Combination of Nonlinear Terms in Interval Constraint Satisfaction Techniques. |
AISC |
2004 |
DBLP DOI BibTeX RDF |
redundant constraint, Interval arithmetic, local consistency, numerical constraint, symbolic algorithm |
| 1 | Markus Rosenkranz |
The Algorithmization of Physics: Math Between Science and Engineering. |
AISC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed El-bachir Menai |
An Evolutionary Local Search Method for Incremental Satisfiability. |
AISC |
2004 |
DBLP DOI BibTeX RDF |
Incremental Satisfiability, Self-Organized Criticality, Stochastic Local Search, Extremal Optimization |
| 1 | Alan Bundy |
Planning and Patching Proof. |
AISC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Olga Tveretina |
A Decision Procedure for Equality Logic with Uninterpreted Functions. |
AISC |
2004 |
DBLP DOI BibTeX RDF |
equality logic with uninterpreted functions, DPLL procedure, satisfiability |
| 1 | Tom Kelsey, Steve Linton, Colva M. Roney-Dougal |
New Developments in Symmetry Breaking in Search Using Computational Group Theory. |
AISC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Peep Küngas |
Abstraction Within Partial Deduction for Linear Logic. |
AISC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Serge Mechveliani |
From a Computer Algebra Library to a System with an Equational Prover. |
AISC |
2004 |
DBLP DOI BibTeX RDF |
equational prover, term rewriting, computer algebra |
| 1 | Eugene C. Freuder |
Constraint Acquisition. |
AISC |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert M. Corless, David J. Jeffrey |
The Wright omega Function. |
AISC |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Regina Bernhaupt, Jochen Pfalzgraf |
On Mathematical Modeling of Networks and Implementation Aspects. |
AISC |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Florina Piroi, Bruno Buchberger |
Focus Windows: A New Technique for Proof Presentation. |
AISC |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Deplagne, Claude Kirchner |
Deduction versus Computation: The Case of Induction. |
AISC |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Charles Golumbic, Assaf Siani |
Coloring Algorithms for Tolerance Graphs: Reasoning and Scheduling with Interval Constraints. |
AISC |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Begoña Herrero, Luis M. Laita, Eugenio Roanes-Lozano, Victor Maojo, Luis de Ledesma, José Crespo, Laura Laita |
A Symbolic Computation-Based Expert System for Alzheimer's Disease Diagnosis. |
AISC |
2002 |
DBLP DOI BibTeX RDF |
diagnosis of Alzheimer's disease, ideal membership problem, Gröbner bases, Rule-based expert systems |
| 1 | Jacques Calmet, Belaid Benhamou, Olga Caprotti, Laurent Henocque, Volker Sorge (eds.) |
Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Joint International Conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002, Proceedings |
AISC |
2002 |
DBLP BibTeX RDF |
|
| 1 | Marc Aiguier, Diane Bahrami, Catherine Dubois |
On a Generalised Logicality Theorem. |
AISC |
2002 |
DBLP DOI BibTeX RDF |
semi-commutation, abstract rewrite tree, abstract convertibility relation, logicality Topics: Term Rewriting, Integration of Logical Reasoning and Computer Algebra, Reasoning, Formal system |
| 1 | Li Bai, Yihui Liu |
A Novel Face Recognition Method. |
AISC |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | K. Subramani |
On Identifying Simple and Quantified Lattice Points in the 2SAT Polytope. |
AISC |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Emanuel Kitzelmann, Ute Schmid, Martin Mühlpfordt, Fritz Wysotzki |
Inductive Synthesis of Functional Programs. |
AISC |
2002 |
DBLP DOI BibTeX RDF |
Inductive program synthesis, recursive program schemes Topics: Symbolic computations and machine learning, term rewriting, folding |
| 1 | Thomas Sturm |
Integration of Quantifier Elimination with Constraint Logic Programming. |
AISC |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Ayal Z. Pinkus, Serge Winitzki |
YACAS: A Do-It-Yourself Symbolic Algebra Environment. |
AISC |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Hunter |
Expression Inference - Genetic Symbolic Classification Integrated with Non-linear Coefficient Optimisation. |
AISC |
2002 |
DBLP DOI BibTeX RDF |
Topic. Symbolic Computations for Expert Systems and Machine Learning, Classification, Genetic Programming, Symbolic Regression, ROC Curves, Multiobjective Optimisation |
| 1 | Gilles Audemard, Piergiorgio Bertoli, Alessandro Cimatti, Artur Kornilowicz, Roberto Sebastiani |
Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms, and Requirements. |
AISC |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Ratschan |
Continuous First-Order Constraint Satisfaction. |
AISC |
2002 |
DBLP DOI BibTeX RDF |
Reasoning, Constraint Programming |
| 1 | Jacqueline Castaing |
Non-commutative Logic for Hand-Written Character Modeling. |
AISC |
2002 |
DBLP DOI BibTeX RDF |
Proofs Topics: Foundations and Complexity of Symbolic Computation, Logic and Symbolic Computing, Character Recognition, Linear Logic, Distance Computing |
| 1 | Andreas Meier, Volker Sorge, Simon Colton |
Employing Theory Formation to Guide Proof Planning. |
AISC |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Temur Kutsia |
Unification with Sequence Variables and Flexible Arity Symbols and Its Extension with Pattern-Terms. |
AISC |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Rolf Nossum, Luciano Serafini |
Multicontext Logic for Semigroups of Contexts. |
AISC |
2002 |
DBLP DOI BibTeX RDF |
Integration of Logical Reasoning and Computer Algebra, Logic and Symbolic Computing, Reasoning |
| 1 | John A. Campbell |
Indefinite Integration as a Testbed for Developments in Multi-agent Systems. |
AISC |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Beeson, Freek Wiedijk |
The Meaning of Infinity in Calculus and Computer Algebra Systems. |
AISC |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Alain Colmerauer |
Expressiveness and Complexity of Full First-Order Constraints in the Algebra of Trees. |
AISC |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Colton |
Making Conjectures about Maple Functions. |
AISC |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Madhu Chetty |
Towards a Hybrid Symbolic/Numeric Computational Approach in Controller Design. |
AISC |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Elena Smirnova |
Using Symbolic Computation in an Automated Sequent Derivation System for Multi-valued Logic. |
AISC |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Sophie Loriette-Rougegrez |
From Numerical to Symbolic Data during the Recognition of Scenarii. |
AISC |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Silvio Ranise |
Combining Generic and Domain Specific Reasoning by Using Contexts. |
AISC |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Tounsi |
A Genetic-Based Approach for Satisfiability Problems. |
AISC |
2002 |
DBLP DOI BibTeX RDF |
Genetic Algorithm, SAT, NP-complete Problem, Hamiltonian Circuit |
| 1 | Jürgen Zimmer, Louise A. Dennis |
Inductive Theorem Proving and Computer Algebra in the MathWeb Software Bus. |
AISC |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | John A. Campbell, Eugenio Roanes-Lozano (eds.) |
Artificial Intelligence and Symbolic Computation, International Conference AISC 2000 Madrid, Spain, July 17-19, 2000, Revised Papers |
AISC |
2001 |
DBLP BibTeX RDF |
|
| 1 | José-Luis Ruiz-Reina, José-Antonio Alonso, María-José Hidalgo, Francisco-Jesús Martín-Mateos |
Formalizing Rewriting in the ACL2 Theorem Prover. |
AISC |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Julio Rubio |
Locally Effective Objects and Artificial Intelligence. |
AISC |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Castro, Eric Monfroy |
Basic Operators for Solving Constraints via Collaboration of Solvers. |
AISC |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Jochen Pfalzgraf |
A Note on Modeling Connectionist Network Structures: Geometric and Categorical Aspects. |
AISC |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Martine Ceberio, Laurent Granvilliers |
Solving Nonlinear Systems by Constraint Inversion and Interval Arithmetic. |
AISC |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Knoppe |
Artificial Intelligence as a Decision Tool for Efficient Strategic and Operational Management. |
AISC |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Angel Fernandez Pineda, Enric Trillas, Claudio Vaucheret |
Additional Comments on Conjectures, Hypotheses, and Consequences in Orthocomplemented Lattices. |
AISC |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Guilherme Bittencourt, Isabel Tonin |
A Proof Strategy Based on a Dual Representation. |
AISC |
2000 |
DBLP DOI BibTeX RDF |
inference strategy, dual transformation, Topic: Logic and Symbolic Computing, theorem proving, First-order logic |
| 1 | Zahir Maazouzi, Nirina Andrianarivelo, Wadoud Bousdira, Jacques Chabin |
CDR: A Rewriting Based Tool to Design FPLA Circuits. |
AISC |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert M. Corless, James H. Davenport, David J. Jeffrey, Gurjeet Litt, Stephen M. Watt |
Reasoning about the Elementary Functions of Complex Analysis. |
AISC |
2000 |
DBLP DOI BibTeX RDF |
Complex identities, Topics: AI and Symbolic Mathematical Computing, Integration of Logical Reasoning and Computer Algebra, Elementary functions, Branch cuts |
| 1 | Thierry Boy de la Tour |
Some Techniques of Isomorph-Free Search. |
AISC |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Kohlhase |
OMDOC: Towards an Internet Standard for the Administration, Distribution, and Teaching of Mathematical Knowledge. |
AISC |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Luis M. Laita, Luis de Ledesma, Eugenio Roanes-Lozano, Alberto Brunori |
George Boole, a Forerunner of Symbolic Computation. |
AISC |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrés Iglesias |
How Symbolic Computation Can Benefit Computer-Aided Geometric Design. |
AISC |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Calmet, Peter Kullmann, Morio Taneda |
Composite Distributive Lattices as Annotation Domains for Mediators. |
AISC |
2000 |
DBLP DOI BibTeX RDF |
Dual Transform, Free Distributive Lattice Product, Mediator, Distributive Lattices, Annotated Logic, SLG Resolution |
| 1 | Andrés Iglesias, Akemi Gálvez |
A New Artificial Intelligence Paradigm for Computer-Aided Geometric Design. |
AISC |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert M. Corless, Mark Giesbrecht, Ilias S. Kotsireas, Stephen M. Watt |
Numerical Implicitization of Parametric Hypersurfaces with Linear Algebra. |
AISC |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco A. Arranz |
Negotiation Algorithms for Multi-agent Interactions. |
AISC |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Olga Caprotti, Martijn Oostdijk |
On Communicating Proofs in Interactive Mathematical Documents. |
AISC |
2000 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")