Understanding the meaning of a text is a fundamental challenge of natural language
understanding (NLU) research. An ideal NLU system should process a language in a way …

An approach based on answer set programming (ASP) is proposed in this paper for
representing knowledge generated from natural language texts. Knowledge in a text is …

We report on the design and development of the CASPR system, a socialbot designed to
compete in the Amazon Alexa Socialbot Challenge 4. CASPR's distinguishing characteristic …

Formalizing the human thought process has been considered fiendishly difficult. The field of
informal logic has been developed in recognition of this difficulty. Work in informal logic …

We present a novel application of Goal-Directed Answer Set Programming that digitizes the
model aircraft operator's compliance verification against the Academy of Model Aircrafts …

Understanding the meaning of a text is a fundamental challenge of natural language
understanding (NLU) research. An ideal NLU system should process a language in a way …

We present a novel application of Goal-Directed Answer Set Programming that digitizes the
model aircraft operator's compliance verification against the Academy of Model Aircrafts …

The proliferation of information in cyberspace is increasing exponentially, leading to
challenges for information retrieval systems to satisfy demands for performance and …

We describe a continuation of prior work on automated compliance checking process for
Unmanned Aerial Vehicles using Answer Set Programming. We describe a new algorithm to …

Multiprocessors are ubiquitous in today's computing devices ranging from smartphones, IoT
micro-controllers, personal laptops to servers in data centers. Programming multiprocessors …