5378 search results - page 240 / 1076 » Base Logics in Argumentation |
197
Voted
TPHOL
2000
IEEE
15 years 11 months ago
2000
IEEE
Theorem provers for higher-order logics often use tactics to implement automated proof search. Tactics use a general-purpose metalanguage to implement both general-purpose reasonin...
172
click to vote
FPGA
1999
ACM
15 years 11 months ago
1999
ACM
The Embedded System Block (ESB) of the APEX20K programmable logic device family from Altera Corporation includes the capability of implementing product term macrocells in addition...
160
click to vote
IJCAI
2003
15 years 8 months ago
2003
In previous work, Levesque proposed an extension to classical databases that would allow for a certain form of incomplete first-order knowledge. Since this extension was suffici...
165
click to vote
CADE
2010
Springer
15 years 7 months ago
2010
Springer
iProver-Eq is an implementation of an instantiation-based calculus Inst-Gen-Eq which is complete for first-order logic with equality. iProver-Eq extends the iProver system with sup...
185
click to vote
ICIP
2009
IEEE
15 years 4 months ago
2009
IEEE
One of the characteristics of the Human Visual System (HVS) is to model the sensitivity of the human eye at each coordinate location in the image. This paper explores the use of fu...