2540 search results - page 211 / 508 » Abstract Logics as Dialgebras |
169
click to vote
IJCAI
2007
15 years 8 months ago
2007
Abstract. We propose an approach for extending both the terminological and the assertional part of a Description Logic knowledge base by using information provided by the knowledge...
159
click to vote
DAGSTUHL
2006
15 years 8 months ago
2006
In the first part, we introduce binary representations of both lambda calculus and combinatory logic terms, and demonstrate their simplicity by providing very compact parser-inter...
170
click to vote
DLT
2006
15 years 8 months ago
2006
Abstract. We show that some language theoretic and logical characterizations of recognizable word languages whose syntactic monoid is in the variety DA also hold over traces. To th...
166
click to vote
CSL
2002
Springer
15 years 6 months ago
2002
Springer
Abstract. We give a simple term calculus for the multiplicative exponential fragment of Classical Linear Logic, by extending Barber and Plotkin's system for the intuitionistic...
157
click to vote
JOLLI
2010
15 years 5 months ago
2010
Abstract The situation calculus is one of the most established formalisms for reasoning about action and change. In this paper we will review the basics of Reiter’s version of th...