close
1.

図書

図書
Jacques Calmet ... [et al.] (eds.)
出版情報: Berlin : Springer, c2002  xi, 341 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2385 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Constraint Acquisition / Eugene C. Freuder
Expressiveness and Complexity of Full First-Order Constraints in the Algebra of Trees / Alain Colmerauer
Deduction versus Computation: The Case of Induction / Eric Deplagne ; Claude Kirchner
Integration of Quantifier Elimination with Constraint Logic Programming / Thomas Sturm
AISC Regular Talks
Towards a Hybrid Symbolic/Numeric Computational Approach in Controller Design / Madhu Chetty
Inductive Synthesis of Functional Programs / Emanuel Kitzelmann ; Ute Schmid ; Martin Muhlpfordt ; Fritz Wysotzki
A Symbolic Computation-Based Expert System for AlzheimerÆs Disease Diagnosis / Begoña Herrero ; Luis M. Laita ; Eugenio Roanes-Lozano ; Víctor Maojo ; Luis de Ledesma ; José Crespo ; Laura Laita
On a Generalised Logicality Theorem / Marc Aiguier ; Diane Bahrami ; Catherine Dubois
Using Symbolic Computation in an Automated Sequent Derivation System for Multi-valued Logic / Elena Smirnova
The Wright ? Function / Robert M. Corless ; D.J. Jeffrey
Multicontext Logic for Semigroups of Contexts / RolfNossum ; Luciano Serafini
Indefinite Integration as a Testbed for Developments in Multi-agent Systems / J.A. Campbell
Expression Inference - Genetic Symbolic Classification Integrated with Non-linear Coefficient Optimisation / Andrew Hunter
A Novel Face Recognition Method / Li Bai ; Yihui Liu
Non-commutative Logic for Hand-Written Character Modeling / Jacqueline Castaing
From Numerical to Symbolic Data during the Recognition of Scenarii / S. Loriette-Rougegrez
On Mathematical Modeling of Networks and Implementation Aspects / Regina Bernhaupt ; Jochen Pfalzgraf
Continuous First-Order Constraint Satisfaction / Stefan Ratschan
Coloring Algorithms for Tolerance Graphs: Reasoning and Scheduling with Interval Constraints / Martin Charles Golumbic ; AssafSiani
A Genetic-Based Approach for Satisfiability Problems / Mohamed Tounsi
On Identifying Simple and Quantified Lattice Points in the 2SAT Polytope / K. Subramani
Calculemus Regular Talks
Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms, and Requirements / Gilles Audemard ; Piergiorgio Bertoli ; Alessandro Cimatti ; Artur Kornilowicz ; Roberto Sebastiani
The Meaning of Infinity in Calculus and Computer Algebra Systems / Michael Beeson ; Freek Wiedijk
Making Conjectures about Maple Functions / Simon Colton
Employing Theory Formation to Guide Proof Planning / Andreas Meier ; Volker Sorge
Unification with Sequence Variables and Flexible Arity Symbols and Its Extension with Pattern-Terms / Temur Kutsia
Combining Generic and Domain Specific Reasoning by Using Contexts / Silvio Ranise
Inductive Theorem Proving and Computer Algebra in the MathWeb Software Bus / Jurgen Zimmer ; Louise A. Dennis
Yacas: A Do-It-Yourself Symbolic Algebra Environment / Ayal Z. Pinkus ; Serge Winitzki
Focus Windows: A New Technique for Proof Presentation / Florina Piroi ; Bruno Buchberger
Author Index
Invited Talks
Constraint Acquisition / Eugene C. Freuder
Expressiveness and Complexity of Full First-Order Constraints in the Algebra of Trees / Alain Colmerauer
2.

図書

図書
John A. Campbell, Eugenio Roanes-Lozano (eds.)
出版情報: Berlin : Springer, c2001  x, 252 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1930 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
George Boole, a Forerunner of Symbolic Computation / Luis M. Laita ; Luis de Ledesma ; Eugenio Roanes-Lozano ; Alberto Brunori
Artificial Intelligence as a Decision Tool for Efficient Strategic and Operational Management / Marc Knoppe
OMDoc: Towards an Internet Standard for the Administration, Distribution, and Teaching of Mathematical Knowledge / Michael Kohlhase
Contributed Papers and Poster Summaries
On Communicating Proofs in Interactive Mathematical Documents / Olga Caprotti ; Martijn Oostdijk
Composite Distributive Lattices as Annotation Domains for Mediators / Jacques Calmet ; Peter Kullmann ; Morio Taneda
A Proof Strategy Based on a Dual Representation / Guilherme Bittencourt ; Isabel Tonin
Formalizing Rewriting in the ACL2 Theorem Prover / José-Luis Ruiz-Reina ; José-Antonio Alonso ; María-José Hidalgo ; Francisco-Jesús Martín-Mateos
Additional Comments on Conjectures, Hypotheses, and Consequences in Orthocomplemented Lattices / Angel Fernandez Pineda ; Enric Trillas ; Claudio Vaucheret
Reasoning about the Elementary Functions of Complex Analysis / Robert M. Corless ; James H. Davenport ; David J. Jeffrey ; Gurjeet Litt ; Stephen M. Watt
Solving Nonlinear Systems by Constraint Inversion and Interval Arithmetic / Martine Ceberio ; Laurent Granvilliers
Basic Operators for Solving Constraints via Collaboration of Solvers / Carlos Castro ; Eric Monfroy
Automatic Determination of Geometric Loci.3D-Extension of Simson-Steiner Theorem / Eugenio Roanes-Macías
Numerical Implicitization of Parametric Hypersurfaces with Linear Algebra / MarkW. Giesbrecht ; Ilias S. Kotsireas
A Note on Modeling Connectionist Network Structures: Geometric and Categorical Aspects / Jochen Pfalzgraf
A New Artificial Intelligence Paradigm for Computer-Aided Geometric Design / Andres Iglesias ; Akemi Galvez
How Symbolic Computation Can Benefit Computer-Aided Geometric Design
CDR: A Rewriting Based Tool to Design FPLA Circuits / Zahir Maazouzi ; Nirina Andrianarivelo ; Wadoud Bousdira ; Jacques Chabin
Locally Effective Objects and Artificial Intelligence / Julio Rubio
Negotiation Algorithms for Multi-agent Interactions / Marco A. Arranz
Some Techniques of Isomorph-Free Search / Thierry Boy de la Tour
Author Index
Invited Papers
George Boole, a Forerunner of Symbolic Computation / Luis M. Laita ; Luis de Ledesma ; Eugenio Roanes-Lozano ; Alberto Brunori
Artificial Intelligence as a Decision Tool for Efficient Strategic and Operational Management / Marc Knoppe
3.

図書

図書
Bruno Buchberger, John A. Campbell (eds.)
出版情報: Berlin : Springer, c2004  x, 284 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3249 . Lecture notes in artificial intelligence
所蔵情報: loading…
4.

図書

図書
Jacques Calmet, Jan Plaza (eds.)
出版情報: Berlin ; New York : Springer, c1998  xi, 307 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1476 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
An Inductive Logic Programming Query Language for Database Mining (Extended Abstract) / Luc De Raedt Bertrand Russell
Herbrands theorem, and the assignment statement / Melvin Fitting
Representing and Reasoning with Context / Richmond H. Thomason
Regular Talks From Integrated Reasoning to lug-and-Play' Reasoning Components / Alessandro Armando ; Silvio Ranise
Reasoning about Coding Theory: The Benefits We Get from Computer Algebra Clemens Ballarin / Lawrence C. Paulson
Automatic Generation of Epsilon-Delta Proofs of Continuity / Michael Beeson
Finite Model Search for Equational Theories (FMSET) / Belaid Benhamou ; Laurent Heocque
Specification and Integration of Theorem Provers and Computer Algebra Systems / P.G.Bertoli ; J.Calmet ; F. Giunchiglia ; K.Homann
Colette, Prototyping CSP Solvers Using a Rule-Based Language Carlos Castro
An Evolutionary Algorithm for Welding Task Sequence Ordering / Martin Damsbo ; Peder Thusgaard Ruhoff
Intuitionistic Proof Transformations and Their Application to Constructive Program Synthesis / Uwe Egli ; Stephan Schmitt
Combining Algebraic Computing and Term-Rewriting for Geometry Theorem Proving / Stephane Fevre ; Dongming Wang
Cooperation between Top-Down and Bottom-Up Theorem Provers by Subgoal Clause Transfer / Dirk Fuchs
Polymorphic Call-by-Value Calculus based on Classical Proofs (Extended Abstract) / Ken-etsu Fujita
Inference and Verification in Medical Appropriateness Criteria using Grobner Bases / L.M. Laita ; E. Roanes-Lozano ; V. Maojo
The Unification Problem for One Relation Thue Systems / Christopher Lynch
Basic Completion with E-cycle Simplification / Christelle Scharff
SoleX: a Domain-Independent Scheme for Constraint Solver Extension / Eric Monfroy ; Christophe Ringeissen
Optimising Propositional Modal Satisfiability for Description Logic Subsumption / Ian Horrocks ; Peter F. Patel-Schneider
Instantiation of Existentially Quantified Variables in Induction Specification Proofs Brigitte Pientka / Christoph Kreitz
Knowledge Discovery Objects and Queries in Distributed Knowledge Systems / Zbigniew W. Ras ; Jiyun Zheng
Alltypes: An ALgebraic Language and Type System / Fritz Schwarz
Real Parametrization of Algebraic Curves / J. Rafael Sendra ; Franz Winkler
Non-Clausal Reasoning with Propositional Definite Theories / Zbigniew Stachniak
Invited Talks
An Inductive Logic Programming Query Language for Database Mining (Extended Abstract) / Luc De Raedt Bertrand Russell
Herbrands theorem, and the assignment statement / Melvin Fitting
5.

図書

図書
Jacques Calmet, Tetsuo Ida, Dongming Wang (eds.)
出版情報: Berlin : Springer, c2006  xiii, 268 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 4120 . Lecture notes in artificial intelligence
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼