Seipel, Dietmar.
Overview
Works: | 4 works in 2 publications in 1 languages |
---|
Titles
Applications of declarative programming and knowledge management17th international conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Wurzburg, Germany, October 4-6, 2007 ; revised selected papers /
by:
(1998 :); Hanus, Michael.; Seipel, Dietmar.; SpringerLink (Online service); Wolf, Armin.
(Electronic resources)
Applications of Declarative Programming and Knowledge Management15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004 : revised selected papers /
by:
(1998 :); Seipel, Dietmar.; SpringerLink (Online service)
(Electronic resources)
Foundations of information and knowledge systemsthird international symposium, FoIKS 2004 : Wilheminenburg [sic] Castle, Austria, February 17-20, 2004 : proceedings /
by:
(1998 :); Seipel, Dietmar.; SpringerLink (Online service); Turull-Torres, Jose Maria.
(Electronic resources)
KI 2023advances in artificial intelligence : 46th German Conference on AI, Berlin, Germany, September 26-29, 2023 : proceedings /
by:
(1998 :); Seipel, Dietmar.; SpringerLink (Online service); Steen, Alexander.
(Electronic resources)
Declarative programming and knowledge managementConference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Wurzburg, Germany, September 19-22, 2017 : revised selected papers /
by:
(1998 :); Abreu, Salvador.; Hanus, Michael.; Seipel, Dietmar.; SpringerLink (Online service)
(Electronic resources)
Applications of declarative programming and knowledge management18th international conference, INAP 2009, Evora, Portugal, November 3-5, 2009 : revised selected papers /
by:
(1998 :); Abreu, Salvador.; Seipel, Dietmar.; SpringerLink (Online service)
(Electronic resources)
Subjects
Declarative programming
Software Engineering.
Artificial intelligence
Data mining
Logics and Meanings of Programs.
Computer and Information Systems Applications.
Mathematics of Computing.
Logic programming
Artificial Intelligence (incl. Robotics)
Programming Techniques.
Computer systems
Numeric Computing.
Computer Engineering and Networks.
Artificial Intelligence.
Knowledge management
Computer Science.
Information technology
Constraint programming (Computer science)
Computers and Education.