3319 search results - page 163 / 664 » Subshifts, Languages and Logic |
134
Voted
AIML
2008
15 years 2 months ago
2008
abstract. We investigate an alternative presentation of classical and positive modal logic where the coalgebraic cover modality is taken as primitive. For each logic, we present a ...
90
Voted
JAR
2007
15 years 21 days ago
2007
Abstract. OWL DL, a new W3C ontology language recommendation, is based on the expressive description logic SHOIN. Although the ontology consistency problem for SHOIN is known to be...
124
Voted
CORR
2011
Springer
14 years 7 months ago
2011
Springer
Abstract. We present a categorical denotational semantics for a database mapping, based on views, in the most general framework of a database integration/exchange. Developed databa...
191
click to vote
SIGMOD
2006
ACM
16 years 29 days ago
2006
ACM
In this paper we propose a type-based framework for using logic programming for XML processing. We transform XML documents into terms and DTDs into regular types. We implemented a ...
110
click to vote
ICLP
2003
Springer
15 years 6 months ago
2003
Springer
We equip ordered logic programs with negation as failure, using a simple generalization of the preferred answer set semantics for ordered programs. This extension supports a conven...