5. LAPTEC 2005:
Himeji,
Japan
Kazumi Nakamatsu, Jair Minoro Abe (Eds.):
Advances in Logic Based Intelligent Systems - Selected Papers of LAPTEC 2005, Himeji, Japan, April 2-4, 2005.
Frontiers in Artificial Intelligence and Applications 132 IOS Press 2005, ISBN 978-1-58603-568-6 BibTeX
- Seiki Akama, Yasunori Nagata:
Constructive Logic and Situation Theory.
1-8 BibTeX
- Ahmed Ali Abdalla Esmin, Germano Lambert-Torres:
Hybrid Particle Swarm Optimizer with Mutation.
9-17 BibTeX
- Munehiro Iwami:
An Improved Recursive Decomposition Ordering for Term Rewriting Systems Revisited.
18-25 BibTeX
- Chi-Man Vong, Pak-Kin Wong, Yi-Ping Li:
Data Transformation in Modern Petrol Engine Tune-up.
26-33 BibTeX
- Marcelo de S. Lauretto, Julio Michael Stern:
Testing Significance in Bayesian Classifiers.
34-41 BibTeX
- Angelo Luis Pagliosa, Claudio Cesar de Sá, Fernando Deeke Sasse:
Obtaining Membership Functions from a Neuron Fuzzy System Extended by Kohonen Network.
42-49 BibTeX
- Sheng-Luen Chung, Yen-Hung Lai:
EVALPSN-Based Process Control in Brewery Plants.
50-54 BibTeX
- Fábio Romeu de Carvalho, Israel Brunstein, Jair Minoro Abe:
Decision Making based on Paraconsistent Annotated Logic.
55-62 BibTeX
- Kazumi Nakamatsu, Kenji Kawasumi, Atsuyuki Suzuki:
Intelligent Safety Verification for Pipeline Based on EVALPSN.
63-70 BibTeX
- Kazumi Nakamatsu, Hayato Komaba, Atsuyuki Suzuki:
A Discrete Event Control Based on EVALPSN Stable Model.
71-78 BibTeX
- Kazumi Nakamatsu, Ryuji Ishikawa, Atsuyuki Suzuki:
An EVALP Based Traffic Simulation System.
79-86 BibTeX
- P. K. Wong, C. M. Vong, Y. P. Li, L. M. Tam:
Modelling and Prediction of Electronically Controlled Automotive Engine Power and Torque Using Support Vector Machines.
87-96 BibTeX
- Edson Takashi Matsubara, Maria Carolina Monard, Gustavo E. A. P. A. Batista:
Multi-view Semi-supervised Learning: An Approach to Obtain Different Views from Text Datasets.
97-104 BibTeX
- Eder Mateus Nunes Gonçalves, Guilherme Bittencourt:
A Planning-Based Knowledge Acquisition Methodology.
105-112 BibTeX
- Alexandre Scalzitti, Kazumi Nakamatsu, Jair Minoro Abe:
Digital Images: Weighted Automata Theoretical Aspects.
113-119 BibTeX
- José Pacheco de Almeida Prado, Jair Minoro Abe, Alexandre Scalzitti:
Modeling the Behavior of Paraconsistent Robots.
120-126 BibTeX
- Luís Fernando Pompeo Ferrara, Keiji Yamanaka, João Inácio da Silva Filho:
A System of Recognition of Characters based on Paraconsistent Artificial Neural Networks.
127-134 BibTeX
- Huei Diana Lee, Maria Carolina Monard, Feng Chung Wu:
Feature Subset Selection for Supervised Learning using Fractal Dimension.
135-142 BibTeX
- Kenneth K. Nwabueze:
Functional Language of Digital Computers I.
143-146 BibTeX
- Shigenobu Yamawaki, Lakhmi C. Jain:
Learning Algorithm of Neural Network using Orthogonal Decomposition Method.
147-152 BibTeX
- Jair Minoro Abe, João I. da Silva Filho, Fábio Romeu de Carvalho, Israel Brunstein:
Para-analyzer and Its Applications.
153-160 BibTeX
- Flavia Cristina Bernardini, Maria Carolina Monard:
Methods for Constructing Symbolic Ensembles from Symbolic Classifiers.
161-168 BibTeX
- Vinicius Veloso de Melo, Alneu de Andrade Lopes:
Efficient Identification of Duplicate Bibliographical References.
169-176 BibTeX
- Kazumi Nakamatsu, Atsuyuki Suzuki:
Autoepistemic Theory and Paraconsistent Logic Program.
177-184 BibTeX
- Kazumi Nakamatsu, Atsuyuki Suzuki:
Annotated Semantics for Nonmonotonic Reasonings in Artificial Intelligence I.
185-191 BibTeX
- Kazumi Nakamatsu, Atsuyuki Suzuki:
Annotated Semantics for Nonmonotonic Reasonings in Artificial Intelligence II.
192-198 BibTeX
- Kazumi Nakamatsu, Atsuyuki Suzuki:
Annotated Semantics for Nonmonotonic Reasonings in Artificial Intelligence III.
199-206 BibTeX
- Kazumi Nakamatsu, Atsuyuki Suzuki:
Annotated Semantics for Nonmonotonic Reasonings in Artificial Intelligence IV.
207-215 BibTeX
- Jair Minoro Abe, Kazumi Nakamatsu:
A Note on Non-Alethic Temporal Logics.
216-219 BibTeX
- Kazumi Nakamatsu, Jair Minoro Abe:
Railway Signal and Paraconsistency.
220-225 BibTeX
Workshop "Rough Sets and Granularity"
- Michiro Kondo:
On topological properties of generalized rough sets.
229-233 BibTeX
- Michinori Nakata, Hiroshi Sakai:
Rough-set-based approaches to data containing incomplete information: possibility-based cases.
234-241 BibTeX
- Seiki Akama, Tetsuya Murai:
Rough Set Semantics for Three-Valued Logics.
242-247 BibTeX
- Tetsuya Murai, Yasuo Kudo, Seiki Akama, Jair Minoro Abe:
Paraconsistency and Paracompleteness in Chellas's Conditional Logics.
248-255 BibTeX
- Hiroshi Sakai, Michinori Nakata:
Rough Sets Based Minimal Certain Rule Generation in Non-deterministic Information Systems: An Overview.
256-263 BibTeX
- Masahiro Inuiguchi, Salvatore Greco, Roman Slowinski:
Equivalence of Fuzzy-rough Modus Ponens and Fuzzy-rough Modus Tollens.
264-271 BibTeX
- Mayuka F. Kawaguchi, Osamu Watari, Masaaki Miyakoshi:
Non-Commutative Fuzzy Logics and Substructural Logics.
272-279 BibTeX
- Yasuo Kudo, Tetsuya Murai:
Visibility and Focus: An Extended Framework for Granular Reasoning.
280-287 BibTeX
Copyright © Sat May 16 23:28:31 2009
by Michael Ley (ley@uni-trier.de)
