모금 9월 15일 2024 – 10월 1일 2024 모금에 대해서

Logic-Based Knowledge Representation

Main
Mathematics - Logic
Logic-Based Knowledge Representation

Logic-Based Knowledge Representation

Baader F

0 / 0

이 책이 얼마나 마음에 드셨습니까?

파일의 품질이 어떻습니까?

책의 품질을 평가하시려면 책을 다운로드하시기 바랍니다

다운로드된 파일들의 품질이 어떻습니까?

a chapter from
M.J. Wooldridge and M. Veloso (Eds.) - Artificial Intelligence Today, Springer-Verlag, 1999 (LNAI 1600) (pp. 13-41)

카테고리:

Mathematics - Logic

년:

1999

출판사:

Springer

언어:

english

페이지:

29

파일:

PDF, 1.73 MB

IPFS:

,

english, 1999

온라인으로 읽기

로의 변환이 실행 중입니다

로의 변환이 실패되었습니다

귀하의 관심을 살 수 있습니다

Abraham Robinson — Non-standard analysis

W. A. J. Luxemburg, A. Robinson (eds) — Contributions to Non-Standard Analysis

Godehard Link (Editor) — One Hundred Years of Russell's Paradox: Mathematics, Logic, Philosophy

Chiswell, Ian; Hodges, Wilfrid — Mathematical logic

Babjuk M., Oosterlinck W., Sylvester R. — EAU Urological Pocket Guidelines

Jack Minker — Logic-Based Artificial Intelligence (The Kluwer International Series in Engineering and Computer Science Volume 597)

Matthew Ginsberg (editor) — Readings in Nonmonotonic Reasoning

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

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

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

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

Michael Wooldridge — Reasoning about Rational Agents

Jörg H. Siekmann (Eds.) — Computational Logic

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

Ph Jorrand, V. Sgurev — Artificial Intelligence IV. Methodology, Systems, Applications

Raymond Turner — Logics for Artificial Intelligence

Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, Peter Patel-Schneider (editors) — The Description Logic Handbook: Theory, Implementation and Applications

Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, Peter Patel-Schneider (editors) — The Description Logic Handbook: Theory, Implementation and Applications

Franz Baader — The Description Logic Handbook Theory, Implementation and Applications

Jack Minker — Logic-based artificial intelligence

Raymond. Turner — Logics for Artificial Intelligence.

Matthew L. Ginsberg — Readings in Nonmonotonic Reasoning

Howard Shrobe — Exploring Artificial Intelligence. Survey Talks from the National Conferences on Artificial Intelligence

John F. Sowa (Editor) — Principles of Semantic Networks: Explorations in the Representation of Knowledge

Gerd Brewka, Jürgen Dix, Kurt Konolige (auth.), Gerhard Brewka, Klaus P. Jantke, Peter H. Schmitt (eds.) — Nonmonotonic and Inductive Logic: Second International Workshop Reinhardsbrunn Castle, Germany December 2–6, 1991 Proceedings

Z. An, M. McLeish (auth.), Michael Clarke, Rudolf Kruse, Serafín Moral (eds.) — Symbolic and Quantitative Approaches to Reasoning and Uncertainty: European Conference ECSQARU '93 Granada, Spain, November 8–10, 1993 Proceedings

Gerhard Lakemeyer, Bernhard Nebel (auth.), Gerhard Lakemeyer, Bernhard Nebel (eds.) — Foundations of Knowledge Representation and 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

Peter Baumgartner, Ulrich Furbach, Ilkka Niemelä (auth.), José Jülio Alferes, Luís Moniz Pereira, Ewa Orlowska (eds.) — Logics in Artificial Intelligence: European Workshop, JELIA '96 Évora, Portugal September 30 – October 3, 1996 Proceedings

Andrei Voronkov & Christoph Weidenbach (eds.) — LNCS 7797 - Programming Logics

Andrei Voronkov, Christoph Weidenbach — Programming Logics: Essays in Memory of Harald Ganzinger

주로 사용되는 용어