by Komo, Christian, Beierle, Christoph
Published in Annals of mathematics and artificial intelligence (01.01.2022)

by Janhunen, Tomi, Niemelä, Ilkka
Published in Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation (2015)

by Antoniou, G. (Grigoris), Williams, Mary-Anne
Year of Publication 1997

by Ford, Marilyn, Billington, David
Published in Computational intelligence (01.08.2000)

by Eiter, Thomas, Fink, Michael, Stepanova, Daria
Published in Artificial intelligence (01.10.2016)

by Guesmia, Khalida, Boustia, Narhimene
Published in Applied intelligence (Dordrecht, Netherlands) (01.08.2018)

by Ford, Marilyn
Published in Synthese (Dordrecht) (01.08.2005)

by Lin, Zuoquan, Chen, Chen
Published in Annals of mathematics and artificial intelligence (01.12.2018)

by Goto, Yuichi, Ito, Takuya
Published in 2018 IEEE SmartWorld, Ubiquitous Intelligence and Computing, Advanced and Trusted Computing, Scalable Computing and Communications, Cloud and Big Data Computing, Internet of People and Smart City Innovation (SmartWorld SCALCOM UIC ATC CBDCom IOP SCI) (01.10.2018)

by Bonatti, Piero, Calimeri, Francesco, Leone, Nicola, Ricca, Francesco
Published in A 25-Year Perspective on Logic Programming (2010)

by EITER, THOMAS, FINK, MICHAEL, SABBATINI, GIULIANA, TOMPITS, HANS
Published in Theory and practice of logic programming (01.11.2002)

by Bossu, Genevieve, Siegel, Pierre
Published in Artificial intelligence (1985)

Published in Cognitive science (01.03.1990)

by Spiegel, Lars-Phillip, Kern-Isberner, Gabriele, Ragni, Marco
Published in PRICAI 2019: Trends in Artificial Intelligence (2019)

Published in ACM computing surveys (01.12.1999)

by Cross, Charles B.
Published in Artificial intelligence (01.10.2003)

by EITER, THOMAS, FINK, MICHAEL, TOMPITS, HANS
Published in Theory and practice of logic programming (01.05.2007)

by Michael R. Genesereth, Nils J. Nilsson
Published in Logical Foundations of Artificial Intelligence (1987)

by Roos, Nico
Published in Computational intelligence (01.08.2000)

by May, Wolfgang, Kandzia, Paul‐Thomas
Published in Journal of logic and computation (01.08.2001)