Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInternational Journal of Intelligent Systems, Volume 9
Volume 9, Number 1, 1994
- Léa Sombé:
Foreword. i
- Léa Sombé:
A glance at revision and updating in knowledge bases. 1-27 - François Lévy:
A survey of belief revision and updating in classical logic. 29-59 - Didier Dubois, Henri Prade:
A survey of belief revision and updating rules in various uncertainty models. 61-100 - Yves Moinard:
Notes on change and nonmonotony. 101-118 - Luis Fariñas del Cerro, Andreas Herzig:
Interference logic = conditional logic + frame axiom. 119-130 - Marie-Odile Cordier, Pierre Siegel:
A temporal revision model for reasoning about world change. 131-142 - Camilla Schwind:
Revision and action. 143-152 - Philippe Besnard, Els Laenens:
A knowledge representation perspective: Logics for paraconsistent reasoning. 153-168 - Laurence Cholvy:
Database updates and transition constraints: A formula-based approach. 169-180
Volume 9, Number 2, 1994
- Nicholas V. Findler, Qing Ge:
Distributed goal-directed dynamic plan revision. 183-210 - Juan Luis Castro
, Francisco Herrera, José L. Verdegay:
Knowledge-based systems and fuzzy boolean programming. 211-225 - Yoshiyasu Yoshikawa, Toshio Deguchi, Takeshi Yamakawa:
Evaluation of orthodontic results with fuzzy inference. 227-240 - Daniel Wagman, Moti Schneider, Eliahu Shnaider:
On the use of interval mathematics in fuzzy expert systems. 241-259
Volume 9, Number 3, 1994
- Plamen Angelov:
A generalized approach to fuzzy optimization. 261-268 - Alan W. Biermann, Kermit C. Gilbert, Amr F. Fahmy, B. Koster:
On the errors that learning machines will make. 269-302 - Paolo Terenziani, Pietro Torasso:
Towards an integration of time and causation in a hybrid knowledge representation formalism. 303-338
Volume 9, Number 4, 1994
- Antonija Mitrovic, Ian H. Witten, David Maulsby:
An experiment in the application of similarity-based learning to programming by example. 341-364 - Miguel Delgado, José L. Verdegay, Maria-Amparo Vila:
A model for linguistic partial information in decision-making problems. 365-378 - Marie-Christine Jaulent, Lucia Maria Vaina:
An implementation of a model for functional recognition. 379-402 - Giangiacomo Gerla:
The probability that tweety is able to fly. 403-409 - Hung T. Nguyen, I. R. Goodman:
On modeling of if-then rules for probabilistic inference. 411-418
Volume 9, Number 5, 1994
- Patrick Bosc, Bernadette Bouchon-Meunier:
Introduction: Databases and fuzziness. 419 - Guoqing Chen, Etienne E. Kerre, Jacques Vandenbulcke:
A computational algorithm for the FFD transitive closure and a complete axiomatization of fuzzy functional dependence (FFD). 421-439 - Juan C. Cubero, Maria-Amparo Vila:
A new definition of fuzzy functional dependency in fuzzy relational databases. 441-448 - Maria-Amparo Vila, Juan C. Cubero, Juan Miguel Medina, Olga Pons:
A logic approach to fuzzy relational databases. 449-460 - Noureddine Mouaddib:
Fuzzy identification in fuzzy databases: The nuanced relational division. 461-473 - Patrick Bosc, Olivier Pivert, K. Farquhar:
Integrating fuzzy queries into an existing database management system: An example. 475-492
Volume 9, Number 6, 1994
- T. Partridge, Tardi Tjahjadi:
A self-evaluating expert system for X-ray rocking curve analysis. 493-517 - Rajendra P. Srivastava, Glenn R. Shafer:
Integrating statistical and nonstatistical audit evidence using belief functions: A case of variable sampling. 519-539 - Ronald R. Yager:
Interpreting linguistically quantified propositions. 541-569
Volume 9, Number 7, 1994
- Venu Dasigi:
Logical form generation as abduction: Part I. Representation of linguistic concepts. 571-608 - Venu Dasigi:
Logical form generation as abduction: Part II. A dual-route parsimonious covering approach. 609-651
Volume 9, Number 8, 1994
- Daniel E. O'Leary:
Verification and validation of intelligent systems: Five years of aaai workshops. 653-657 - Lee Becker, James Duckworth, Peter Green:
Automated test generation and evaluation for real-time expert systems. 659-682 - Alun D. Preece, Rajjan Shinghal:
Foundation and application of knowledge base verification. 683-701 - Neli P. Zlatareva:
A framework for verification, validation, and refinement of knowledge bases: The VVR system. 703-737 - David I. Gold, Robert T. Plant:
Towards the formal specification of an OPS5 production system architecture. 739-768
Volume 9, Number 9, 1994
- Luis M. Laita, Julia Couto, Luis de Ledesma, Alejandro Fernández-Margarit:
A formal model for knowledge-based systems verification. 769-786 - Fred Highland, Brent D. Kornman:
A design language and the use of cleanroom methodology for knowledge-based system development. 787-807 - Scott W. French, David Hamilton:
A comprehensive framework for knowledge-base verification and validation. 809-837 - Jonathan Lee, John Yen, Josette Pastor:
A tool for task-based knowledge and specification acquisition. 839-851 - Daniel E. O'Leary:
Toward a theory of verification and validation: Artifacts. 853-866 - Pedro Meseguer, Enric Plaza:
The VALID project: Goals, development, and results. 867-892 - Takao Terano:
The JIPDEC checklist-based guideline for expert system evaluation. 893-925
Volume 9, Number 10, 1994
- Khalid Md. Nor, Camile Nur, Azur Shah, Leha Alam, Kinah Semesta:
A neural nets expert system. 927-939 - David Harmanec, George J. Klir, Germano Resconi:
On modal logic interpretation of Dempster-Shafer theory of evidence. 941-951 - Eunok Paek:
A justification-based approach to causal reasoning. 953-984
Volume 9, Number 11, 1994
- Miguel Belmonte-Serrano, Carlos Sierra, Ramón López de Mántaras:
RENOIR: An expert system using fuzzy logic for rheumatology diagnosis. 985-1000 - James M. Keller, Raghu Krishnapuram, Zhihong Chen, Olfa Nasraoui:
Fuzzy additive hybrid operators for network-based decision making. 1001-1023 - Vincenzo Cutello, Javier Montero:
Hierarchies of aggregation operators. 1025-1045
Volume 9, Number 12, 1994
- Zhiming Zhang, Masaharu Mizumoto:
On rule self-generating for fuzzy control. 1047-1057 - Francesco Ricci:
Constraint reasoning with learning automata. 1059-1082 - Daniel S. Yeung, Eric C. C. Tsang:
Improved fuzzy knowledge representation and rule evaluation using fuzzy petri nets and degree of subsethood. 1083-1100
a service of 
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.
last updated on 2024-04-18 21:11 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
