This paper develops a declarative language, P-log, that combines logical and probabilistic arguments in its reasoning. Answer Set Prolog is used as the logical foundation, while c...
In this work we present the usage of semantic web knowledge representation formalism (OWL) in combination with general purpose reasoning for building a medical expert system. The a...
Abstract. Explanation and argumentation are fundamental to reasoning. They are therefore of some importance to artificial intelligence. Discourse-based reasoning (DBR) is a knowled...
Polynomial time complexity is the usual ‘threshold’ for distinguishing the tractable from the intractable and it may seem reasonable to adopt this notion of tractability in th...
— Knowledge processing is an essential technique for enabling autonomous robots to do the right thing to the right object in the right way. Using knowledge processing the robots ...