1128 search results - page 43 / 226 » Classical Natural Deduction |
CLEF
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. LogAnswer is a logic-oriented question answering system developed by the AI research group at the University of Koblenz-Landau and by the IICS at the University of Hagen....
IJCAI
2003
13 years 11 months ago
2003
In previous work, Levesque proposed an extension to classical databases that would allow for a certain form of incomplete first-order knowledge. Since this extension was suffici...
LOGCOM
2002
13 years 9 months ago
2002
In this paper we present a labelled proof method for computing nonmonotonic consequence relations in a conditional logic setting. The method exploits the strong connection between...
WISE
2002
Springer
14 years 2 months ago
2002
Springer
How to extract data from XML documents is an important issue for XML research and development. However, how to view XML documents determines how they can be queried. In this paper...
ATVA
2009
Springer
14 years 1 months ago
2009
Springer
We present specification languages that naturally capture exactly the regular and -regular properties that are stutter invariant. Our specification languages are variants of the cl...