|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 68 occurrences of 64 keywords
|
|
|
|
|
Results
Found 257 publication records. Showing 257 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | K. Subramani 0001 |
On Identifying Simple and Quantified Lattice Points in the 2SAT Polytope.  |
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 | Thomas Sturm 0001 |
Integration of Quantifier Elimination with Constraint Logic Programming. |
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 | Mohamed Tounsi 0002 |
A Genetic-Based Approach for Satisfiability Problems. |
AISC |
2002 |
DBLP DOI BibTeX RDF |
Genetic Algorithm, SAT, NP-complete Problem, Hamiltonian Circuit |
| 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 | John A. Campbell |
Indefinite Integration as a Testbed for Developments in Multi-agent Systems. |
AISC |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Li Bai, Yihui Liu |
A Novel Face Recognition Method. |
AISC |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Ratschan |
Continuous First-Order Constraint Satisfaction. |
AISC |
2002 |
DBLP DOI BibTeX RDF |
Reasoning, Constraint Programming |
| 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 | Andreas Meier 0002, Volker Sorge, Simon Colton |
Employing Theory Formation to Guide Proof Planning. |
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 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 | Andrés Iglesias 0001 |
How Symbolic Computation Can Benefit Computer-Aided Geometric Design. |
AISC |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Castro 0001, Éric Monfroy |
Basic Operators for Solving Constraints via Collaboration of Solvers. |
AISC |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugenio Roanes-Macías, Eugenio Roanes-Lozano |
Automatic Determination of Geometric Loci. 3D-Extension of Simson-Steiner Theorem. |
AISC |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Olga Caprotti, Martijn Oostdijk |
On Communicating Proofs in Interactive Mathematical Documents. |
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 | 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 | Martine Ceberio, Laurent Granvilliers |
Solving Nonlinear Systems by Constraint Inversion and Interval Arithmetic. |
AISC |
2000 |
DBLP DOI BibTeX RDF |
|
| 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 | 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 | 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 | Michael Kohlhase |
OMDOC: Towards an Internet Standard for the Administration, Distribution, and Teaching of Mathematical Knowledge. |
AISC |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Julio Rubio 0001 |
Locally Effective Objects and Artificial Intelligence. |
AISC |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Thierry Boy de la Tour |
Some Techniques of Isomorph-Free Search. |
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 | Andrés Iglesias 0001, Akemi Gálvez |
A New Artificial Intelligence Paradigm for Computer-Aided Geometric Design. |
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 | Marco A. Arranz |
Negotiation Algorithms for Multi-agent Interactions. |
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 | Luis M. Laita, Eugenio Roanes-Lozano, Victor Maojo |
Inference and Verification in Medical Appropriateness Criteria Using Gröbner Bases. |
AISC |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Éric Monfroy, Christophe Ringeissen |
SoleX: A Domain-Independent Scheme for Constraint Solver Extension. |
AISC |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Uwe Egly, Stephan Schmitt |
Intuitionistic Proof Transformations and Their Application to Constructive Program Synthesis. |
AISC |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Luc De Raedt |
An Inductive Logic Programming Query Language for Database Mining. |
AISC |
1998 |
DBLP DOI BibTeX RDF |
database mining query language, inductive query language, data mining, inductive logic programming, relational learning |
| 1 | Piergiorgio Bertoli, Jacques Calmet, Fausto Giunchiglia, Karsten Homann |
Specification and Integration of Theorem Provers and Computer Algebra Systems. |
AISC |
1998 |
DBLP DOI BibTeX RDF |
Integration, Theorem Provers, Computer Algebra Systems, Formal Frameworks |
| 1 | Jacques Calmet, Jan A. Plaza (eds.) |
Artificial Intelligence and Symbolic Computation, International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings |
AISC |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Armando, Silvio Ranise |
From Integrated Reasoning Specialists to "Plug-and-Play" Reasoning Components. |
AISC |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Belaid Benhamou, Laurent Henocque |
Finite Model Search for Equational Theories (FMSET). |
AISC |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Damsbo, Peder Thusgaard Ruhoff |
An Evolutionary Algorithm for Welding Task Sequence Ordering. |
AISC |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Beeson |
Automatic Generation of Epsilon-Delta Proofs of Continuity. |
AISC |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Clemens Ballarin, Lawrence C. Paulson |
Reasoning About Coding Theory: The Benefits We Get from Computer Algebra. |
AISC |
1998 |
DBLP DOI BibTeX RDF |
mechanised reasoning, combining systems, soundness of computer algebra systems, specialisation problem, AISC topics, Integration of logical reasoning and computer algebra, Computer algebra, coding theory, automated theorem provers |
| 1 | J. Rafael Sendra, Franz Winkler 0001 |
Real Parametrization of Algebraic Curves. |
AISC |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Ken-etsu Fujita |
Polymorphic Call-by-Value Calculus Based on Classical Proofs. |
AISC |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Richmond H. Thomason |
Representing and Reasoning with Context. |
AISC |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Castro |
COLETTE, Prototyping CSP Solvers Using a Rule-Based Language. |
AISC |
1998 |
DBLP DOI BibTeX RDF |
Constraint Satisfaction Problems, Rewriting Logic |
| 1 | Christopher Lynch |
The Unification Problem for One Relation Thue Systems. |
AISC |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Brigitte Pientka, Christoph Kreitz |
Instantiation of Existentially Quantified Variables in Inductive Specification Proofs. |
AISC |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian Horrocks 0001, Peter F. Patel-Schneider |
Optimising Propositional Modal Satisfiability for Description Logic Subsumption. |
AISC |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Fritz Schwarz |
ALLTYPES: An ALgebraic Language and TYPE System. |
AISC |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Zbigniew W. Ras, Jiyun Zheng |
Knowledge Discovery Objects and Queries in Distributed Knowledge Systems. |
AISC |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher Lynch, Christelle Scharff |
Basic Completion with E-cycle Simplification. |
AISC |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Zbigniew Stachniak |
Non-clausal Reasoning with Propositional Definite Theories. |
AISC |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Melvin Fitting |
Bertrand Russell, Herbrand's Theorem, and the Assignment Statement. |
AISC |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Fuchs |
Cooperation Between Top-Down and Bottom-Up Theorem Provers by Subgoal Clause Transfer. |
AISC |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphane Fèvre, Dongming Wang 0001 |
Combining Algebraic Computing and Term-Rewriting for Geometry Theorem Proving. |
AISC |
1998 |
DBLP DOI BibTeX RDF |
|
Displaying result #201 - #257 of 257 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3] |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license