Add to ORKGIn this paper, we discuss how statements about defaults and various forms of exceptions to them can be incorporated into an existing controlled natural language. We show how these defaults and exceptions are translated and represented in the answer set programming paradigm in order to support automated reasoning.5 page(s
Abstract. This paper shows how action theory in the language B can be naturally encoded using priori...
In a recent paper [2], Baumann et al. provided a comprehensive framework for default reasoning in ac...
The use of logic in identifying and analysing inconsistency in requirements from multiple stakeholde...
Defaults are statements in natural language that generalise over a particular kind of objects or ove...
Controlled natural languages are subsets of natural languages that can be used to describe a problem...
Answer Set Programming is a compelling non-monotonic knowledge representation paradigm for represent...
Abstract. Action languages allow for a concise representation of ac-tions and their effects while at...
Action languages allow for a concise representation of actions and their effects while at the same t...
We take a tour of various themes in default reasoning, examining new ideas as well as those of Brach...
Most controlled natural languages (CNLs) are processed with the help of a pipeline architecture that...
In this paper we describe an inference-based approach to understand natural language. We present a f...
One way to solve the knowledge acquisition bottle-neck is to have ways to translate natural language...
A class of logic programming systems based on Reiter’s default logic is discussed. The first questio...
Default rules, i.e. statements of the form normally a’s are b’s, are usually handled in Answer Set P...
AbstractIn previous papers some important properties of extensions of general default theories were ...
Abstract. This paper shows how action theory in the language B can be naturally encoded using priori...
In a recent paper [2], Baumann et al. provided a comprehensive framework for default reasoning in ac...
The use of logic in identifying and analysing inconsistency in requirements from multiple stakeholde...
Defaults are statements in natural language that generalise over a particular kind of objects or ove...
Controlled natural languages are subsets of natural languages that can be used to describe a problem...
Answer Set Programming is a compelling non-monotonic knowledge representation paradigm for represent...
Abstract. Action languages allow for a concise representation of ac-tions and their effects while at...
Action languages allow for a concise representation of actions and their effects while at the same t...
We take a tour of various themes in default reasoning, examining new ideas as well as those of Brach...
Most controlled natural languages (CNLs) are processed with the help of a pipeline architecture that...
In this paper we describe an inference-based approach to understand natural language. We present a f...
One way to solve the knowledge acquisition bottle-neck is to have ways to translate natural language...
A class of logic programming systems based on Reiter’s default logic is discussed. The first questio...
Default rules, i.e. statements of the form normally a’s are b’s, are usually handled in Answer Set P...
AbstractIn previous papers some important properties of extensions of general default theories were ...
Abstract. This paper shows how action theory in the language B can be naturally encoded using priori...
In a recent paper [2], Baumann et al. provided a comprehensive framework for default reasoning in ac...
The use of logic in identifying and analysing inconsistency in requirements from multiple stakeholde...