جمع التبرعات 15 سبتمبر 2024 – 1 أكتوبر 2024 حول جمع التبرعات

Logics for Artificial Intelligence.

Main
Computers - Computer Science
Logics for Artificial Intelligence.

Logics for Artificial Intelligence.

Raymond. Turner

0 / 0

كم أعجبك هذا الكتاب؟

ما هي جودة الملف الذي تم تنزيله؟

قم بتنزيل الكتاب لتقييم الجودة

ما هي جودة الملفات التي تم تنزيلها؟

الفئات:

Computers - Computer Science

عام:

1984

الناشر:

Halstead Press

اللغة:

english

الصفحات:

126

ISBN 10:

0853127131

ISBN 13:

9780853127130

ملف:

DJVU, 1.34 MB

IPFS:

,

english, 1984

إقرأ علي الإنترنت

جاري التحويل إلى

التحويل إلى باء بالفشل

قد تكون في قائمة إهتماماتك

Robert Kowalski — Computational Logic and Human Thinking: How to be Artificially Intelligent

Uwe Schöning — Logic for Computer Scientists

Diego Galar Pascual — Artificial Intelligence Tools: Decision Support Systems in Condition Monitoring and DIagnosis

Matthew Ginsberg (editor) — Readings in Nonmonotonic Reasoning

Reyle Uwe — Logic, Language and Reasoning - Essays in Honour of Dov Gabbay

Gabbay D.M., Hogger C.J., Robinson J.A. (eds.) — Handbook of Logic in Artificial Intelligence and Logic Programming. Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning

Gabbay, D. M — Fibred Semantics and the Weaving of Logics Part 1: Modal and Intuitionistic Logics [paper]

Dale Jacquette — A Companion to Philosophical Logic

— 1998 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '98

Baader F — Logic-Based Knowledge Representation

Smets P., Mamdani E.H., Dubois D., Prade H. — Non-Standard Logics for Automated Reasoning

Witold Lukaszewicz — Non-Monotonic Reasoning: Formalization of Commonsense Reasoning

Dov M. Gabbay — Fibring Logics

Dov M. Gabbay, Ian Hodkinson, Mark Reynolds — Temporal Logic: Mathematical Foundations and Computational Aspects

Grzegorz Malinowski — Many-Valued Logics

Gabbay D.M., Hogger C.J., Robinson J.A. (eds.) — Handbook of Logic in Artificial Intelligence and Logic Programming. Volume 4: Epistemic and Temporal Reasoning

Dov M. Gabbay — Labelled deductive systems

Peter Jackson, Han Reichgelt, Frank van Harmelen — Logic-based knowledge representation

Robinson A., Voronkov A. (eds.) — Handbook of automated reasoning, vol.2

Frank van Harmelen, Vladimir Lifschitz, Bruce Porter, (eds.) — Handbook of Knowledge Representation

Raymond Turner — Logics for Artificial Intelligence

Susan Haack — Philosophy of logics

Dale Jacquette (ed.) — A Companion to Philosophical Logic

Howard Gregory — Language and Logics: An Introduction to the Logical Foundations of Language

Frank M. Brown — The Frame Problem in Artificial Intelligence. Proceedings of the 1987 Workshop

Matthew L. Ginsberg — Readings in Nonmonotonic Reasoning

Ricardo Caferra(auth.) — Logic for Computer Science and Artificial Intelligence

Dov M. Gabbay, Franz Guenthner (eds.) — Handbook of Philosophical Logic

Dov M. Gabbay, Franz Guenthner (eds.) — Handbook of Philosophical Logic

Dov M. Gabbay, Franz Guenthner (eds.) — Handbook of Philosophical Logic

Patrick Doherty — Partiality, Modality, and Nonmonotonicity

Mihir K. Chakraborty, Benedikt Lowe, Madhabendra Nath Mitra,Sundar Sarukkai (ed.) — Logic, Navya-Nyāya & Applications (Homage to Bimal Krishna Matilal)

Seiki Akama, Yotaro Nakayama, Tetsuya Murai — Epistemic Situation Calculus Based on Granular Computing: A New Approach to Common-Sense Reasoning

Georg Gottlob (auth.), Craig MacNish, David Pearce, Luís Moniz Pereira (eds.) — Logics in Artificial Intelligence: European Workshop JELIA '94 York, UK, September 5–8, 1994 Proceedings

Dov M. Gabbay, Franz Guenthner (eds.) — Handbook of Philosophical Logic. Volume III: Alternatives in Classical Logic

Dov M. Gabbay, Heinrich Wansing (eds.) — What is Negation?

Seiki Akama (eds.) — Logic, language and computation

Dov M. Gabbay, Franz Guenthner (eds.) — Handbook of Philosophical Logic. Volume III: Alternatives in Classical Logic

أكثر المصطلحات والعبارات المستخدمة