close
1.

図書
図書
1. Computer science logic : 11th International Workshop, CSL '97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : selected papers
Mogens Nielsen, Wolfgang Thomas (eds.)
出版情報: Berlin ; Tokyo : Springer, c1998  viii, 509 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1414
所蔵情報: loading…
2.

図書
図書
2. Automated deduction - CADE-15 : 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 : proceedings (: pbk)
Claude Kirchner, Hélène Kirchner (eds.)
出版情報: Berlin : Springer, c1998  xiv, 441 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1421 . Lecture notes in artificial intelligence
所蔵情報: loading…
3.

図書
図書
3. Grammatical inference : 4th International Colloquium, ICGI-98 Ames, Iowa, USA, July 12-14, 1998 : proceedings
Vasant Honavar, Giora Slutzki (eds.)
出版情報: Berlin ; London : Springer, c1998  x, 270 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1433 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Results of the Abbadingo One DFA Learning Competition and a New Evidence-Driven State Merging Algorithm / Kevin J. Lang ; Barak A. Pearlmutter ; Rodney A. Price
Learning k-Variable Pattern Languages Efficiently Stochastically Finite on Average from Positive Data / Peter Rossmanith ; Thomas Zeugmann
Meaning Helps Learning Syntax / Isabelle Tellier
A Polynomial Time Incremental Algorithm for Learning DFA / Rajesh Parekh ; Codrin Nichitiu ; Vasant Honavar
The Data Driven Approach Applied to the OSTIA Algorithm / José Oncina
Grammar Model and Grammar Induction in the System NL PAGE / Vlado Kešelj
Approximate Learning of Random Subsequential Transducers / Antonio Castellanos
Learning Stochastic Finite Automata from Experts / Colin de la Higuera
Learning Deterministic Finite Automaton with a Recurrent Neural Network / Laura Firoiu ; Tim Oates ; Paul R. Cohen
Applying Grammatical Inference in Learning a Language Model for Oral Dialogue / Jacques Chodorowski ; Laurent Miclet
Real Language Learning / Jerome A. Feldman
A Stochastic Search Approach to Grammar Induction / Hugues Juillé ; Jordan B. Pollack
Transducer-Learning Experiments on Language Understanding / David Picó ; Enrique Vidal
Locally Threshold Testable Languages in Strict Sense: Application to the Inference Problem / José Ruiz ; Salvador España ; Pedro García
Learning a Subclass of Linear Languages from Positive Structural Information / José M. Sempere ; G. Nagaraja
Grammatical Inference in Document Recognition / Alexander S. Saidi ; Souad Tayeb-bey
Stochastic Inference of Regular Tree Languages / Rafael C. Carrasco ; Jorge Calera
How Considering Incompatible State Mergings May Reduce the DFA Induction Search Tree / François Coste ; Jacques Nicolas
Learning Regular Grammars to Model Musical Style: Comparing Different Coding Schemes / Pedro P. Cruz-Alcázar ; Enrique Vidal-Ruiz
Learning a Subclass of Context-Free Languages / J.D. Emerald ; K.G. Subramanian ; D.G. Thomas
Using Symbol Clustering to Improve Probabilistic Automaton Inference / Pierre Dupont ; Lin Chase
A Performance Evaluation of Automatic Survey Classifiers / Peter Viechnicki
Pattern Discovery in Biosequences / Alvis Br&abar;zma ; Inge Jonassen ; Jaak Vilo ; Esko Ukkonen
Author Index
Results of the Abbadingo One DFA Learning Competition and a New Evidence-Driven State Merging Algorithm / Kevin J. Lang ; Barak A. Pearlmutter ; Rodney A. Price
Learning k-Variable Pattern Languages Efficiently Stochastically Finite on Average from Positive Data / Peter Rossmanith ; Thomas Zeugmann
Meaning Helps Learning Syntax / Isabelle Tellier
4.

図書
図書
4. Artificial intelligence and symbolic computation : International Conference, AISC'98, Plattsburgh, New York, USA, September 16-18, 1998 : proceedings
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.

図書
図書
5. Theorem proving in higher order logics : 11th International Conference, TPHOLs '98, Canberra, Australia, September 27- October 1, 1998 : proceedings
Jim Grundy, Malcolm Newey (eds.)
出版情報: Berlin ; Tokyo : Springer, c1998  viii, 496 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1479
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
Verified Lexical Analysis / Tobias Nipkow
Extending Window Inference / Joakim von Wright
Refereed Papers
Program Abstraction in a Higher-Order Logic Framework / Marco Benini ; Sara Kalvala ; Dirk Nowotka
The Village Telephone System: A Case Study in Formal Software Engineering / Karthikeyan Bhargavan ; Carl A. Gunter ; Elsa L. Gunter ; Michael Jackson ; Davor Obradovic ; Pamela Zave
Generating Embeddings from Denotational Descriptions / Richard J. Boulton
An Interface between CLaM and HOL / Richard Boulton ; Konrad Slind ; Alan Bundy ; Mike Gordon
Classical Propositional Decidability via Nuprl Proof Extraction / James L. Caldwell
A Comparison of PVS and Isabelle/HOL / David Griffioen ; Marieke Huisman
Adding External Decision Procedures to HOL90 Securely
Formalizing Basic First Order Model Theory / John Harrison
Formalizing Dijkstra
Mechanical Verification of Total Correctness through
Diversion Verification Conditions / Peter V. Homeier ; David F. Martin
A Type Annotation Scheme for Nuprl / Douglas J. Howe
Verifying a Garbage Collection Algorithm / Paul B. Jackson
Hot: A Concurrent Automated Theorem Prover Based on Higher-Order Tableaux / Karsten Konrad
Free Variables and Subexpressions in Higher-Order Meta Logic / Chuck Liang
An LPO-Based Termination Ordering for Higher-Order Terms without ?-Abstraction / Maxim Lifantsev ; Leo Bachmair
Proving Isomorphism of First-Order Logic Proof Systems in HOL / Anna Mikhajlova
Exploiting Parallelism in Interactive Theorem Provers / Roderick Moten
I/O Automata and Beyond: Temporal Logic and Abstraction in Isabelle / Olaf Müller
Object-Oriented Verification Based on Record Subtyping in Higher-Order Logic / Wolfgang Naraschewski ; Markus Wenzel
On the Effectiveness of Theorem Proving Guided Discovery of Formal Assertions for a Register Allocator in a High-Level Synthesis System / Naren Narasimhan ; Ranga Vemuri
Co-inductive Axiomatization of a Synchronous Language / David Nowak ; Jean-Rene Beauvais ; Jean-Pierre Talpin
Formal Specification and Theorem Proving Breakthroughs in Geometric Modeling / François Puitg ; Jean-François Dufourd
A Tool for Data Refinement / Rimvydas RukÃœenas
Mechanizing Relevant Logics with HOL / Hajime Sawamura ; Daisaku Asanuma
Case Studies in Meta-Level Theorem Proving / Friedrich W. von Henke ; Stephan Pfab ; Holger Pfeifer ; Harald Rueß
Formalization of Graph Search Algorithms and Its Applications / Mitsuharu Yamamoto ; Koichi Takahashi ; Masami Hagiya ; Shin-ya Nishizaki ; Tetsuo Tamai
Author Index
Invited Papers
Verified Lexical Analysis / Tobias Nipkow
Extending Window Inference / Joakim von Wright
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼