![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
5. LAPTEC 2005: Himeji, Japan
- Kazumi Nakamatsu, Jair Minoro Abe:
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 - Pak-Kin Wong, Chi-Man Vong, Y. P. Li, Lap-Mou 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 Inácio da Silva Filho, Fábio Romeu de Carvalho, Israel Brunstein:
Para-analyzer and Its Applications. 153-160 - Flávia Cristina Bernardini, Maria Carolina Monard:
Methods for Constructing Symbolic Ensembles from Symbolic Classifiers. 161-168 - Vinícius 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
- 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
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.