Titel

Merkliste
1 Ergebnisse

CHECKER: an efficient algorithm for knowledge base verifica..:

, In: Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2,

Yu, Xudong ; Biswas, Gautam - p. 735-744 , 1990

Link: https://dl.acm.org/doi/10.1145/98894.98923

RT 
T1 <cTitle>Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2</cTitle>: T1 <Title>CHECKER: an efficient algorithm for knowledge base verification</Title>

UL https://suche.suub.uni-bremen.de/peid=acm-98923&Exemplar=1&LAN=DE
				
A1 Yu, Xudong
A1 Biswas, Gautam
PB ACM
YR 1990
K1 Computing methodologies
K1 Artificial intelligence
K1 Knowledge representation and reasoning
K1 Machine learning
K1 Machine learning approaches
K1 Rule learning
K1 Computer systems organization
K1 Dependable and fault-tolerant systems and networks
K1 Maintainability and maintenance
K1 General and reference
K1 Cross-computing tools and techniques
K1 Reliability
K1 Availability
K1 Information systems
K1 Information systems applications
K1 Decision support systems
K1 Expert systems
SP 735
OP 744
LK http://dx.doi.org/https://dl.acm.org/doi/10.1145/98894.98923
DO https://dl.acm.org/doi/10.1145/98894.98923
SF ELIB - SuUB Bremen

Export

RefWorks (nur Desktop-Version!)
Flow (Zuerst in Flow einloggen, dann importieren)