Sciweavers

IGPL
2008
124views more  IGPL 2008»
13 years 8 months ago
The Ricean Objection: An Analogue of Rice's Theorem for First-order Theories
We propose here an extension of Rice's Theorem to first-order logic, proven by totally elementary means. If P is any property defined over the collection of all first-order t...
Igor Carboni Oliveira, Walter Alexandre Carnielli
IGPL
2006
80views more  IGPL 2006»
13 years 9 months ago
Comparing Computational Power
Udi Boker, Nachum Dershowitz
IGPL
2006
90views more  IGPL 2006»
13 years 9 months ago
Surviving Abduction
Abduction or retroduction, as introduced by C.S. Peirce in the double sense of searching for explanatory instances and providing an explanation (i.e., involving the procedure of s...
Walter Alexandre Carnielli
IGPL
2006
59views more  IGPL 2006»
13 years 9 months ago
Querying Hyperset/Web-Like Databases
Vladimir Sazonov
IGPL
2006
107views more  IGPL 2006»
13 years 9 months ago
Undecidability over Continuous Time
Since 1996, some models of recursive functions over the real numbers have been analyzed by several researchers. It could be expected that they exhibit a computational power much g...
Jerzy Mycka, José Félix Costa
IGPL
2006
130views more  IGPL 2006»
13 years 9 months ago
Verifying Temporal Heap Properties Specified via Evolution Logic
Abstract. This paper addresses the problem of establishing temporal properties of programs written in languages, such as Java, that make extensive use of the heap to allocate-and d...
Eran Yahav, Thomas W. Reps, Shmuel Sagiv, Reinhard...
IGPL
2006
110views more  IGPL 2006»
13 years 9 months ago
Adaptive Model Checking
Abstract. We consider the case where inconsistencies are present between a system and its corresponding model, used for automatic verification. Such inconsistencies can be the resu...
Alex Groce, Doron Peled, Mihalis Yannakakis
IGPL
2006
134views more  IGPL 2006»
13 years 9 months ago
Coherent Conditional Probability in a Fuzzy Logic Setting
Very recently, a (fuzzy modal) logic to reason about coherent conditional probability, in the sense of de Finetti, has been introduced by the authors. Under this approach, a condi...
Lluis Godo, Enrico Marchioni
IGPL
2006
87views more  IGPL 2006»
13 years 9 months ago
Satisfiability Decay along Conjunctions of Pseudo-Random Clauses
Abstract. k-SAT is a fundamental constraint satisfaction problem. It involves S(m), the satisfaction set of the conjunction of m clauses, each clause a disjunction of k literals. T...
Eli Shamir
IGPL
2006
76views more  IGPL 2006»
13 years 9 months ago
Gestalt Effects in Counterfactual and Abductive Inference
The paper begins by focusing the basic idea that Gestalt phenomena belong not only to the realm of perception but to the realm of inference. It is shown that Gestalt effects (i.e....
Claudio Pizzi