1194 search results - page 91 / 239 » A Language for Implementing Arbitrary Logics |
ANSS
2003
IEEE
15 years 3 months ago
2003
IEEE
In this work, we present a computational behavioral model for logic gates called Internode (Internal Node Logic Computational Model) that considers the functionality of the gate a...
ESWS
2009
Springer
15 years 4 months ago
2009
Springer
We present GiaBATA, a system for storing, aggregating, and querying Semantic Web data, based on declarative logic programming technology, namely on the dlvhex system, which allows ...
ICFCA
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. In a previous paper, we have introduced an approach for extending both the terminological and the assertional part of a Description Logic knowledge base by using informat...
ICLP
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. This paper proposes a diagnosis algorithm for locating a certain kind of errors in logic programs: variable binding errors that result act symptoms during compile-time ch...
EEE
2005
IEEE
15 years 3 months ago
2005
IEEE
Electronic Brokering, is a good candidate for taking up Semantic Web technology. In this paper we study the brokering and matchmaking problem that is, how a requester’s requirem...