close
1.

図書

図書
Anthony Hunter, Simon Parsons (eds.)
出版情報: Berlin ; New York ; Tokyo : Springer, c1999  ix, 396 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1638 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
On the dynamics of default reasoning / Grigoris Antoniou
Non-monotonic and paraconsistent reasoning: From basic entailments to plausible relations / Ofer Arieli ; Arnon Avron
A comparison of systematic and local search algorithms for regular CNF formulas / Ramón Béjar ; Felip Manyà
Query-answering in prioritized default logic / Farid Benhammadi ; Pascal Nicolas ; Torsten Schaub
Updating directed belief networks / Boutheina Ben Yaghlane ; Khaled Mellouli
Inferring causal explanations / Philippe Besnard ; Marie-Odile Cordier
A critique of inductive causation / Christian Borgelt ; Rudolf Kruse
Connecting lexicographic with maximum entropy entailment / Rachel A. Bourne ; Simon Parsons
Avoiding non-ground variables / Stefan Brüning
Anchoring symbols to vision data by fuzzy logic / Silvia Coradeschi ; Alessandro Saffiotti
Filtering vs revision and update: Let us debate! / Corine Cossart ; Catherine Tessier
Irrelevance and independence axioms in quasi-Bayesian theory / Fabio G. Cozman
Assessing the value of a candidate: A qualitative possibilistic approach / Didier Dubois ; Michel Grabisch ; Henri Prade
Learning default theories / Béatrice Duval
Knowledge representation for inductive learning / Peter A. Flach
Handling inconsistency efficiently in the incremental construction of stratified belief bases / Eric Grégoire
Rough knowledge discovery and applications / J. W. Guan ; D. A. Bell
Gradient descent training of Bayesian networks / Finn V. Jensen
Open default theories over closed domains: An extended abstract / Michael Kaminski
Shopbot economics / Jeffrey O. Kephart ; Amy R. Greenwald
Optimized algorithm for learning Bayesian network from data / Fedia Khalfallah
Merging with integrity constraints / Sébastien Konieczny ; Ramon Pino Perez
Boolean-like interpretation of Sugeno integral / Ivan Kramosil
An alternative to outward propagation for Dempster-Shafer belief functions / Norbert Lehmann ; Rolf Haenni
On bottom-up pre-processing techniques for automated default reasoning / Thomas Linke
Probabilisitc logic programming under maximum entropy / Thomas Lukasiewicz ; Gabriele Kern-Isberner
Lazy propagation and independence of causal influence / Anders L. Madsen ; Bruce D'Ambrosio
A Monte Carlo algorithm for combining Dempster-Shafer belief based on approximate pre-computation / Serafín Moral ; Antonio Salmeron
An extension of a linguistic negation model allowing us to deny nuanced property combinations / Daniel Pacholczyk
Argumentation and qualitative decision making / Shaw Green
Handling different forms of uncertainty in regression analysis: A fuzzy belief structure approach / Simon Petit-Renaud ; Thierry Denoeux
State recognition in discrete dynamical systems using Petri nets and evidence theory / Michèle Rombaut ; Iman Jarkass
Robot navigation and map building with the event calculus / Murray Shanahan ; Mark Witkowski
Information fusion in the context of stock index prediction / Stefan Siekmann ; Jörg Gebhardt
Defeasible goalsLeendert van der Torre
Logical deduction using the local computation framework / Nic Wilson ; Jéróme Mengin
Author Index
On the dynamics of default reasoning / Grigoris Antoniou
Non-monotonic and paraconsistent reasoning: From basic entailments to plausible relations / Ofer Arieli ; Arnon Avron
A comparison of systematic and local search algorithms for regular CNF formulas / Ramón Béjar ; Felip Manyà
2.

図書

図書
Yves Bertot ... [et al.] (eds.)
出版情報: Berlin : Springer, c1999  viii, 358 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1690
所蔵情報: loading…
3.

図書

図書
Xiao-Shan Gao, Dongming Wang, Lu Yang (eds.)
出版情報: Berlin : Springer, c1999  vi, 285 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1669 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Automatic Geometry Theorem-Proving and Automatic Geometry Problem-Solving / Wen-tsün Wu
Solving Geometric Problems with Real Quantifier Elimination / Andreas Dolzmann
Automated Discovering and Proving for Geometric Inequalities / Lu Yang ; Xiaorong Hou ; Bican Xia
Proving Newton's Propositio Kepleriana Using Geometry and Nonstandard Analysis in Isabelle / Jacques D. Fleuriot ; Lawrence C. Paulson
Readable Machine Solving in Geometry and ICAI Software MSG / Chuan-Zhong Li ; Jing-Zhong Zhang
Plane Euclidean Reasoning / Desmond Fearnley-Sander
A Clifford Algebraic Method for Geometric Reasoning / Haiquan Yang ; Shugong Zhang ; Guochen Feng
Clifford Term Rewriting for Geometric Reasoning in 3D / Thierry Boy de la Tour ; Stéphane Fèvre ; Dongming Wang
Some Applications of Clifford Algebra to Geometries / Hongbo Li
Decomposing Algebraic Varieties
An Application of Automatic Theorem Proving in Computer Vision / Didier Bondyfalat ; Bernard Mourrain ; Thèodore Papadopoulo
Automated Geometry Diagram Construction and Engineering Geometry / Xiao-Shan Gao
A 2D Geometric Constraint Solver for Parametric Design Using Graph Analysis and Reduction / Jae Yeol Lee
Variant Geometry Analysis and Synthesis in Mechanical CAD / Zongying Ou ; Jun Liu
Author Index
Automatic Geometry Theorem-Proving and Automatic Geometry Problem-Solving / Wen-tsün Wu
Solving Geometric Problems with Real Quantifier Elimination / Andreas Dolzmann
Automated Discovering and Proving for Geometric Inequalities / Lu Yang ; Xiaorong Hou ; Bican Xia
4.

図書

図書
Dongming Wang (ed.)
出版情報: Berlin ; New York : Springer, c1997  234 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1360 . Lecture notes in artificial intelligence
所蔵情報: loading…
5.

図書

図書
Georg Gottlob, Alexander Leitsch, Daniele Mundici, (eds.)
出版情報: Berlin ; Tokyo : Springer, c1997  viii, 348 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1289
所蔵情報: loading…
6.

図書

図書
Mogens Nielsen, Wolfgang Thomas (eds.)
出版情報: Berlin ; Tokyo : Springer, c1998  viii, 509 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1414
所蔵情報: loading…
7.

図書

図書
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…
8.

図書

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

図書

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

図書

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