1059 search results - page 33 / 212 » Standard Logics Are Valuation-Nonmonotonic |
149
click to vote
RE
2001
Springer
15 years 10 months ago
2001
Springer
A logic model checker can be an effective tool for debugging software applications. A stumbling block can be that model checking tools expect the user to supply a formal statement...
180
click to vote
MST
2010
15 years 26 days ago
2010
This paper is devoted to the study of self-referential proofs and/or justifications, i.e., valid proofs that prove statements about these same proofs. The goal is to investigate wh...
234
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
Contemporary use of the term ’intension’ derives from the traditional logical Frege-Russell’s doctrine that an idea (logic formula) has both an extension and an intension. Al...
234
Voted
MLG
2007
Springer
16 years 7 days ago
2007
Springer
Abstract. We revisit an application developed originally using Inductive Logic Programming (ILP) by replacing the underlying Logic Program (LP) description with Stochastic Logic Pr...
148
click to vote
DSD
2010
IEEE
15 years 3 months ago
2010
IEEE
Asynchronous circuit implementations operating under strong constraints (DIMS, Direct Logic, some of NCL gates, etc.) are attractive due to: 1) regularity; 2) combined implementati...