The following pages link to Erica Melis (Q1188507):
Displayed 50 items.
- An experimental logic based on the fundamental deduction principle (Q580998) (← links)
- (Q593564) (redirect page) (← links)
- Rationality, computability, and complexity (Q920814) (← links)
- Logic of nondeterministic information (Q1063586) (← links)
- The fuzzy decision problem: An approach to the point estimation problem with fuzzy information (Q1064951) (← links)
- Finite approximability of forest superintuitionistic logics (Q1068076) (← links)
- Probabilistic logic (Q1073782) (← links)
- On the satisfiability of circumscription (Q1073786) (← links)
- Completeness results for circumscription (Q1073787) (← links)
- On enforcing socially best alternatives of binary group decision rules (Q1081509) (← links)
- A syntactic theory of belief and action (Q1085632) (← links)
- Fixed-point extensions of first-order logic (Q1090327) (← links)
- Variable precision logic (Q1091831) (← links)
- Temporal logics in AI: semantical and ontological considerations (Q1096384) (← links)
- Dispositional logic (Q1096617) (← links)
- An approach to default reasoning based on a first-order conditional logic: Revised report (Q1103607) (← links)
- On the relation between default and autoepistemic logic (Q1104771) (← links)
- Knowledge, belief and time (Q1104923) (← links)
- Generalized subsumption and its applications to induction and redundancy (Q1110345) (← links)
- Computational approaches to analogical reasoning: A comparative analysis (Q1118423) (← links)
- A note on the completeness of resolution without self-resolution (Q1119561) (← links)
- Analogical reasoning: Perspectives of artificial intelligence, cognitive science, and philosophy (Q1188508) (← links)
- A proof theory for general unification (Q1189467) (← links)
- Ranking methods based on valued preference relations. A characterization of the net flow method (Q1198298) (← links)
- The complexity of model checking for circumscriptive formulae (Q1205713) (← links)
- Analogy in inductive theorem proving (Q1283199) (← links)
- The Heine-Borel challenge problem. In honor of Woody Bledsoe (Q1383991) (← links)
- Constraint solving for proof planning (Q1774557) (← links)
- Knowledge representation and management in ACTIVEMATH (Q1810908) (← links)
- Knowledge-based proof planning (Q1978469) (← links)
- Proof planning with multiple strategies (Q2389631) (← links)
- A decidable first-order logic for knowledge representation (Q2640590) (← links)
- Intention is choice with commitment (Q2640592) (← links)
- (Q2767093) (← links)
- (Q2848045) (← links)
- (Q3012544) (← links)
- (Q3046177) (← links)
- (Q3773396) (← links)
- (Q4413883) (← links)
- (Q4499154) (← links)
- (Q4518862) (← links)
- (Q4530469) (← links)
- Two kinds of non-monotonic analogical inference (Q4632312) (← links)
- Internal analogy in theorem proving (Q4647502) (← links)
- Artificial Intelligence and Soft Computing - ICAISC 2004 (Q4666220) (← links)
- (Q4809051) (← links)
- Ωmega: Towards a mathematical assistant (Q5234706) (← links)
- Mathematical Knowledge Management (Q5313061) (← links)
- Automated Deduction – CADE-20 (Q5394617) (← links)
- (Q5617628) (← links)