3319 search results - page 89 / 664 » Subshifts, Languages and Logic |
84
Voted
APLAS
2007
ACM
15 years 4 months ago
2007
ACM
The integration of functional and logic programming is a well developed field of research. We discuss that the integration could be improved significantly in two separate aspects: ...
102
Voted
CORR
2007
Springer
15 years 17 days ago
2007
Springer
The aim of this paper is to show how we can handle the Recognising Textual Entailment (RTE) task by using Description Logics (DLs). To do this, we propose a representation of natur...
103
Voted
ICALP
2010
Springer
14 years 10 months ago
2010
Springer
In this paper, we focus our attention on the fragment of Halpern and Shoham's modal logic of intervals (HS) that features four modal operators corresponding to the relations &...
90
Voted
ICALP
2007
Springer
15 years 6 months ago
2007
Springer
In this paper we present the theory and practice of co-logic programming (co-LP for brevity), a paradigm that combines both inductive and coinductive logic programming. Co-LP is a ...
100
click to vote
ENTCS
2007
15 years 16 days ago
2007
Logical connectives familiar from the study of hybrid logic can be added to the logical framework LF, a constructive type theory of dependent functions. This extension turns out t...