Logic programming and nonmonotonic reasoning 16th international conference, LPNMR 2022, Genova, Italy, September 5–9, 2022, proceedings

DE-634
DE-Aug4
DE-1050
DE-573
DE-M347
DE-92
DE-898
DE-859
DE-860
DE-861
DE-863
DE-862
DE-523
DE-91
DE-384
DE-473
DE-19
DE-355
DE-703
DE-20
DE-706
DE-824
DE-29
DE-739
URL des Erstveröffentlichers

Parameterized complexity in the polynomial hierarchy extending parameterized complexity theory to higher levels of the hierarchy von Haan, Ronald de 1988-

DE-634
DE-Aug4
DE-573
DE-M347
DE-92
DE-898
DE-859
DE-860
DE-861
DE-863
DE-862
DE-523
DE-91
DE-473
DE-19
DE-355
DE-703
DE-20
DE-706
DE-29
DE-739
URL des Erstveröffentlichers

Declarative programming and knowledge management Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9–12, 2019 : revised...

DE-634
DE-Aug4
DE-573
DE-M347
DE-92
DE-898
DE-859
DE-860
DE-861
DE-863
DE-862
DE-523
DE-91
DE-384
DE-473
DE-19
DE-355
DE-703
DE-20
DE-706
DE-29
DE-739
URL des Erstveröffentlichers

Logic programming and nonmonotonic reasoning 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017 : proceedings

Volltext

Logic programming and nonmonotonic reasoning 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019 : proceedings

DE-634
DE-Aug4
DE-573
DE-M347
DE-92
DE-898
DE-859
DE-860
DE-861
DE-863
DE-862
DE-523
DE-91
DE-473
DE-19
DE-355
DE-703
DE-20
DE-706
DE-29
DE-739
URL des Erstveröffentlichers

Functional and constraint logic programming 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018 : revised selected papers

DE-634
DE-Aug4
DE-573
DE-M347
DE-92
DE-898
DE-859
DE-860
DE-861
DE-863
DE-862
DE-523
DE-91
DE-473
DE-19
DE-355
DE-703
DE-20
DE-706
DE-29
DE-739
URL des Erstveröffentlichers

Declarative programming and knowledge management Conference on Declarative Programming, DECLARE 2017 : unifying INAP, WFLP, and WLP : Würzburg, Germany, September 19-22, 2017 : rev...

DE-634
DE-Aug4
DE-573
DE-M347
DE-92
DE-898
DE-859
DE-860
DE-861
DE-863
DE-862
DE-523
DE-91
DE-384
DE-473
DE-19
DE-355
DE-703
DE-20
DE-706
DE-29
DE-739
URL des Erstveröffentlichers

Parameterized complexity in the polynomial hierarchy extending parameterized complexity theory to higher levels of the hierarchy von Haan, Ronald de 1988-

Declarative logic programming theory, systems, and applications

Logic programming and nonmonotonic reasoning 14th international conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017 : proceedings

Declarative programming and knowledge management Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013 ; Revised Selected Pape...

Logic programming and nonmonotonic reasoning 16th international conference, LPNMR 2022, Genova, Italy, September 5-9, 2022 : proceedings

Functional and constraint logic programming 26th international workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018 : revised selected papers

Logic programming and nonmonotonic reasoning 15th international conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019 : proceedings

Applications of declarative programming and knowledge management 17th International Conference, INAP 2007 and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, Octob...

Declarative programming and knowledge management Conference on Declarative Programming, DECLARE 2017, unifying INAP, WFLP, and WLP, Würzburg, Germany 19-22, 2017 : revised selected...

Declarative logic programming theory, systems, and applications von Kifer, Michael 1954-, Liu, Yanhong Annie 1965-

DE-573
DE-355
DE-20
DE-706
URL des Erstveröffentlichers

Logic programming and nonmonotonic reasoning 13th international conference, LPNMR 2015, Lexington, KY, USA, September 27 - 30, 2015 ; proceedings

Logic programming and nonmonotonic reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015 : Proceedings

Volltext

Applications of declarative programming and knowledge management 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, Septem...

Inhaltstext
Inhaltsverzeichnis