Search Results - "Schultz, Carl P. L." :: K.UTB vyhledávací portál

Non-monotonic spatial reasoning with answer set programming modulo theories

by WAŁĘGA, PRZEMYSŁAW ANDRZEJ, SCHULTZ, CARL, BHATT, MEHUL
Published in Theory and practice of logic programming (01.03.2017)

Get full text

Journal Article

by Schultz, Carl, Bhatt, Mehul, Suchan, Jakob, Wałęga, Przemysław Andrzej
Published in Rules and Reasoning

Get full text

Book Chapter

by Schultz, Carl, Bhatt, Mehul
Published in Procedia computer science (2013)

Get full text

Journal Article

by Schultz, Carl, Bhatt, Mehul
Published in AI EDAM (01.05.2012)

Get full text

Journal Article

by Schultz, Carl, Bhatt, Mehul
Published in Spatial Information Theory (2015)

Get full text

Book Chapter Conference Proceeding

by Schultz, Carl P. L., Bhatt, Mehul
Published in ECAI 2014 (2014)

Get full text

Conference Proceeding

by Wałęga, Przemysław Andrzej, Bhatt, Mehul, Schultz, Carl
Published in Logic Programming and Nonmonotonic Reasoning (2015)

Get full text

Book Chapter Conference Proceeding

by Schultz, Carl P. L., Bhatt, Mehul
Published in ECAI 2012 (2012)

Get full text

Conference Proceeding