1194 search results - page 12 / 239 » A Language for Implementing Arbitrary Logics |
148
click to vote
EDBTW
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. We describe design and implementation of the linguistic query language DDDquery. This language aims at querying a large linguistic database storing a corpus of richly ann...
152
click to vote
IJCAI
2003
15 years 7 months ago
2003
Disjunctive Logic Programming (DLP) is a very expressive formalism: it allows to express every property of finite structures that is decidable in the complexity class ¡£¢¤ (...
155
click to vote
ICLP
2005
Springer
15 years 11 months ago
2005
Springer
The Semantic Web is a rapidly growing research area aiming at the exchange of semantic information over the World Wide Web. The Semantic Web is built on top of RDF, an XML-based ex...
275
click to vote
POPL
2006
ACM
16 years 6 months ago
2006
ACM
The TCP/IP protocols and Sockets API underlie much of modern computation, but their semantics have historically been very complex and ill-defined. The real standard is the de fact...
146
click to vote
ISMVL
2010
IEEE
15 years 11 months ago
2010
IEEE
— In this paper we review the Billiard Ball Model (BBM) introduced by Toffoli and Fredkin. The analysis of a previous approach to design reversible networks based on BBM it shown...