Languages
Eiter, Thomas.
Overview
Works: | 1 works in 1 publications in 1 languages |
---|
Titles
Logic programming and nonmonotonic reasoning[electronic resource] :6th international conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001 : proceedings /
by:
Eiter, Thomas.; Faber, Wolfgang.; LPNMR 2001 ((2001 :); SpringerLink (Online service); Truszczynski, Miroslaw.
(Electronic resources)
Advances in knowledge representation, logic programming, and abstract argumentation[electronic resource] :essays dedicated to Gerhard Brewka on the occasion of his 60th birthday /
by:
Eiter, Thomas.; SpringerLink (Online service)
(Language materials, printed)
Subjects
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Nonmonotonic reasoning
Logic programming.
Artificial Intelligence (incl. Robotics)
Computation by Abstract Devices.
Algorithm Analysis and Problem Complexity.
Programming Techniques.
Logic programming
Computer Science.
Artificial intelligence.