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