2766 search results - page 110 / 554 » Hybridizing a Logical Framework |
RTA
2010
Springer
14 years 2 months ago
2010
Springer
The K framework, based on rewriting logic semantics, provides a powerful logic for deļ¬ning the semantics of programming languages. While most work in this area has focused on deļ...
ITC
2000
IEEE
14 years 2 months ago
2000
IEEE
A common approachfor large industrial designs is to use logic built-in self-test (LBIST)followed by test data from an external tester. Because the fault coverage with LBIST alone ...
ARGMAS
2009
Springer
14 years 4 months ago
2009
Springer
We describe a working multi-agent architecture based on Defeasible Logic Programming (DeLP) by GarcĀ“ıa and Simari where agents are engaged in an argumentation to reach a common c...
SBIA
1998
Springer
14 years 2 months ago
1998
Springer
Abstract. The ability to view extended logic programs as argumentation systems opens the way for the use of this language in formalizing communication among reasoning computing age...
SIGMOD
2007
ACM
14 years 10 months ago
2007
ACM
In response to the widespread use of the XML format for document representation and message exchange, major database vendors support XML in terms of persistence, querying and inde...