Erdem, Esra.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Logic programming and nonmonotonic reasoning10th international conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009 : proceedings /
by:
(1998 :); Erdem, Esra.; Lin, Fangzhen.; Schaub, Torsten.; SpringerLink (Online service)
(書目-電子資源)
Practical aspects of declarative languages27th International Symposium, PADL 2025, Denver, CO, USA, January 20-21, 2025 : proceedings /
by:
(1998 :); Erdem, Esra.; SpringerLink (Online service); Vidal, Germán.
(書目-電子資源)
Correct reasoningessays on logic-based AI in honour of Vladimir Lifschitz /
by:
Erdem, Esra.; SpringerLink (Online service)
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Software Engineering.
Declarative programming
Theory of Computation.
Nonmonotonic reasoning
Logics and Meanings of Programs.
Programming Language.
Computer and Information Systems Applications.
Logic programming
Programming Techniques.
Artificial Intelligence (incl. Robotics)
Logic programming.
Programming Languages, Compilers, Interpreters.
Declarative programming languages
Computer Engineering and Networks.
Computer Science.
Discrete Mathematics in Computer Science.
Knowledge Based Systems.
Artificial intelligence.