TY - BOOK ID - 10829947 TI - AAAI - 2002: Proceedings of the Eighteenth National Conference on Artificial Intelligence and the Fourteenth Annual Conference on Innovative Applications of Artificial Intelligence AU - Dechter, Rina AU - American Association of Artificial Intelligence Staff PY - 2002 SN - 0262511290 PB - [Place of publication not identified] MIT Press DB - UniCat KW - 681.3*I23 <063> KW - 681.3*I24 <063> KW - 681.3*I26 <063> KW - 681.3*I27 <063> KW - 681.3*D16 <063> KW - 681.3*I2m KW - Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence)--Congressen KW - Knowledge representation formalisms and methods: frames and scripts; predicate logic; relation systems; representation languages; procedural and rule-based representations; semantic networks (Artificial intelligence)--Congressen KW - Learning: analogies; concept learning; induction; knowledge acquisition; language acquisition; parameter learning (Artificial intelligence)--See also {681.3*K32}--Congressen KW - Natural language processing: language generation; language models; language parsing and understanding; machine translation; speech recognition and under-standing; text analysis (Artificial intelligence)--Congressen KW - Programming techniques: Logic programming--Congressen KW - Artificial intelligence. AI KW - Information Technology KW - Computer Science (Hardware & Networks) KW - 681.3*I2m Artificial intelligence. AI KW - 681.3*I26 <063> Learning: analogies; concept learning; induction; knowledge acquisition; language acquisition; parameter learning (Artificial intelligence)--See also {681.3*K32}--Congressen KW - 681.3*I24 <063> Knowledge representation formalisms and methods: frames and scripts; predicate logic; relation systems; representation languages; procedural and rule-based representations; semantic networks (Artificial intelligence)--Congressen KW - 681.3*I23 <063> Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence)--Congressen UR - https://www.unicat.be/uniCat?func=search&query=sysid:10829947 AB - ER -