3053 search results - page 307 / 611 » A Logic of Abstract Argumentation |
187
Voted
DLT
2010
15 years 8 months ago
2010
Abstract. Millstream systems have recently been proposed as a formalization of the linguistic idea that natural language should be described as a combination of different modules r...
169
Voted
CATS
2006
15 years 8 months ago
2006
In this paper, we study the formalization of one-pass call-by-value CPS compilation using higher-order abstract syntax. In particular, we verify mechanically that the source progr...
189
click to vote
DAGSTUHL
2003
15 years 8 months ago
2003
Abstract. Hydra is a domain-specific language for designing digital circuits, which is implemented by embedding within Haskell. Many features required for hardware specification ...
185
click to vote
JFPLC
2000
15 years 8 months ago
2000
ABSTRACT. This paper focuses on the assignment of meaning to some nonterminating SLD derivations in logic programming. Several approaches have been developped by considering infini...
177
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. The basic aim of our study is to give a possible model for handling uncertain information. This model is worked out in the framework of DATALOG. At first the concept of f...