14 papers:
DocEng-2015-FilhoM #physics #segmentation- Segmentation of Overlapping Digits through the Emulation of a Hypothetical Ball and Physical Forces (ANGLF, CABM), pp. 223–226.
PPDP-2009-FeltyM #hybrid #reasoning- Reasoning with hypothetical judgments and open terms in hybrid (APF, AM), pp. 83–92.
ICEIS-2002-HillbrandK #approach #metamodelling #network #using- Using Artificial Neural Networks to Prove Hypothetic Cause-And-Effect Relations: A Metamodel-Based Approach to Support Strategic Decisions (CH, DK), pp. 367–373.
SAT-2002-Marques-Silva #reasoning #satisfiability- Hypothetical reasoning in propositional satisfiability (Keynote Talk) (JMS), p. 14.
VLDB-2000-BalminPP #query- Hypothetical Queries in an OLAP Environment (AB, TP, YP), pp. 220–231.
KR-1998-Karlsson #reasoning- Anything Can Happen: On Narratives and Hypothetical Reasoning (LK), pp. 36–47.
SIGMOD-1997-GriffinH #framework #implementation #query- A Framework for Implementing Hypothetical Queries (TG, RH), pp. 231–242.
HCI-SHI-1993-FujitaITFNW- Simulated World of Hypothetical Life Forms — Virtual Creatures (TF, KI, HT, TF, SN, KW), pp. 663–668.
ILPS-1993-DongL #approach #deduction #query- A Deductive Approach to Hypothetical Query Answering (FD, LVSL), pp. 609–628.
- NACLP-1990-JourdanV #constraints #logic programming #reasoning
- Constraint Logic Programming Applied to Hypothetical Reasoning in Chemistry (JJ, REVP), pp. 154–172.
PODS-1989-Bonner #datalog #linear #recursion- Hypothetical Datalog: Negation and Linear Recursion (AJB), pp. 286–300.
- VLDB-1983-WoodfillS #implementation
- An Implementation of Hypothetical Relations (JW, MS), pp. 157–166.
- SIGMOD-1981-Stonebraker #database
- Hypothetical Data Bases as Views (MS), pp. 224–229.
- SIGMOD-1980-StonebrakerK #database
- Embedding Expert Knowledge and Hypothetical Data Bases Into a Data Base System (MS, KK), pp. 58–66.
