IDP swMATH ID: 23254 Software Authors: DTAI - KU Leuven; Wittocx, J., Mariën, M., Denecker, M Description: IDP is a knowledge Base System (KB-system) for the FO(·) language. A Knowledge Base system is a system that supports multiple forms of inferences for he same Knowledge Base. FO(·) is an extension of first-order logic (FO) with types, aggregates, inductive definitions, bounded arithmetic, partial functions, etc. More information about FO(·), including an editorial by David Warren, can be found on the FO(·) language page. For a motivation of the Knowledge Base paradigm, see an application for interactive configuration. Using IDP, it is possible to model systems and problems, both from the real world as several artificial intelligence research problems. Solutions to these problems can then be found using one or more inference techniques. One class of real world problems that serves as a nice introduction to IDP is a scheduling problem. Homepage: https://dtai.cs.kuleuven.be/software/idp Related Software: Smodels; MiniSat; clasp; Lparse; Gringo; Essence; Zinc; GidL; aspcud; BEE; iClingo; Clingo; WASP; Potassco; Chaff; Cmodels; ASSAT; IDP3; XSB; Lua Cited in: 5 Publications all top 5 Cited by 15 Authors 2 Denecker, Marc 2 Lierler, Yuliya 1 Blockeel, Hendrik 1 Bogaerts, Bart 1 Bruynooghe, Maurice 1 de Cat, Broes 1 De Pooter, Stef 1 Jansen, Joachim 1 Labarre, Anthony 1 Mitchell, David G. M. 1 Ramon, Jan 1 Ternovska, Eugenia 1 Verwer, Sicco 1 Vlaeminck, Hanne 1 Wittocx, Johan Cited in 3 Serials 2 Constraints 1 Artificial Intelligence 1 Theory and Practice of Logic Programming Cited in 1 Field 5 Computer science (68-XX) Citations by Year