3693 search results - page 382 / 739 » Splitting a Logic Program |
131
click to vote
AI
2002
Springer
15 years 4 months ago
2002
Springer
ko et al. have recently proposed an abstract framework for default reasoning. Besides capturing most existing formalisms and proving that their standard semantics all coincide, th...
137
click to vote
DLOG
2009
15 years 2 months ago
2009
Abstract. Description Logic Programs (DLP) have been described as a description logic (DL) that is in the "expressive intersection" of DL and datalog. This is a very weak...
121
click to vote
CADE
2007
Springer
16 years 4 months ago
2007
Springer
We add labels to first-order clauses to simultaneously apply superpositions to several proof obligations inside one clause set. From a theoretical perspective, the approach unifies...
114
click to vote
CADE
2005
Springer
16 years 4 months ago
2005
Springer
In many theorem proving applications, a proper treatment of equational theories or equality is mandatory. In this paper we show how to integrate a modern treatment of equality in ...
127
click to vote
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
With the continuous advances in optical communications technology, the link transmission speed of Internet backbone has been increasing rapidly. This in turn demands more powerful...