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.

図書

図書
Andrei Voronkov (ed.)
出版情報: Berlin : Springer, c2002  xii, 534 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2392 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Description Logics and Semantic Web / Session 1:
Reasoning with Expressive Description Logics: Theory and Practice / Ian Horrocks
BDD-Based Decision Procedures for <$>{\cal K}<$> / Guoqiang Pan ; Ulrike Sattler ; Moshe Y. Vardi
Proof-Carrying Code and Compiler Verification / Session 2:
Temporal Logic for Proof-Carrying Code / Andrew Bernard ; Peter Lee
A Gradual Approach to a More Trustworthy, Yet Scalable, Proof-Carrying Code / Robert R. Schneck ; George C. Necula
Formal Verification of a Java Compiler in Isabelle / Martin Strecker
Non-classical Logics / Session 3:
Embedding Lax Logic into Intuitionistic Logic / Uwe Egly
Combining Proof-Search and Counter-Model Construction for Deciding Gödel-Dummett Logic / Dominique Larchey-Wendling
Connection-Based Proof Search in Propositional BI Logic / Didier Galmiche ; Daniel Méry
System Descriptions / Session 4:
DDDLIB: A Library for Solving Quantified Difference Inequalities / Jesper B. Møller
An LCF-Style Interface between HOL and First-Order Logic / Joe Hurd
System Description: The MathWeb Software Bus for Distributed Mathematical Reasoning / Jürgen Zimmer ; Michael Kohlhase
Proof Development with ΩMEGA / Jörg Siekmann ; Christoph Benzmüller ; Vladimir Brezhnev ; Lassaad Cheikhrouhou ; Armin Fiedler ; Andreas Franke ; Helmut Horacek ; Andreas Meier ; Erica Melis ; Markus Moschner ; Immanuel Normann ; Martin Pollet ; Volker Sorge ; Carsten Ullrich ; Claus-Peter Wirth ; Juörgen Zimmer
LearnΩmatic: System Description / Mateja Jamnik ; Manfred Kerber
HyLoRes 1.0: Direct Resolution for Hybrid Logics / Carlos Areces ; Juan Heguiabehere
SAT / Session 5:
Testing Satisfiability of CNF Formulas by Computing a Stable Set of Points / Eugene Goldberg
A Note on Symmetry Heuristics in SEM / Thierry Boy de la Tour
A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions / Gilles Audemard ; Piergiorgio Bertoli ; Alessandro Cimatti ; Artur Kornilowicz ; Roberto Sebastiani
Model Generation / Session 6:
Deductive Search for Errors in Free Data Type Specifications Using Model Generation / Wolfgang Ahrendt
Reasoning by Symmetry and Function Ordering in Finite Model Generation / Belaid Benhamou
Algorithmic Aspects of Herbrand Models Represented by Ground Atoms with Ground Equations / Bernhard Gramlich ; Reinhard Pichler
A New Clausal Class Decidable by Hyperresolution / Lilia Georgieva ; Ullrich Hustadt ; Renate A. SchmidtSession 7:
CASC / Session 8:
Spass Version 2.0 / Christoph Weidenbach ; Uwe Brahm ; Thomas Hillenbrand ; Enno Keen ; Christian Theobald ; Dalibor Topić
System Description: GrAnDe 1.0 / Stephan Schulz ; Geoff Sutcliffe
The HR Program for Theorem Generation / Simon Colton
AutoBayes/CC - Combining Program Synthesis with Automatic Code Certification - System Description - / Michael Whalen ; Johann Schumann ; Bernd Fischer
CADE-CAV Invited Talk
The Quest for Efficient Boolean Satisfiability Solvers / Lintao Zhang ; Sharad Malik
Recursive Path Orderings Can Be Context-Sensitive / Cristina Borralleras ; Salvador Lucas ; Albert RubioSession 9:
Combination of Decision Procedures / Session 10:
Shostak Light / Harald Ganzinger
Formal Verification of a Combination Decision Procedure / Jonathan Ford ; Natarajan Shankar
Combining Multisets with Integers / Calogero G. Zarba
Logical Frameworks / Session 11:
The Reflection Theorem: A Study in Meta-theoretic Reasoning / Lawrence C. Paulson
Faster Proof Checking in the Edinburgh Logical Framework / Aaron Stump ; David L. Dill
Solving for Set Variables in Higher-Order Theorem Proving / Chad E. Brown
Model Checking / Session 12:
The Complexity of the Graded μ-Calculus / Orna Kupferman
Lazy Theorem Proving for Bounded Model Checking over Infinite Domains / Leonardo de Moura ; Harald Rueß ; Maria Sorea
Equational Reasoning / Session 13:
Well-Foundedness Is Sufficient for Completeness of Ordered Paramodulation / Miquel Bofill
Basic Syntactic Mutation / Christopher Lynch ; Barbara Morawska
The Next Waldmeister Loop / Bernd Lochner
Proof Theory / Session 14:
Focussing Proof-Net Construction as a Middleware Paradigm / Jean Marc Andreoli
Proof Analysis by Resolution / Matthias Baaz
Author Index
Description Logics and Semantic Web / Session 1:
Reasoning with Expressive Description Logics: Theory and Practice / Ian Horrocks
BDD-Based Decision Procedures for <$>{\cal K}<$> / Guoqiang Pan ; Ulrike Sattler ; Moshe Y. Vardi
3.

図書

図書
Alessandro Armando (ed.)
出版情報: Berlin : Springer-Verlag, c2002  viii, 254 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2309 . Lecture notes in artificial intelligence
所蔵情報: loading…
4.

図書

図書
Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk (eds.)
出版情報: Berlin ; Tokyo : Springer, c2001  viii, 238 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2183
所蔵情報: loading…
目次情報: 続きを見る
Linear Ramified Higher Type Recursion and Parallel Complexity / Klaus Aehlig ; Jan Johannsen ; Helmut Schwichtenberg ; Sebastiaan A. Terwijn
Reflective λ-Calculus / Jesse Alt ; Sergei Artemov
A Note on the Proof-Theoretic Strength of a Single Application of the Schema of Identity / Matthias Baaz ; Christian G. Fermuller
Comparing the Complexity of Cut-Elimination Methods / Alexander Leitsch
Program Extraction from Gentzen's Proof of Transfinite Induction up to ε0 / Ulrich Berger
Coherent Bicartesian and Sesquicartesian Categories / Kosta DoÜen ; Zoran Petri?
Indexed Induction-Recursion / Peter Dybjer ; Anton Setzer
Modeling Meta-logical Features in a Calculus with Frozen Variables / Birgit Elbl
Proof Theory and Post-turing Analysis / Lew Gordeew
Interpolation for Natural Deduction with Generalized Eliminations / Ralph Matthes
Implicit Characterizations of Pspace / Isabel Oitavem
Iterate Logic / Peter H. Schmitt
Constructive Foundations for Featherweight Java / Thomas Studer
Author Index
Linear Ramified Higher Type Recursion and Parallel Complexity / Klaus Aehlig ; Jan Johannsen ; Helmut Schwichtenberg ; Sebastiaan A. Terwijn
Reflective λ-Calculus / Jesse Alt ; Sergei Artemov
A Note on the Proof-Theoretic Strength of a Single Application of the Schema of Identity / Matthias Baaz ; Christian G. Fermuller
5.

図書

図書
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
6.

図書

図書
Salem Benferhat, Philippe Besnard (eds.)
出版情報: Berlin : Springer, c2001  xiv, 818 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2143 . Lecture notes in artificial intelligence
所蔵情報: loading…
7.

図書

図書
Jürgen Richter-Gebert, Dongming Wang (eds.)
出版情報: Berlin : Springer, c2001  viii, 323 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2061 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
On Spatial Constraint Solving Approaches / Christoph M. Hoffmann ; Bo Yuan
A Hybrid Method for Solving Geometric Constraint Problems / Xiao-Shan Gao ; Lei-Dong Huang ; Kun Jiang
Solving the Birkhoff Interpolation Problem via the Critical Point Method: An Experimental Study / Fabrice Rouillier ; Mohab Safey El Din ; Éric Schost
A Practical Program of Automated Proving for a Class of Geometric Inequalities / Lu Yang ; Ju Zhang
Randomized Zero Testing of Radical Expressions and Elementary Geometry Theorem Proving / Daniela Tulone ; Chee Yap ; Chen Li
Algebraic and Semialgebraic Proofs: Methods and Paradoxes / Pasqualina Conti ; Carlo Traverso
Remarks on Geometric Theorem Proving / Laura Bazzotti ; Giorgio Dalzotto ; Lorenzo Robbiano
The Kinds of Truth of Geometry Theorems / Michael Bulmer ; Desmond Fearnley-Sander ; Tim Stokes
A Complex Change of Variables for Geometrical Reasoning
Reasoning about Surfaces Using Differential Zero and Ideal Decomposition / Philippe Aubry ; Dongming Wang
Effective Methods in Computational Synthetic Geometry / Jürgen Bokowski
Decision Complexity in Dynamic Geometry / Ulrich Kortenkamp ; Jürgen Richter-Gebert
Automated Theorem Proving in Incidence Geometry - A Bracket Algebra Based Elimination Method / Hongbo Li ; Yihong Wu
Qubit Logic, Algebra and Geometry / Timothy F. Havel
Nonstandard Geometric Proofs / Jacques D. Fleuriot
Emphasizing Human Techniques in Automated Geometry Theorem Proving: A Practical Realization / Ricardo Caferra ; Nicolas Peltier ; François Puitg
Higher-Order Intuitionistic Formalization and Proofs in HilbertÆs Elementary Geometry / Christophe Dehlinger ; Jean-François Dufourd ; Pascal Schreck
Author Index
On Spatial Constraint Solving Approaches / Christoph M. Hoffmann ; Bo Yuan
A Hybrid Method for Solving Geometric Constraint Problems / Xiao-Shan Gao ; Lei-Dong Huang ; Kun Jiang
Solving the Birkhoff Interpolation Problem via the Critical Point Method: An Experimental Study / Fabrice Rouillier ; Mohab Safey El Din ; Éric Schost
8.

図書

図書
Hoon Hong, Dongming Wang (eds.)
出版情報: Berlin : Springer, c2006  x, 211 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3763 . Lecture notes in artificial intelligence
所蔵情報: loading…
9.

図書

図書
Rokia Missaoui, Jürg Schmid (eds.)
出版情報: Berlin : Springer, c2006  x, 308 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3874 . Lecture notes in artificial intelligence
所蔵情報: loading…
10.

図書

図書
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…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼